11 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	d2bb73ba1f	C++: Use the index to to get the 'most converted' and 'least converted' instruction in a bunch of places.	2023-09-01 13:47:06 +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
Mathias Vorreiter Pedersen	354a12c906	C++: Fix queries. Since there's no longer indirect -> direct flow in ... taint-tracking we need to make sure the affected sink definitions also handle indirect flow.	2023-02-27 14:57:36 +00:00
Mathias Vorreiter Pedersen	7cc7675cdc	C++: Accept query changes. These are just deduplications.	2023-01-30 09:26:14 +00:00
Mathias Vorreiter Pedersen	e453c7a36e	C++: Accept test changes.	2022-12-22 10:57:54 +00:00
Mathias Vorreiter Pedersen	4c5953fce0	C++: Accept query-test changes.	2022-10-14 10:14:52 +02:00
Geoffrey White	d1b04b4e07	C++: Use asDefiningArgument() where appropriate.	2022-03-14 17:53:47 +00:00
Geoffrey White	6e5729c924	C++: Fix typo and adjust violation message wording.	2022-03-03 10:28:53 +00:00
Geoffrey White	70e4a409fd	C++: Add the new query to tests.	2022-03-02 17:56:53 +00:00