5503 Commits

Author	SHA1	Message	Date
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
Mathias Vorreiter Pedersen	f97b6e2848	C++: Stop conflating pointers and indirections in the query.	2024-03-11 18:48:19 +00:00
Mathias Vorreiter Pedersen	7b0df57d7a	C++: Remove the two configurations that depend on flow state to speed up performance on ChakraCore.	2024-03-11 13:56:22 +00:00
Mathias Vorreiter Pedersen	a548316747	C++: Accept test changes.	2024-03-07 13:55:31 -08:00
Mathias Vorreiter Pedersen	01fc7432cb	C++: Add more tests.	2024-03-06 22:17:33 -08:00
Mathias Vorreiter Pedersen	bf84f3a936	C++: Add FN.	2024-03-06 21:19:17 -08:00
Mathias Vorreiter Pedersen	fc9919a5b6	C++: Add a test that exercise the 'last field' check.	2024-03-06 21:17:55 -08:00
Mathias Vorreiter Pedersen	c2db5f490e	C++: Add more FNs and FPs to show examples of where the 'successor typing' strategy fails.	2024-03-06 21:16:51 -08:00
Mathias Vorreiter Pedersen	cf4c8eb517	C++: Add more tests.	2024-03-06 21:15:25 -08:00
Mathias Vorreiter Pedersen	8ae6fa5366	C++: Add a new query 'cpp/type-confusion' for detecting type confusion vulnerabilities.	2024-03-06 21:11:32 -08: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