16 Commits

Author	SHA1	Message	Date
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	da2215e7e5	C++: Accept test changes.	2023-11-16 13:54:13 +00:00
Mathias Vorreiter Pedersen	c950e26b3e	C++: Rewrite 'cpp/cpp/tainted-arithmetic' away from DefaultTaintTracking.	2023-11-14 12:19:12 +00: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
Jeroen Ketema	5732c3bca0	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-11-07 15:03:26 +01:00
Tom Hvitved	a533c95640	C++: Update expected test output	2022-11-03 15:52:30 +01:00
Mathias Vorreiter Pedersen	562f052eb0	C++: Accept test changes.	2022-10-26 17:06:38 +02:00
erik-krogh	66c9705502	fix some more style-guide violations in the alert-messages	2022-10-07 11:19:46 +02:00
erik-krogh	33165f4f55	CPP: update expected output	2022-09-23 14:45:59 +02:00
Robert Marsh	c2b356ab08	C++: add subpaths to DefaultTaintTracking	2021-09-23 21:00:45 -07:00
Geoffrey White	9ad51fbc02	C++: Fix the correct test this time.	2021-09-15 11:03:09 +01:00
Geoffrey White	f2047ee4d0	C++: Actually fix expected files after layout changes.	2021-09-03 09:13:41 +01:00
Geoffrey White	fdb4a2acdb	C++: Clean up header comments.	2021-09-02 17:34:46 +01:00
Geoffrey White	75d367a6c5	C++: Add ad-hoc SAMATE Juliet test cases (that were previously internal). Directory structures cleaned up in a few places.	2021-09-02 17:34:45 +01:00