5370 Commits

Author	SHA1	Message	Date
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	b66b8785c4	Merge branch 'main' into unitialized-local-as-path	2024-03-18 17:42:53 +00: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	b944f3b411	C++: Fix FP.	2024-03-18 15:57:20 +00:00
Mathias Vorreiter Pedersen	e373341f62	C++: Add more tests.	2024-03-18 15:57:17 +00:00
Mathias Vorreiter Pedersen	668239f355	C++: Convert tabs to spaces.	2024-03-18 15:16:10 +00:00
Mathias Vorreiter Pedersen	4a55b6fbdf	C++: Make 'cpp/uninitialized-local' a path-problem query.	2024-03-18 15:02:33 +00:00
Mathias Vorreiter Pedersen	575af1a5f9	Merge branch 'main' into experimental-surprising-lifetimes-for-range-based-for-loop	2024-03-18 11:11:32 +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	e23e3d7fb4	C++: Run tests without the extractor and analysis changes.	2024-03-15 17:35:47 +00:00
Mathias Vorreiter Pedersen	3a8db49573	C++: Add tests for 'cpp/iterator-to-expired-container'. ... NOTE: This is with the yet-to-be-merged changes to the extractor and IR generation.	2024-03-15 17:35:17 +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
Mathias Vorreiter Pedersen	2fc0922b29	Merge branch 'main' into bring-back-type-barriers-in-non-constant-format	2024-03-13 22:46:35 +00:00
Mathias Vorreiter Pedersen	d1c253b519	C++: Accept test changes.	2024-03-13 22:41:32 +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
Mathias Vorreiter Pedersen	b638d4d0ba	Merge pull request #15900 from MathiasVP/glib-alloc-and-dealloc ... C++: Add models for `GLib` allocation and deallocation	2024-03-13 15:29:46 +00:00
Geoffrey White	92d57ab504	C++: Correct some existing cases that are in fact indirect.	2024-03-13 15:26:21 +00:00
Mathias Vorreiter Pedersen	8d504d8b32	Merge pull request #15899 from jketema/destructors10 ... C++: Add IR tests for the destruction of temporaries	2024-03-13 11:56:04 +00:00
Mathias Vorreiter Pedersen	3ea39a2553	C++: Add some query tests.	2024-03-13 11:39:34 +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	ab6e2f9364	C++: Accept test regression.	2024-03-12 15:04:49 +00:00
Mathias Vorreiter Pedersen	1a42e55095	Merge pull request #15820 from MathiasVP/add-type-confusion-query ... C++: Add a new query for detecting type confusion vulnerabilities	2024-03-12 10:29:22 +00:00