Mathias Vorreiter Pedersen f662cceb0b C++: Use value numbering to better detect whether a write is certain.

2023-08-15 11:07:14 +01:00

..

additional-flow-to-parameter

…

crement

…

dataflow-edge-tests

C++: Accept test changes.

2023-07-17 10:51:42 +01:00

dataflow-tests

C++: Use value numbering to better detect whether a write is certain.

2023-08-15 11:07:14 +01:00

DefaultTaintTracking

C++: Rewrite inline expectation tests to use the parameterized module

2023-05-24 11:10:05 +02:00

fields

C/C++/C#/Java/Python/Ruby/Swift: Adjust expected output.

2023-07-19 11:41:15 +02:00

partialdefinitions

…

recursion

…

security-taint

…

smart-pointers-taint

C++: Accept test changes.

2023-07-17 10:51:42 +01:00

source-sink-tests

C++: Rewrite inline expectation tests to use the parameterized module

2023-05-24 11:10:05 +02:00

stackaddress

…

taint-tests

C++: Use value numbering to better detect whether a write is certain.

2023-08-15 11:07:14 +01:00

variable

…