5370 Commits

Author	SHA1	Message	Date
Jeroen Ketema	61580da14d	C++: Update test results after extractor changes	2024-05-08 08:43:20 +02:00
erik-krogh	3989717878	Merge branch 'main' into cpp-path	2024-05-07 23:01:52 +02:00
Mathias Vorreiter Pedersen	99940a6084	Merge pull request #16440 from MathiasVP/fix-iterator-to-expired-container-fp-2 ... C++: Fix location of SSA def for local variable addresses	2024-05-07 14:39:13 +01:00
Mathias Vorreiter Pedersen	85e71c30dc	Merge pull request #16442 from MathiasVP/add-uninitialized-local-fp ... C++: Add `cpp/uninitialized-local` FP	2024-05-07 13:35:02 +01:00
Mathias Vorreiter Pedersen	8e95395382	C++: Accept more test changes.	2024-05-07 12:55:42 +01:00
Mathias Vorreiter Pedersen	61fb89721a	C++: Add 'cpp/uninitialized-local' FP.	2024-05-07 12:19:06 +01:00
Jeroen Ketema	8198b1a6ef	Merge pull request #16426 from jketema/destructors-ranged-based-cleanup ... C++: Update test results after extractor changes	2024-05-07 13:11:00 +02:00
Jeroen Ketema	4eea214cb4	C++: Update test results after extractor changes	2024-05-07 11:10:07 +02:00
Jeroen Ketema	b8f62ae4d5	Merge pull request #16436 from jketema/jketema/throw-wrong ... C++: Add test case that shows that no destructors are attached to unwinds	2024-05-07 11:07:24 +02:00
Mathias Vorreiter Pedersen	53c2d2f1e7	C++: Accept test changes.	2024-05-07 09:10:58 +01:00
Mathias Vorreiter Pedersen	41b95a1938	Merge pull request #16416 from MathiasVP/add-iterator-to-expired-container-fp-2 ... C++: Add `cpp/iterator-to-expired-container` FP	2024-05-07 09:10:38 +01:00
Jeroen Ketema	9b23635d0a	C++: Add test case that shows that no destructors are attached to unwinds	2024-05-06 17:47:55 +02:00
Jeroen Ketema	5cde3fa697	Merge pull request #16414 from jketema/range-based-for-loop-destructor-fix ... C++: Correctly handle destructors at the end of range-based for-loops in the IR	2024-05-03 19:38:45 +02:00
Mathias Vorreiter Pedersen	7a1b85aa56	C++: Add FP test.	2024-05-03 16:04:21 +01:00
Geoffrey White	eb0621ab7a	Merge pull request #16406 from geoffw0/test1 ... C++: Add test case for reassignment to UseAfterFree.ql.	2024-05-03 15:32:58 +01:00
Geoffrey White	c0cf1c7c8c	Merge pull request #16402 from geoffw0/stringlifetimedoc ... C++: Improve UseOfStringAfterLifetimeEnds doc.	2024-05-03 15:04:07 +01:00
Jeroen Ketema	ba64cf3016	C++: Correctly handle destructors at the end of range-based for-loops in the IR	2024-05-03 14:38:37 +02:00
Mathias Vorreiter Pedersen	75615f2817	Merge pull request #16373 from jketema/destructors-block-fix ... C++: Update test results after extractor changes	2024-05-03 10:17:40 +01:00
Geoffrey White	f4e4e238ba	C++: Add test cases for IncorrectNotOperatorUsage.ql.	2024-05-02 17:17:55 +01:00
Geoffrey White	315f439135	C++: Add test case for reassignment to UseAfterFree.ql.	2024-05-02 16:40:28 +01:00
Geoffrey White	0693bf9e75	C++: Improve UseOfStringAfterLifetimeEnds qhelp, references and alert message.	2024-05-02 15:40:27 +01:00
Mathias Vorreiter Pedersen	f7113e0105	Merge pull request #16345 from MathiasVP/cleanup-ssa-and-iterator-flow ... C++: Clean up SSA and stop relying on memory edges for iterator flow	2024-05-02 14:21:25 +01:00
Mathias Vorreiter Pedersen	dc4604f5a5	Merge pull request #16367 from MathiasVP/better-documentation-for-iterator-to-expired-container ... C++: Improve documentation for `cpp/iterator-to-expired-container`	2024-05-01 11:56:27 +01:00
Jeroen Ketema	3c70a2d7df	C++: Update test results after extractor changes	2024-05-01 12:30:38 +02:00
Jeroen Ketema	5843326b5c	C++: Update IR tests after better handling of init statements in the extractor	2024-04-30 21:12:30 +02:00
Mathias Vorreiter Pedersen	3a2b0a2feb	Merge pull request #16366 from MathiasVP/fix-ir-for-destructors-in-switch ... C++: Fix IR destructor calls on `JumpStmt`s	2024-04-30 18:26:54 +01:00
Mathias Vorreiter Pedersen	07dd6d5c8d	C++: Align 'break' statements.	2024-04-30 16:40:23 +01:00
Mathias Vorreiter Pedersen	3eddd3114f	C++: Accept test changes.	2024-04-30 16:14:30 +01:00
Mathias Vorreiter Pedersen	b86aeb68ae	Merge pull request #16364 from MathiasVP/ir-guards-with-boolean ... C++: Support `IRGuard`s with no implicit boolean conversion	2024-04-30 16:07:32 +01:00
Mathias Vorreiter Pedersen	cf025e1924	C++: Accept test changes.	2024-04-30 15:47:53 +01:00
Mathias Vorreiter Pedersen	c04e59611b	Merge pull request #16355 from MathiasVP/promote-iterator-to-expired-container-out-of-experimental ... C++: Promote `cpp/iterator-to-expired-container` out of experimental	2024-04-30 15:45:56 +01:00
Mathias Vorreiter Pedersen	c5a87c95d8	C++: Add tests that incorrectly call destructors twice.	2024-04-30 15:39:00 +01:00
Mathias Vorreiter Pedersen	c32c810ae7	C++: Add a test with a 'short' type.	2024-04-30 14:48:21 +01:00
Mathias Vorreiter Pedersen	2939c89f7a	C++: Accept test changes.	2024-04-30 12:04:42 +01:00
Mathias Vorreiter Pedersen	806d42852c	C++: Add test in C file with pointer type guard.	2024-04-30 11:33:22 +01:00
Geoffrey White	7d9f78b2de	Merge pull request #16328 from geoffw0/pathinj ... C++: Reduce duplication from cpp/path-injection	2024-04-30 10:06:40 +01:00
Erik Krogh Kristensen	7e839792da	Merge pull request #16330 from erik-krogh/del-deps-apr-2024 ... All: delete outdated deprecations	2024-04-30 10:43:39 +02:00
Mathias Vorreiter Pedersen	179270ffc1	C++: Move 'cpp/iterator-to-expired-container' out of experimental.	2024-04-29 11:07:55 +01:00
Mathias Vorreiter Pedersen	401717d739	C++: Add a missing taint step and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	527409d05f	C++: Fix iterator return types and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	d3d2e2188d	C++: Accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	5f0efc19fa	C++: Accept test changes.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	3c2206728d	Merge pull request #16333 from MathiasVP/fix-guards-on-pointers	2024-04-26 21:33:08 +01:00
Mathias Vorreiter Pedersen	d18cdee0bc	C++: Accept test changes.	2024-04-26 16:19:33 +01:00
Mathias Vorreiter Pedersen	bf61114284	C++: Add a test with pointer comparisons and float comparisons.	2024-04-26 16:17:45 +01:00
Mathias Vorreiter Pedersen	d6c57de650	C++: Convert one of the tests to also test the 'absolute' versions of the GuardCondition predicates.	2024-04-26 16:11:19 +01:00
Jeroen Ketema	67fb866efa	C++: Update test results	2024-04-26 16:38:39 +02:00
erik-krogh	0468c5d0bf	delete some tests of the old GVN library	2024-04-26 07:58:35 +02:00
Geoffrey White	15123a7b40	C++: Reduce duplication.	2024-04-25 16:49:22 +01:00
Geoffrey White	bbd80ec7a4	C++: Add some more test cases.	2024-04-25 16:44:52 +01:00