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 |
|
Mathias Vorreiter Pedersen
|
553c09ada3
|
Merge pull request #16301 from MathiasVP/proper-coroutine-cfg-support-2
C++: Implement proper coroutine support in IR
|
2024-04-23 09:19:15 +01:00 |
|
Anders Schack-Mulligen
|
b2f09949df
|
Merge pull request #15599 from aschackmull/dataflow/fieldflowbranchlimit-v2
Dataflow: update fieldFlowBranchLimit semantics
|
2024-04-23 10:08:05 +02:00 |
|
Mathias Vorreiter Pedersen
|
c1755603a8
|
Update TranslatedExpr.qll
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
|
2024-04-23 07:25:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
8169e7ce68
|
C++: Add proper translation of 'co_await' and 'co_yield'.
|
2024-04-22 21:38:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
8383bc1629
|
C++: Add getters for the other children of 'co_return' and 'co_yield'.
|
2024-04-22 21:38:13 +01:00 |
|
Jeroen Ketema
|
c5bdd5bbd7
|
Merge pull request #16289 from jketema/reuse-improve
C++: Improve handling of re-use expressions
|
2024-04-22 10:34:35 +02:00 |
|
Jeroen Ketema
|
bcde7151e8
|
C++: Address review comment
|
2024-04-22 10:23:03 +02:00 |
|
Jeroen Ketema
|
2c76b13451
|
C++: Improve handling of re-used qualifier in delete expressions
|
2024-04-21 16:16:24 +02:00 |
|
Mathias Vorreiter Pedersen
|
bcedf687ff
|
Merge pull request #16246 from MathiasVP/parameter-nodes-for-functions-without-bodies
C++: Add Parameter nodes for functions without bodies
|
2024-04-19 15:54:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
ba99d49b61
|
Merge pull request #16187 from MathiasVP/cfg-for-coroutines
C++: Placeholder CFG for coroutines
|
2024-04-19 11:31:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
bcda4a1377
|
C++: Add change note.
|
2024-04-18 13:02:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
45b1a5e29b
|
Merge branch 'main' into fix-tostring-on-nodes
|
2024-04-18 12:48:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f8c9615fc
|
C++: Use the unconverted expression available for a non-'ExprNode' when one exists.
|
2024-04-18 12:33:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
06f52c2854
|
C++: Make the new nodes parameter nodes.
|
2024-04-18 12:01:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
98a3f2da7d
|
C++: Add new dataflow nodes for parameters without any Instructions associated with them.
|
2024-04-18 12:01:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
111ad8b525
|
C++: Refactor parameter nodes into an abstract class that's easier to extend.
|
2024-04-18 12:01:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
a1267d732e
|
Merge pull request #16139 from MathiasVP/enable-sound-ir
C++: Enable sound IR
|
2024-04-17 21:46:51 +01:00 |
|
Alexander Eyers-Taylor
|
da3fa22cbd
|
Merge pull request #16228 from github/post-release-prep/codeql-cli-2.17.1
Post-release preparation for codeql-cli-2.17.1
|
2024-04-17 11:24:34 +01:00 |
|