11663 Commits

Author	SHA1	Message	Date
github-actions[bot]	100166fa53	Release preparation for version 2.17.3	2024-05-14 19:23:18 +00:00
Erik Krogh Kristensen	bcddef8f32	Merge pull request #16131 from erik-krogh/cpp-path ... C++: Improve the cpp/path-injection qhelp	2024-05-09 22:21:51 +02:00
Jeroen Ketema	4dfcdbccd7	Merge pull request #16459 from jketema/handler-fix ... C++: Fix destructor translation for handlers	2024-05-09 10:23:07 +02:00
Jeroen Ketema	9e09c5a6cf	C++: Fix copy and paste error in comment	2024-05-08 22:11:19 +02:00
erik-krogh	a51d24cbab	apply suggestions from code review, and the examples to the test	2024-05-08 19:34:50 +02:00
Jeroen Ketema	d68d2cca41	C++: Fix destructor translation for handlers	2024-05-08 19:26:56 +02:00
Jeroen Ketema	0cbedfb28c	Merge pull request #16455 from jketema/if-fix ... C++: Ensure destructors for ifs are called after both branches and for both if and constexpr if	2024-05-08 19:15:28 +02:00
Geoffrey White	49aba25852	Merge pull request #16445 from geoffw0/qhelp4 ... C++: Improve qhelp for DoubleFree.	2024-05-08 18:02:12 +01:00
Geoffrey White	53d4a10108	Update cpp/ql/src/Critical/DoubleFree.qhelp ... Co-authored-by: Ben Ahmady <32935794+subatoi@users.noreply.github.com>	2024-05-08 17:15:08 +01:00
Mathias Vorreiter Pedersen	59fb9cc862	Merge pull request #16299 from MathiasVP/remove-base-address-as-ipa-key ... C++: Remove an unnecessary column	2024-05-08 16:43:30 +01:00
Geoffrey White	088f8297b6	C++: Use nullptr.	2024-05-08 14:04:21 +01:00
Jeroen Ketema	1a53b923a6	C++: Ensure destructors for ifs are called after both branches	2024-05-08 14:48:28 +02:00
Jeroen Ketema	52db1c1253	C++: Introduce abstract class to share code between if and constexpr if	2024-05-08 14:16:19 +02:00
Jeroen Ketema	fa06d88642	C++: Add forgotten getLastChild to TranslatedConstExprIfStmt	2024-05-08 14:07:29 +02:00
Jeroen Ketema	7b89c6c7f7	Merge pull request #16450 from jketema/inconsistent ... C++: Add IR tests demonstrating some inconsistencies that may occur	2024-05-08 13:32:01 +02:00
Jeroen Ketema	9bc04e7591	Merge pull request #16447 from jketema/destructors-loc ... C++: Update test results after extractor changes	2024-05-08 13:03:46 +02:00
Geoffrey White	3fd6bc9b5c	C++: Fix qhelp format.	2024-05-08 11:46:07 +01:00
Geoffrey White	486226814a	C++: Add a second example.	2024-05-08 11:40:29 +01:00
Geoffrey White	871fd9aba3	Merge pull request #16405 from geoffw0/qhelp3 ... C++: Improve qhelp for StrncpyFlippedArgs.	2024-05-08 11:23:41 +01:00
Geoffrey White	880d56c576	Merge pull request #16404 from geoffw0/qhelp2 ... C++: Improve qhelp for WrongTypeFormatArguments.	2024-05-08 11:22:57 +01:00
Geoffrey White	9c8945f626	Merge pull request #16403 from geoffw0/qhelp1 ... C++: Improve qhelp for IncorrectNotOperatorUsage.	2024-05-08 11:22:15 +01:00
Jeroen Ketema	6575927630	C++: Add IR tests demonstrating some inconsistencies that may occur	2024-05-08 11:43:58 +02:00
Jeroen Ketema	2dcb55cc42	C++: Add bool operator to IR test	2024-05-08 11:38:50 +02:00
Mathias Vorreiter Pedersen	65645821be	C++: Remove the 'BaseSourceVariableInstruction' column as it's functionally determined by the address column.	2024-05-08 10:00:48 +01:00
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
erik-krogh	336c7de643	updates based on review	2024-05-07 22:58:49 +02:00
Geoffrey White	575b66a054	C++: Clarify the recommendation and example.	2024-05-07 16:52:50 +01:00
Geoffrey White	dd95a2abab	C++: Move qhelp.	2024-05-07 16:35:21 +01: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	07d51a55fd	C++: Assign a meaningful definition location to the address of an SSA variable when it's available.	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
Mathias Vorreiter Pedersen	5d5e31378b	Merge pull request #16415 from MathiasVP/cleanup-ir-variables	2024-05-03 18:49:11 +01: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
Mathias Vorreiter Pedersen	d5475c4a89	C++: Delete predicate that I introduced by mistake.	2024-05-03 14:48:01 +01:00
Mathias Vorreiter Pedersen	7ca54a6f94	C++: Sync identical files.	2024-05-03 13:51:04 +01:00
Mathias Vorreiter Pedersen	e8cb8b4f81	C++: Convert IR variables to an abstract base class and use final alias'ing to ensure that we don't accidentially extend the abstract base class.	2024-05-03 13:50:50 +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
Geoffrey White	807e6795a7	Apply suggestions from code review ... Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com>	2024-05-03 11:40:56 +01:00