5447 Commits

Author	SHA1	Message	Date
Robert Marsh	e428502f4b	Merge pull request #13598 from MathiasVP/add-constant-size-array-fp ... C++: Add `cpp/constant-array-overflow` FPs	2023-06-29 09:44:04 -04:00
Jeroen Ketema	2c8d4724d5	C++: Add more cpp/invalid-pointer-deref FP test cases	2023-06-29 14:45:09 +02:00
Jeroen Ketema	527b908bda	C++: Fix test annotation for cpp/invalid-pointer-deref test	2023-06-28 17:54:12 +02:00
Jeroen Ketema	43a8119091	Merge pull request #13591 from jketema/pointer-deref-barrier ... C++: Add barrier to `InvalidPointerToDerefConfig` in `cpp/invalid-pointer-deref`	2023-06-28 17:46:41 +02:00
Mathias Vorreiter Pedersen	655f1feac0	C++: Accept test changes.	2023-06-28 14:40:50 +01:00
Mathias Vorreiter Pedersen	25be9d48bc	C++: Add tests with FPs that need call contexts.	2023-06-28 14:37:04 +01:00
Jeroen Ketema	14609a9795	C++: Add barrier to InvalidPointerToDerefConfig in cpp/invalid-pointer-deref	2023-06-28 14:04:45 +02:00
Mathias Vorreiter Pedersen	ae098822c3	C++: Add 'cpp/constant-array-overflow' FP.	2023-06-28 11:22:53 +01:00
Mathias Vorreiter Pedersen	2c99009c1a	Merge pull request #13117 from rdmarsh2/rdmarsh2/cpp/cobo-handle-array-casts ... C++: handle cast arrays properly in off-by-one query	2023-06-28 09:25:12 +01:00
Robert Marsh	e90153fc47	C++: fix irreducible control flow logic	2023-06-27 16:52:45 -04:00
Kasper Svendsen	656b4fc1aa	Merge pull request #13574 from kaspersv/kaspersv/cpp-remaining-implicit-this ... CPP: Enable implicit this warnings for remaining packs	2023-06-27 16:56:28 +02:00
Kasper Svendsen	d1979197c7	CPP: Enable implicit this warnings for remaining packs	2023-06-27 14:44:24 +02:00
Mathias Vorreiter Pedersen	51176bdff3	C++: Add Geoffrey's testcases.	2023-06-27 12:59:22 +01:00
Jeroen Ketema	b1ae3a0a7b	Merge remote-tracking branch 'upstream/main' into clears-content	2023-06-27 13:45:33 +02:00
Mathias Vorreiter Pedersen	f2cbbab419	Merge branch 'main' into rdmarsh2/cpp/cobo-handle-array-casts	2023-06-27 12:03:42 +01:00
Mathias Vorreiter Pedersen	985650cb04	Merge pull request #13559 from MathiasVP/add-barrier-to-invalid-deref-query ... C++: Add barriers to `cpp/invalid-pointer-deref`	2023-06-27 11:56:58 +01:00
Mathias Vorreiter Pedersen	06bc460868	Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge ... C++: fix range analysis back edge detection for irreducible CFGs	2023-06-27 09:14:44 +01:00
Robert Marsh	757f40c0cb	Merge pull request #13116 from rdmarsh2/rdmarsh2/cpp/cobo-array-vars ... C++: include stack-allocated arrays in off-by-one query	2023-06-26 15:26:45 -04:00
Jeroen Ketema	527b537fee	Apply suggestions from code review ... Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>	2023-06-26 12:57:43 +02:00
Jeroen Ketema	458522a656	C++: Implement clearsContent for IR dataflow	2023-06-26 12:11:03 +02:00
Mathias Vorreiter Pedersen	e32f7d84a5	C++: Speed up analysis on 'Samate' by avoiding the 'Variable' column in the dataflow stages of the query.	2023-06-25 00:35:43 +01:00
Mathias Vorreiter Pedersen	c1077fe75d	C++: Accept test changes.	2023-06-24 19:12:03 +01:00
Mathias Vorreiter Pedersen	fba753ce61	C++: Add more test cases to 'cpp/invalid-pointer-deref'.	2023-06-24 18:59:25 +01:00
Robert Marsh	69ee615119	Merge pull request #13515 from MathiasVP/dataflow-fix-for-self-iterators ... C++: Dataflow fix for the self-iterators issue	2023-06-23 13:50:23 -04:00
Mathias Vorreiter Pedersen	600c60af8b	Merge branch 'main' into rdmarsh2/cpp/cobo-array-vars	2023-06-23 10:54:46 +01:00
Mathias Vorreiter Pedersen	79fb6a6079	C++: Accept test changes.	2023-06-22 19:34:05 +01:00
Mathias Vorreiter Pedersen	da54751d85	C++: Add testcase that demonstrate the need for self-flow out of indirect parameters.	2023-06-22 19:33:13 +01:00
Mathias Vorreiter Pedersen	fe97572f70	C++: Fix strncpy model.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	273e5bc21f	C++: Add testcase demonstrating that the model for 'strncpy' is broken.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	c7cff373de	C++: Add another testcase with conflation.	2023-06-22 10:59:12 +01:00
Mathias Vorreiter Pedersen	6543da9990	C++: Accept test changes.	2023-06-22 10:59:11 +01:00
Mathias Vorreiter Pedersen	5816f177c9	C++: Add failing test.	2023-06-22 10:59:11 +01:00
Robert Marsh	ba7cb8f4ae	C++: fix range analysis back edge detection for irreducible CFGs	2023-06-21 17:54:52 -04:00
Mathias Vorreiter Pedersen	2b0282ca12	C++: Accept test changes.	2023-06-20 13:05:25 +01:00
Robert Marsh	971456c725	C++: add a test for self-valued iterators	2023-06-20 12:59:27 +01:00
Remco Vermeulen	32d7faa3b8	Account for the signedness of the lesser operand	2023-06-19 16:57:36 -07:00
Jeroen Ketema	9ff5754473	C++: Add cpp/invalid-pointer-def FP test case	2023-06-16 16:48:24 +02:00
Jeroen Ketema	0e68767efc	C++: Add more cpp/invalid-pointer-deref FPs	2023-06-16 15:28:05 +02:00
Jeroen Ketema	8fb3d838c9	C++: Add FP test case for cpp/invalid-pointer-deref	2023-06-15 10:03:31 +02:00
Mathias Vorreiter Pedersen	74ed9f535c	Merge pull request #13406 from MathiasVP/fix-++-problem ... C++: Fix the `++` problem	2023-06-09 11:20:00 +01:00
Mathias Vorreiter Pedersen	a357eeedac	C++: Accept test changes.	2023-06-08 12:50:16 +01:00
Mathias Vorreiter Pedersen	57ae1e9ff7	C++: Add a testcase that started to fail in #13326.	2023-06-08 12:49:08 +01:00
erik-krogh	a4ef8619c6	delete old deprecations	2023-06-08 10:10:21 +02:00
Jeroen Ketema	272ced6ea5	Merge pull request #13374 from jketema/ptr-deref-min ... C++: Remove `cpp/invalid-pointer-deref` results duplicating ones with smaller `k`	2023-06-05 19:31:24 +02:00
Jeroen Ketema	93215ba7e1	Merge pull request #13355 from jketema/ptr-deref-forward ... C++: Ensure that the sink instruction occurs last in `cpp/invalid-pointer-deref`	2023-06-05 15:56:50 +02:00
Jeroen Ketema	4a27028768	C++: Remove cpp/invalid-pointer-deref results duplicating ones with smaller k	2023-06-05 15:03:58 +02:00
Jeroen Ketema	90f0209095	C++: Add cpp/invalid-pointer-deref test case with almost duplicated results	2023-06-05 15:03:57 +02:00
Jeroen Ketema	7f7b048f50	C++: Update expected test results	2023-06-05 15:00:11 +02:00
Mathias Vorreiter Pedersen	52fb00cac3	Merge pull request #12036 from nmouha/patch-1 ... CPP: Add query for CVE-2022-37454: Integer addition may overflow inside if statement	2023-06-05 12:13:27 +01:00
Jeroen Ketema	ac4933a9cc	C++: Ensure that the sink instruction occurs last in cpp/invalid-pointer-deref ... This avoids some counter-intuitive paths where we would seemingly jump back to an earlier instruction, which might actually have been in bounds.	2023-06-02 12:36:34 +02:00