Mathias Vorreiter Pedersen
|
b0e9238ddf
|
Merge branch 'main' into use-shared-guards-library
|
2025-10-01 11:59:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
ca53a8e787
|
C++: Update QLDoc.
|
2025-09-30 14:15:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
1b2bd30a29
|
Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2025-09-30 14:14:19 +01:00 |
|
github-actions[bot]
|
a7a4e43991
|
Post-release preparation for codeql-cli-2.23.2
|
2025-09-29 15:10:19 +00:00 |
|
github-actions[bot]
|
d2130a589b
|
Release preparation for version 2.23.2
|
2025-09-29 10:28:45 +00:00 |
|
Mathias Vorreiter Pedersen
|
c1c1f60241
|
C++: Delete incorrect comment and add a bunch of barrier guard tests.
|
2025-09-25 12:56:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
04ce4057e1
|
C++: Add more comments to describe the constant expression hack.
|
2025-09-25 12:43:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
5b5c1de05b
|
C++: Fix fan-out.
|
2025-09-25 12:33:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
b169ccf29a
|
C++: Fully delete TRange.
|
2025-09-25 08:30:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
a07d03f49b
|
C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.
|
2025-09-24 20:09:35 +01:00 |
|
Mathias Vorreiter Pedersen
|
d15e388f5c
|
C++: Get rid of the case range constant value with and instead implement 'rangeGuard'.
|
2025-09-24 15:52:10 +01:00 |
|
Mathias Vorreiter Pedersen
|
d10d5fd05e
|
C++: Rename in the name of consistency.
|
2025-09-24 15:34:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
99e1a07b8e
|
C++: Add a comment to the 'ConditionalBranchInstruction' case in 'additionalImpliesStep.
|
2025-09-24 10:58:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
2b47ac83e8
|
C++: Remove superfluous inference logic.
|
2025-09-24 10:51:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
b3cbdb5c1a
|
C++: Add QLDoc to TRange.
|
2025-09-24 10:39:27 +01:00 |
|
Simon Friis Vindum
|
7d6e2060e5
|
Adapt all languages to changes in shared library
|
2025-09-22 14:18:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
a4dbee3b13
|
C++: Add change note.
|
2025-09-18 12:16:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
e22d6656fe
|
C++: Fix barrier guards.
|
2025-09-18 12:16:25 +01:00 |
|
Mathias Vorreiter Pedersen
|
d8f34dba17
|
C++: Do not use the deprecated predicate in queries.
|
2025-09-18 12:16:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
9ed8b75c5d
|
C++: Add a few helper predicates on 'Definition' which the guards library needs.
|
2025-09-18 11:05:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
ac5233d19c
|
C++: Lots of renamings.
|
2025-09-18 11:05:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
840097f121
|
C++: Instantiate the shared guards library.
|
2025-09-18 11:05:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
3a8f77d6f4
|
C++: Qualified import of cpp.
|
2025-09-18 11:05:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
2b0b8402ce
|
C++: Delete a bunch of predicates. Also set up things so that they work after instantiating the shared guards library.
|
2025-09-18 11:05:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
f0f4311b65
|
C++: Sync identical files.
|
2025-09-18 11:05:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
70a8364a38
|
C++: Add another convenience predicate on 'BinaryInstruction'.
|
2025-09-18 11:05:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
19b8e0db9c
|
C++: Add a few subclasses to 'EdgeKind'.
|
2025-09-18 11:05:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
be8195ab7d
|
C++: Do not rely on dataflow nodes when implement 'getAUse' and 'getAnIndirectUse'. This will solve a non-monotonic recursion issue later.
|
2025-09-18 11:05:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
f47dd2bbc6
|
C++: Add a 'hasInputFromBlock' predicate.
|
2025-09-18 11:05:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
f55ace8311
|
C++: Make the return type a bit more precise.
|
2025-09-18 10:10:07 +01:00 |
|
github-actions[bot]
|
4e8343664f
|
Post-release preparation for codeql-cli-2.23.1
|
2025-09-17 10:13:40 +00:00 |
|
github-actions[bot]
|
02a1b1efcb
|
Release preparation for version 2.23.1
|
2025-09-16 14:14:42 +00:00 |
|
Ian Lynagh
|
cc72314219
|
C++: Tweak a release note
|
2025-09-15 16:26:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
417e79c3c0
|
Merge pull request #20382 from MathiasVP/simplify-ssl-result-not-checked
C++: Simplify `cpp/certificate-not-checked`
|
2025-09-09 12:23:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
702d6d80c4
|
Update cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-09-08 16:19:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
9f47996448
|
C++: Lift a few more predicates to expression guards.
|
2025-09-08 12:28:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4645bd766a
|
C++: Sync identical files.
|
2025-09-04 19:27:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
a551a55ca0
|
C++: Get rid of a parenthesis pair.
|
2025-09-04 19:27:23 +01:00 |
|
Mathias Vorreiter Pedersen
|
3c35e1e6ee
|
C++: Require a unique IRFunction for each value number case and assign instructions with a non-unique IRFUnction a unique value number.
|
2025-09-04 19:26:42 +01:00 |
|
Mathias Vorreiter Pedersen
|
76f2c6a9f1
|
C++: Remove the IRFunction column from the TUniqueValueNumber branch. The next commits will protect the recursion from instructions which has multiple IRFunctions and assign such instructions a unique value number so it won't make sense for them to have an IRFunction column.
|
2025-09-04 19:10:22 +01:00 |
|
Jeroen Ketema
|
af82da5db3
|
Merge pull request #20350 from michaelnebel/cpp/ql4qlexperimental
C++: Fix some Ql4Ql violations (crypto).
|
2025-09-04 16:21:44 +02:00 |
|
Michael Nebel
|
64d68feab3
|
Merge pull request #20325 from michaelnebel/cpp/ql4ql
C++: Fix some Ql4Ql violations.
|
2025-09-04 14:17:11 +02:00 |
|
Michael Nebel
|
61e8ad264f
|
C++: Address review comments.
|
2025-09-04 12:52:46 +02:00 |
|
Michael Nebel
|
83d53baf82
|
C++: Fix some Ql4Ql violations.
|
2025-09-03 08:19:18 +02:00 |
|
Michael Nebel
|
462d639627
|
C++: Fix some Ql4Ql violations.
|
2025-09-03 08:13:20 +02:00 |
|
Jeroen Ketema
|
ab3ad20a1e
|
Merge pull request #20319 from jketema/ir-vla-sizeof
C++: Support `sizeof` VLAs in the IR
|
2025-09-02 17:29:18 +02:00 |
|
Jeroen Ketema
|
8de1ed0d85
|
C++: Address review comments
|
2025-09-02 17:03:48 +02:00 |
|
Arthur Baars
|
0bb7fdccf6
|
Merge pull request #20347 from github/post-release-prep/codeql-cli-2.23.0
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 14:14:03 +02:00 |
|
github-actions[bot]
|
e8a2600a0c
|
Post-release preparation for codeql-cli-2.23.0
|
2025-09-02 11:46:23 +00:00 |
|
Jeroen Ketema
|
9431b0c754
|
C++: Add change note for new VlaDeclStmt predicates
|
2025-09-02 13:17:26 +02:00 |
|