Tom Hvitved
|
c92c96fa78
|
Data flow: Compute local big step relation per stage
|
2024-08-26 09:15:27 +02:00 |
|
Geoffrey White
|
1456012b54
|
C++: Additional test cases for cpp/use-after-free.
|
2024-07-23 18:02:14 +01:00 |
|
Geoffrey White
|
4920039a00
|
C++: Test spacing.
|
2024-07-23 18:01:30 +01:00 |
|
Geoffrey White
|
315f439135
|
C++: Add test case for reassignment to UseAfterFree.ql.
|
2024-05-02 16:40:28 +01:00 |
|
Geoffrey White
|
b6703bc25c
|
C++: Add test cases inspired by QA results differences.
|
2024-04-23 18:06:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb9fc14f3d
|
C++: Accept test changes in paths.
|
2024-04-16 11:09:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
6f08790065
|
C++: Accept test changes.
|
2024-04-13 01:00:48 +01:00 |
|
Anders Schack-Mulligen
|
7eb5e1833d
|
C++: Add empty provenance column to expected files.
|
2024-02-09 11:32:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
0c100eb122
|
C++: Accept test changes.
|
2023-12-14 14:44:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
90b06c2046
|
C++: Switch the source of use-after-free and double-free to be post-update nodes.
|
2023-12-08 14:41:29 +00:00 |
|
Mathias Vorreiter Pedersen
|
e648058d30
|
C++: Accept test changes.
|
2023-12-07 23:11:28 +00:00 |
|
Alex Eyers-Taylor
|
26b0363707
|
CPP: Add test demonstrating use-after-free false negatives.
|
2023-10-23 17:01:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
b03054b1ed
|
C++: Make sure some instruction also gives back the 'ParenthesisExpr's.
|
2023-09-12 19:46:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
71fe6f5d4b
|
C++: Use fully converted expressions in 'cpp/use-after-free' and 'cpp/double-free'.
|
2023-09-12 19:28:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
f1c4fa2345
|
C++: When we generate a string for the node we avoid multiple results by only using the 0'th result from the 'asExpr' predicate. However, when we want to convert between nodes and expressions we don't care about which one we get.
|
2023-09-01 14:04:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
16d62186c0
|
C++: Use this new predicate everywhere we need to convert an instruction to an expression.
|
2023-09-01 13:32:25 +01:00 |
|
Alex Eyers-Taylor
|
8b1b1618c4
|
CPP: Add tests for false positive in memory vulnerability queries.
|
2023-08-29 11:17:44 +01:00 |
|
Alex Eyers-Taylor
|
689fda43ed
|
CPP: Add delete/delete[] calls to the IR.
|
2023-08-29 11:17:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
b32d55a21d
|
C++: Accept test changes.
|
2023-05-22 18:26:29 -07:00 |
|
Mathias Vorreiter Pedersen
|
533e1d818b
|
C++: Add some use-after-free FPs.
|
2023-04-19 17:01:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
40dde93beb
|
C++: Fix FP and accept test changes.
|
2023-04-13 11:00:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
23a7cd943f
|
C++: Fix missing result and accept test changes.
|
2023-04-13 10:50:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
c76dbebd9b
|
C++: Ensure that the 'use-after-free' query is run on 'test_free.cpp'.
|
2023-04-13 10:47:07 +01:00 |
|