13 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	21167f4b67	C++: Accept test changes.	2021-11-22 13:04:23 +00:00
Mathias Vorreiter Pedersen	3efe60fdd2	C++: Accept test changes.	2021-10-28 12:35:01 +01:00
Robert Marsh	1f69b31239	C++: test changes in annotate_sinks_only	2021-05-06 08:14:43 -07:00
Robert Marsh	a9d7990596	C++: make unaliased_ssa IR stage sound	2021-05-06 08:14:33 -07:00
Mathias Vorreiter Pedersen	0b6589c8be	C++: Accept test changes.	2021-03-10 15:47:06 +01:00
Mathias Vorreiter Pedersen	eb4f1e1ba0	C++: Restore some of the lost test results by doing operand -> instruction taint steps in IR TaintTracking.	2021-03-02 15:45:40 +01:00
Mathias Vorreiter Pedersen	23d3109071	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
Mathias Vorreiter Pedersen	6ba35f4aac	C++: Fix function renaming and accept test change.	2021-03-02 11:31:24 +01:00
Mathias Vorreiter Pedersen	748f5344ff	Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt	2021-03-02 10:43:37 +01:00
Mathias Vorreiter Pedersen	0f9b044814	C++: Model vector versions of BSD-style reads and writes.	2021-02-15 12:04:51 +01:00
Mathias Vorreiter Pedersen	91627cbd88	C++: Add models for BSD-style send and recv functions.	2021-02-11 17:21:32 +01:00
Cornelius Riemenschneider	239588b5e0	C++: Remove MISSING annotations for tests that are already correct.	2020-12-01 19:41:24 +01:00
Cornelius Riemenschneider	5b1ab86ac6	C++: Port DefaultTaintTracking tests to inline expectations test.	2020-12-01 19:00:45 +01:00