18 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	c2309442d5	C++: Accept qltest changes.	2025-03-14 10:51:28 +01:00
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	bb1945f899	C++: Rewrite cpp/tainted-format-string away from DefaultTaintTracking	2023-11-22 16:49:13 +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	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
Mathias Vorreiter Pedersen	2cd23e5ee0	Accept test changes.	2021-10-28 12:36:36 +01: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	f755659f5d	C++: More directory structure consistency / cleanup.	2021-09-02 17:34:47 +01:00
Geoffrey White	d1ab2d2e8c	C++: Remove some irrelevant macro logic and main functions.	2021-09-02 17:34:46 +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