5418 Commits

Author	SHA1	Message	Date
Robert Marsh	5eea8e49b7	C++: more constant array off-by-one tests	2023-07-10 12:51:48 -04:00
Jeroen Ketema	de3251a634	C++: Add assignment operation IR test where the result is being used	2023-07-10 17:55:50 +02:00
Mathias Vorreiter Pedersen	3fe58d97bd	C++: Accept test changes.	2023-07-10 13:53:04 +01:00
Mathias Vorreiter Pedersen	ae8ecc9076	C++: Add a final configuration to preserve call contexts between configuration transitions.	2023-07-10 13:52:32 +01:00
Mathias Vorreiter Pedersen	055aea6e1a	C++: Add FP caused by missing call context.	2023-07-10 13:52:30 +01:00
Mingjie Shen	4b4c0cd563	C++: add testcases for UninitializedLocal.ql	2023-07-06 20:07:58 -04:00
Jeroen Ketema	8bc8ef4dda	C++: Support pointer addition and subtraction in the IRGuards library ... It seems this was something supported by the AST Guards library	2023-07-06 16:54:44 +02:00
Mathias Vorreiter Pedersen	b651c02dd9	Merge pull request #13653 from rdmarsh2/rdmarsh2/cpp/constant-array-overflow-tests ... C++: more constant-array-overflow tests	2023-07-05 15:06:11 +01:00
Mathias Vorreiter Pedersen	d24a05a1b9	Merge branch 'main' into rdmarsh2/cpp/constant-array-overflow-tests	2023-07-05 13:49:17 +01:00
Jeroen Ketema	7bb77abac7	C++: Add IR tests that cause regressions after extractor frontend update	2023-07-05 14:01:11 +02:00
Mathias Vorreiter Pedersen	60c0226dce	Update cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/constant-size/test.cpp ... Co-authored-by: Calum Grant <42069085+calumgrant@users.noreply.github.com>	2023-07-05 12:03:47 +01:00
Robert Marsh	1c2c48c74a	C++: more constant-array-overflow tests	2023-07-03 16:59:02 -04:00
Mathias Vorreiter Pedersen	95ddc01ccb	Merge pull request #13502 from rvermeulen/rvermeulen/compare-using-integer-precision ... C++: Account for the signedness of the lesser operand in `cpp/comparison-with-wider-type`	2023-06-30 17:44:28 +01:00
Mathias Vorreiter Pedersen	32045f87f1	Merge pull request #13635 from MathiasVP/dont-barrier-on-valid-state-config ... C++: Revert parts of #13623	2023-06-30 14:33:21 +01:00
Mathias Vorreiter Pedersen	518a3729ca	C++: Accept test changes.	2023-06-30 12:51:55 +01:00
Mathias Vorreiter Pedersen	42356a899a	Merge pull request #13603 from MathiasVP/implement-is-unreachable-in-call-2	2023-06-30 12:00:15 +01:00
Mathias Vorreiter Pedersen	a4d03371e5	Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2023-06-30 11:10:15 +01:00
Mathias Vorreiter Pedersen	97916407c2	C++: Accept test changes.	2023-06-29 16:51:08 +01:00
Mathias Vorreiter Pedersen	90336705e1	C++: Accept test changes after merge.	2023-06-29 14:48:17 +01:00
Jeroen Ketema	f8b1dc9f59	Merge pull request #13617 from jketema/pointer-deref-barrier-fps ... C++: Add more `cpp/invalid-pointer-deref` FP test cases	2023-06-29 15:48:15 +02:00
Mathias Vorreiter Pedersen	e4126ae6d4	Merge branch 'main' into implement-is-unreachable-in-call-2	2023-06-29 14:46:28 +01:00
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