25 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	58832a546a	C++: Accept test changes.	2024-04-18 12:33:27 +01:00
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	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
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	50190efe1c	C++: Don't limit instruction and operand reuse to those cases where we have a result for 'isUseImpl'.	2023-08-21 12:51:00 +01:00
Jeroen Ketema	de97ae38dc	C++: C++: Use getAUse in getIRRepresentationOfIndirectOperand	2023-03-09 15:15:00 +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	1e4caca23a	C++: Accept query changes. Nothing bad to see here.	2023-02-27 14:57:35 +00:00
Jeroen Ketema	9e462866a0	C++: Update test annotations for use-use dataflow	2023-02-14 14:48:08 +01:00
Mathias Vorreiter Pedersen	0e1dcc8062	C++: Accept test changes. These all appear to be good changes.	2023-02-01 13:25:37 +00: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
Mathias Vorreiter Pedersen	562f052eb0	C++: Accept test changes.	2022-10-26 17:06:38 +02: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
Geoffrey White	899ae90ba4	C++: Add GVN.	2022-02-24 17:22:37 +00:00
Geoffrey White	0bb9a95563	C++: Extend tests.	2022-02-24 17:15:29 +00:00
Geoffrey White	c16302be13	C++: Fix the FP.	2022-02-24 10:54:08 +00:00
Geoffrey White	326dfa5bc2	C++: Add test cases.	2022-02-23 18:37:58 +00:00
Geoffrey White	901919f7ff	C++: Add tests expanding on the issue with (global) variables.	2021-11-11 09:40:03 +00:00
Geoffrey White	6388ac5f1d	C++: Add tests.	2021-11-09 18:41:57 +00:00