2654 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	7ff2998c88	Merge pull request #15980 from MathiasVP/guards-lt ... C++: Support `<` reasoning for `switch` statements in Guards library	2024-03-20 10:40:39 +00:00
Mathias Vorreiter Pedersen	9179f0bda6	Merge pull request #15969 from MathiasVP/disable-some-constant-folding ... C++: Disable _some_ constant folding in IR	2024-03-20 09:25:06 +00:00
Jeroen Ketema	3ee965f2b9	C++: Update test results	2024-03-20 10:05:35 +01:00
Mathias Vorreiter Pedersen	97aa301ac9	C++: Accept more test changes.	2024-03-19 17:33:23 +00:00
Mathias Vorreiter Pedersen	1411ee5b26	C++: Extend tests to also test the new predicates and accept test changes.	2024-03-19 17:09:22 +00:00
Mathias Vorreiter Pedersen	aeb667c6ca	Merge pull request #15976 from MathiasVP/guards-eq-follow-up ... C++: Fix interface for `GuardCondition.comparesEq` and `GuardCondition.ensuresEq`	2024-03-19 16:45:38 +00:00
Robert Marsh	3d4f7d880d	C++: unsuppress destructoion of temporaries with extended lifetimes	2024-03-19 15:54:42 +00:00
Jeroen Ketema	f5fed84bb2	Merge pull request #15968 from jketema/destructors15 ... C++: Fabricate destructors for temporaries that occur in dynamic initializations	2024-03-19 16:16:43 +01:00
Mathias Vorreiter Pedersen	c640bd67e9	C++: Fix tests for guards.	2024-03-19 14:43:16 +00:00
Mathias Vorreiter Pedersen	597f0082e7	Merge pull request #15958 from MathiasVP/ir-guards-from-switch-statements-2 ... C++: Implement guards logic for switch statements	2024-03-19 13:21:45 +00:00
Mathias Vorreiter Pedersen	54262a53c3	Revert "C++: Accept test changes." ... This reverts commit f36b48346e.	2024-03-19 13:18:01 +00:00
Mathias Vorreiter Pedersen	a88d8b260d	C++: Only ignore constant folding for certain binary operations.	2024-03-19 13:17:49 +00:00
Mathias Vorreiter Pedersen	f36b48346e	C++: Accept test changes.	2024-03-19 12:50:43 +00:00
Mathias Vorreiter Pedersen	1af1ba48a9	C++: Accept test changes.	2024-03-19 11:46:51 +00:00
Mathias Vorreiter Pedersen	e16e1c7e83	C++: Add tests.	2024-03-19 11:26:32 +00:00
Mathias Vorreiter Pedersen	d7afd7b2e1	C++: Accept test changes.	2024-03-19 10:54:35 +00:00
Jeroen Ketema	d47e2690b8	C++: Update test results after extractor changes	2024-03-19 11:18:36 +01:00
Jeroen Ketema	fd49871b9a	C++: Handle destructors of temporaries with extended lifetimes	2024-03-19 10:56:44 +01:00
Mathias Vorreiter Pedersen	40dbc6fdd9	C++: Accept test changes.	2024-03-18 16:27:18 +00:00
Mathias Vorreiter Pedersen	032678a367	C++: Extend tests to also test the new predicates.	2024-03-18 16:27:10 +00:00
Mathias Vorreiter Pedersen	1d12e0c9d9	Merge pull request #15941 from MathiasVP/ir-guards-from-switch-statements ... C++: Handle `switch` statements in the guards library	2024-03-18 11:07:10 +00:00
Mathias Vorreiter Pedersen	0be329dbdc	C++: Delete duplicated code.	2024-03-18 10:33:40 +00:00
Mathias Vorreiter Pedersen	51db2b0bc4	C++: Convert tabs to spaces in ir.cpp.	2024-03-18 10:11:37 +00:00
Mathias Vorreiter Pedersen	fb218150e1	C++: Change the testcase so that it outputs the controlling values for switch statements as well.	2024-03-15 17:05:42 +00:00
Mathias Vorreiter Pedersen	07ebbb0591	C++: Accept test changes.	2024-03-15 17:04:27 +00:00
Mathias Vorreiter Pedersen	704f1fad46	C++: Add switches as testcases for guard conditions.	2024-03-15 17:02:32 +00:00
Mathias Vorreiter Pedersen	19c9ea7e20	C++: Implement alias and side effect models for iterators.	2024-03-15 12:13:43 +00:00
Mathias Vorreiter Pedersen	a51fe4a00e	C++: Make the vector and iterator classes in 'ir.cpp' more realistic. This matches the one we use for dataflow tests.	2024-03-15 12:10:48 +00:00
Geoffrey White	19cc620f18	C++: Effect of 'Fix dataflow node <> expression problem on prvalues' from main.	2024-03-14 09:47:38 +00:00
Geoffrey White	f208594067	Merge branch 'main' into mad	2024-03-14 09:44:45 +00:00
Geoffrey White	f52b6e0449	C++: Add more test cases for taint through qualifier fields.	2024-03-13 16:20:12 +00:00
Geoffrey White	6019a38266	C++: Add more test cases for indirection (4).	2024-03-13 16:20:08 +00:00
Geoffrey White	23da0c16c7	C++: Add more test cases for indirection (3).	2024-03-13 16:20:04 +00:00
Geoffrey White	7c4927c2e3	C++: Add more test cases for indirection (2).	2024-03-13 16:19:58 +00:00
Geoffrey White	fcda0c9819	C++: Add more test cases for indirection (1).	2024-03-13 15:35:28 +00:00
Geoffrey White	c17a36ec07	C++: Add more test cases for taint through qualifiers.	2024-03-13 15:30:13 +00:00
Geoffrey White	92d57ab504	C++: Correct some existing cases that are in fact indirect.	2024-03-13 15:26:21 +00:00
Geoffrey White	9aad43f649	C++: Add indirect test models.	2024-03-13 11:34:36 +00:00
Jeroen Ketema	3ef1ab49ea	C++: Add IR tests for the destruction of temporaries	2024-03-13 12:00:02 +01:00
Geoffrey White	cbacd51337	C++: Make Argument[-1] refer to *this rather than this.	2024-03-12 17:51:43 +00:00
Geoffrey White	22d5e9bbfb	C++: Add test cases involving pointer qualifiers.	2024-03-12 17:47:11 +00:00
Mathias Vorreiter Pedersen	4c9876b008	C++: Accept test changes.	2024-03-06 18:18:36 -08: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	a60afef923	C++: Add a local flow test file for IR dataflow.	2024-03-06 18:10:08 -08:00
Jeroen Ketema	6972f9b31d	C++: Update syntax-zoo expected test results	2024-03-06 09:34:47 +01:00
Robert Marsh	fbbd57b34f	C++: Suppress epxr destructors in preparation for temporaries	2024-03-05 21:12:12 +00:00
Geoffrey White	7675f153ce	C++: Add SummaryOutNode class.	2024-03-05 17:32:54 +00:00
Geoffrey White	d1a2048134	C++: Add SummaryPostUpdateNode class.	2024-03-01 16:03:37 +00:00
Geoffrey White	dbf0b98791	C++: Add some test cases involving function pointers.	2024-03-01 15:56:44 +00:00
Geoffrey White	f649939d78	C++: Allow flow through (previously missing) summary taint steps.	2024-03-01 15:56:44 +00:00