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 |
|
Mathias Vorreiter Pedersen
|
044ee9b08a
|
C++: Delete old iterator flow using memory edges.
|
2024-04-28 23:41:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c2206728d
|
Merge pull request #16333 from MathiasVP/fix-guards-on-pointers
|
2024-04-26 21:33:08 +01:00 |
|
Jeroen Ketema
|
8c87cb83bb
|
Merge pull request #16342 from jketema/destructors-cleanup
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
|
2024-04-26 22:05:00 +02:00 |
|
Mathias Vorreiter Pedersen
|
b78537dd74
|
C++: Allow comparisons with pointer types in IRGuards.
|
2024-04-26 16:19:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
e78091e9d0
|
C++: Sync identical files.
|
2024-04-26 16:19:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
c10e00d389
|
C++: Add a subclass for constant instructions with pointer type.
|
2024-04-26 16:18:52 +01:00 |
|
erik-krogh
|
800d7546fa
|
change all the change-notes to breaking
|
2024-04-26 17:17:23 +02:00 |
|
Mathias Vorreiter Pedersen
|
4b0a217420
|
C++: Don't emit destructor calls as part of 'TranslatedResultCopy' as this has already been done in some other 'TranslatedExpr'.
|
2024-04-26 16:25:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
70e9c48a47
|
C++: Also implement the predicate in the raw stage.
|
2024-04-26 13:48:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
dcc4ad2550
|
C++: Sync identical files.
|
2024-04-26 13:45:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
54cadcfe9b
|
C++: Forward to a cached predicate in a cached module instead of caching the predicate in 'Instruction.qll' to include it in the cached stage of the other predicates.
|
2024-04-26 13:44:45 +01:00 |
|
erik-krogh
|
14d88eb3ce
|
add change-notes
|
2024-04-26 12:56:28 +02:00 |
|
erik-krogh
|
e55f2c5309
|
reinroduce GLobalValueNumbering.qll, that one was supposed to stay
|
2024-04-26 06:52:57 +02:00 |
|
erik-krogh
|
baa31e1469
|
delete outdated deprecations
|
2024-04-25 22:19:28 +02:00 |
|
Jeroen Ketema
|
05819a52ef
|
C++: Print destructors for children of statements that are again statements
|
2024-04-25 13:25:42 +02:00 |
|
Mathias Vorreiter Pedersen
|
a39d8b7c7c
|
C++: Ensure that each node type gets mapped to an instruction by 'getAnInstruction'.
|
2024-04-23 09:44:30 +01:00 |
|