Mathias Vorreiter Pedersen
|
bcabc88649
|
C++: Accept test changes.
|
2024-06-13 10:59:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
eec259279a
|
C++: Add another FP test. We already have tests for this, but it doesn't hurt to have another one, I guess.
|
2024-06-13 10:57:49 +01:00 |
|
Geoffrey White
|
57a53891e9
|
C++: Effect of recent QL changes.
|
2024-04-23 18:12:05 +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
|
352e7de07d
|
C++: Accept test changes.
|
2024-04-02 10:43:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
3ea39a2553
|
C++: Add some query tests.
|
2024-03-13 11:39:34 +00:00 |
|
Anders Schack-Mulligen
|
7eb5e1833d
|
C++: Add empty provenance column to expected files.
|
2024-02-09 11:32:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
82b9f1b31c
|
C++: Accept test changes.
|
2023-12-15 14:57:31 +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
|
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
|
a8151b4ee4
|
C++: Add double-free tests.
|
2023-04-11 15:21:21 +01:00 |
|