32 Commits

Author	SHA1	Message	Date
Jeroen Ketema	fbc9615287	C++: Update expected test results	2025-05-23 16:03:47 +02:00
Mathias Vorreiter Pedersen	9bcdfb6d01	C++: VariableAddressInstructions with array types are not single-object types.	2024-12-09 15:06:22 +00:00
Mathias Vorreiter Pedersen	41425b157f	C++: Add test with missing flow.	2024-12-08 23:47:34 +00:00
Mathias Vorreiter Pedersen	2dbf75fde9	C++: Accept test changes.	2024-10-16 14:15:05 +01:00
Simon Friis Vindum	f066f21751	C++: Make swap member functions data-flow functions	2024-09-04 13:55:19 +02:00
Simon Friis Vindum	037912fd2d	C++: Add data-flow test for realloc	2024-09-03 14:02:03 +02:00
Mathias Vorreiter Pedersen	1bb762bea9	C++: Accept test changes.	2024-06-21 13:35:10 +01:00
Paolo Tranquilli	919ddccfdb	C++/Java: Accept new warning format in ql tests	2024-06-19 09:13:18 +02:00
Mathias Vorreiter Pedersen	ed525fce70	C++: Accept test changes.	2024-06-06 20:38:31 +01:00
Mathias Vorreiter Pedersen	9f4c1380e5	Merge pull request #16677 from MathiasVP/phi-input-nodes ... C++: Extend barrier guards to handle phi inputs	2024-06-06 19:21:30 +01:00
Mathias Vorreiter Pedersen	f7b2d98c6e	C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.	2024-06-06 15:35:16 +01:00
Mathias Vorreiter Pedersen	bd9ece0bd3	C++: Add dataflow through '__builtin_bit_cast'.	2024-06-06 10:00:18 +01:00
Mathias Vorreiter Pedersen	97f0c759c0	C++: Accept test changes.	2024-06-05 09:58:47 +01:00
Mathias Vorreiter Pedersen	43c7ac36d9	C++: Add a test with spurious flow.	2024-06-04 17:19:36 +01:00
Mathias Vorreiter Pedersen	5f0efc19fa	C++: Accept test changes.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	cc754858c6	C++: Add a testcase with missing flow out of the address of 'a' and to the argument of 'sink'.	2024-03-06 18:15:49 -08:00
Mathias Vorreiter Pedersen	9b2019db6b	C++: Accept test changes.	2024-02-16 13:10:41 +01:00
Mathias Vorreiter Pedersen	24a63ae94d	C++: Block flow by default.	2024-02-16 12:56:19 +01:00
Mathias Vorreiter Pedersen	a799399639	C++: Accept test changes.	2024-02-12 16:51:25 +00:00
Benjamin Rodes	5866fc1fd0	Updating expected file.	2024-02-07 10:12:25 -05:00
Mathias Vorreiter Pedersen	439d3d2438	C++: Add tests with higher level of indirection.	2024-02-02 12:09:46 +00:00
Mathias Vorreiter Pedersen	6f5ed9ad3b	C++: Accept test changes.	2024-02-01 20:15:15 +00:00
Mathias Vorreiter Pedersen	1ac75def2b	C++: Add another testcase with spurious summary flow.	2024-02-01 15:11:52 +00:00
Mathias Vorreiter Pedersen	7a0cbb4e5a	C++: Accept test changes.	2024-01-10 11:55:53 +00:00
Mathias Vorreiter Pedersen	259bf27334	C++: Add pointer/pointee conflation test.	2024-01-10 11:51:40 +00:00
Mathias Vorreiter Pedersen	0c100eb122	C++: Accept test changes.	2023-12-14 14:44:58 +00:00
Mathias Vorreiter Pedersen	e47ad274ea	C++: Add Schack's tests.	2023-11-28 14:32:21 +00:00
Mathias Vorreiter Pedersen	dcba8e5408	C++: Fix global variable flow for array types.	2023-11-20 12:15:55 +00:00
Mathias Vorreiter Pedersen	8039e117ba	C++: Add more global-variable flow tests.	2023-11-20 12:15:52 +00:00
Mathias Vorreiter Pedersen	5a7cb8f25a	C++: Fix duplication on reference dereference expressions.	2023-11-16 10:52:35 +00:00
Mathias Vorreiter Pedersen	799873113f	C++: Add a test that demonstrates reference dereference duplication.	2023-11-16 10:52:14 +00:00
Mathias Vorreiter Pedersen	f8feb84958	C++: Accept test changes from refactoring QL files.	2023-11-16 10:52:10 +00:00