Robert Marsh a9d7990596 C++: make unaliased_ssa IR stage sound

2021-05-06 08:14:33 -07:00

..

annotate_path_to_sink

C++: Use taintedWithPath in more tests. This is the predicate that's currently hooked up to the new IR taint tracking library.

2021-03-02 13:40:39 +01:00

annotate_sinks_only

C++: make unaliased_ssa IR stage sound

2021-05-06 08:14:33 -07:00

globals

C++: Port DefaultTaintTracking tests to inline expectations test.

2020-12-01 19:00:45 +01:00

shared.h

C++: Add pointer tests.

2020-10-27 09:47:10 +00:00