18 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	fb9fc14f3d	C++: Accept test changes in paths.	2024-04-16 11:09:22 +01:00
Anders Schack-Mulligen	c355737d30	C++: Update expected output.	2024-04-12 09:20:16 +02:00
Anders Schack-Mulligen	7eb5e1833d	C++: Add empty provenance column to expected files.	2024-02-09 11:32:08 +01:00
Mathias Vorreiter Pedersen	0c100eb122	C++: Accept test changes.	2023-12-14 14:44:58 +00:00
Jeroen Ketema	46e6e72593	C++: Address review comments	2023-11-15 14:57:53 +01:00
Jeroen Ketema	92c18960c5	C++: Rewrite cpp/uncontrolled-process-operation to not use DefaultTaintTracking	2023-11-15 14:57:53 +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
Jeroen Ketema	f628152be1	C++: In dataflow use the AST representation of IR Instructions and Operands	2023-01-20 10:39:50 +01:00
Mathias Vorreiter Pedersen	aa385a293d	C++: Accept test changes.	2022-11-16 23:00:00 +00: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	4c5953fce0	C++: Accept query-test changes.	2022-10-14 10:14:52 +02:00
erik-krogh	33165f4f55	CPP: update expected output	2022-09-23 14:45:59 +02:00
Paolo Tranquilli	0547e4ccf2	update further test with new locations	2021-11-23 15:28:15 +00:00
Robert Marsh	c2b356ab08	C++: add subpaths to DefaultTaintTracking	2021-09-23 21:00:45 -07:00
Geoffrey White	d73604d1c5	C++: Fix a few glitches and accept line number changes in expected files.	2021-09-02 17:34:47 +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