3130 Commits

Author	SHA1	Message	Date
github-actions[bot]	33b4ae8bbb	Release preparation for version 2.17.4	2024-05-28 15:44:32 +00:00
Anders Schack-Mulligen	8085460e4a	C++/Shared: Fix join order issues.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	1432519cc2	Dataflow: Add totalorder predicates to all languages.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	bc8ca1af86	Dataflow: Introduce NodeRegions for use in isUnreachableInCall.	2024-05-27 11:01:51 +02:00
Dave Bartolomeo	613ccaac1d	Add change note to all v1.0.0 packs	2024-05-23 13:01:22 -04:00
Dave Bartolomeo	ffe4c8c87b	Update all pack versions to 1.0.0	2024-05-22 13:39:08 -04:00
Mathias Vorreiter Pedersen	09357e15b4	Merge pull request #16533 from MathiasVP/better-negation-guards-in-c ... C++: Make `IRGuardCondition` handle `p` in `if(p)` and `if(!p)` better in C programs	2024-05-22 13:02:06 +01:00
Tom Hvitved	454687d583	Data flow: Synthesize parameter return nodes	2024-05-21 14:47:42 +02:00
Mathias Vorreiter Pedersen	0a550bb919	C++: Support 'if(!p)' for C programs in IRGuards.	2024-05-20 22:28:17 +01:00
Mathias Vorreiter Pedersen	398b90a15d	C++: Rename a few predicates.	2024-05-20 17:15:20 +01:00
Chuan-kai Lin	f1047606ad	Merge pull request #16418 from github/cklin/cpp-entities-reorder ... C++: Use entities in reorder directives	2024-05-17 06:43:07 -07:00
Mathias Vorreiter Pedersen	64b8f97d39	Merge pull request #16495 from MathiasVP/delete-duplicated-conjunction	2024-05-15 09:37:46 +01:00
Mathias Vorreiter Pedersen	a1cb419902	C++: Delete duplicated case in IR generation.	2024-05-15 08:52:56 +01:00
github-actions[bot]	32e8b5c667	Post-release preparation for codeql-cli-2.17.3	2024-05-14 21:14:08 +00:00
github-actions[bot]	100166fa53	Release preparation for version 2.17.3	2024-05-14 19:23:18 +00: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
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
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
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
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
Chuan-kai Lin	ca9567debc	C++: Use entities in reorder directives	2024-05-03 11:14:41 -07:00
Mathias Vorreiter Pedersen	5d5e31378b	Merge pull request #16415 from MathiasVP/cleanup-ir-variables	2024-05-03 18:49:11 +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
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	b912918d8b	C++: Fix QLDoc.	2024-05-02 13:32:52 +01:00
Mathias Vorreiter Pedersen	322fa36359	C++: Fix QLDoc.	2024-05-02 10:37:49 +01:00
Mathias Vorreiter Pedersen	4a47e11a16	C++: Fix QLDoc.	2024-05-02 10:36:40 +01: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	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	a200ced2d6	C++: Fix IR generation for jump statements.	2024-04-30 15:46:46 +01:00
Mathias Vorreiter Pedersen	32fe084630	Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll ... Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>	2024-04-30 14:42:30 +01:00
github-actions[bot]	99928b82ed	Post-release preparation for codeql-cli-2.17.2	2024-04-30 12:15:35 +00:00
Mathias Vorreiter Pedersen	bb6cc92728	C++: Support guards without implicit boolean conversions.	2024-04-30 12:04:35 +01:00
Mathias Vorreiter Pedersen	d736426529	C++: Support guards without implicit boolean conversions.	2024-04-30 11:45:58 +01:00
github-actions[bot]	5228d94d42	Release preparation for version 2.17.2	2024-04-30 10:25:51 +00: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	401717d739	C++: Add a missing taint step and accept test changes.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	141af7cc87	C++: Subclasses for both 'begin' and 'end'.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	6e3dddede0	C++: Use iterator flow in dataflow.	2024-04-29 09:38:42 +01:00
Mathias Vorreiter Pedersen	683fe26034	C++: Add iterator flow based on dataflow SSA.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	ea1b8a3999	C++: Implement 'getAnUltimateDefinition' on SSA definitions.	2024-04-29 09:38:41 +01:00
Mathias Vorreiter Pedersen	50775d0c53	C++: Get rid of 'UseImpl' in TSsaDefOrUse so that it now only contains definitions.	2024-04-29 00:02:05 +01:00
Mathias Vorreiter Pedersen	9874d40d29	C++: Make 'getAddressOperand' available on 'DefImpl'.	2024-04-28 23:41:18 +01:00