Mathias Vorreiter Pedersen
|
353ee8baa0
|
C++: Port a test from the experimental directory to show that it works in the non-experimental "new" range analysis.
|
2025-10-01 11:33:47 +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 |
|
Jeroen Ketema
|
9dfd87c284
|
Merge pull request #20514 from jketema/permissive
C++: Update tests after extractor changes
|
2025-09-28 16:56:31 +02: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 |
|
Jeroen Ketema
|
e41b5f2bc0
|
C++: Update tests after extractor changes
|
2025-09-25 09:52:22 +02: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
|
26a8a4b3d2
|
C++: Add failing test demonstrating broken wrapper barrier guards.
|
2025-09-24 19:54:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
b2269fb5f5
|
C++: Add more tests.
|
2025-09-24 19:06:02 +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
|
13cde4d700
|
C++: Add testcase demonstrating that a ConstantValue IPA branch representing a gcc case range is a bad idea.
|
2025-09-24 15:34:35 +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
|
c481be8ea7
|
C++: Accept test changes for tests that select all types of an expression.
|
2025-09-18 12:16:28 +01: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
|
5e82eb9b24
|
C++: Fixup queries which assumes that a guard is always an expression.
|
2025-09-18 12:16:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
fbd877a118
|
C++: Delete a test. This is no longer useful when every expression is a guard condition.
|
2025-09-18 12:16:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
2dc783d91f
|
C++: Accept test changes.
|
2025-09-18 12:16:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b81fbbb2b
|
C++: Fixup tests.
|
2025-09-18 12:16:11 +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 |
|
Asger F
|
78bfdfd931
|
Merge pull request #20390 from asgerf/post-update-consistency
DataFlow: Permit local flow between post-update nodes
|
2025-09-16 13:00:29 +02:00 |
|
Jeroen Ketema
|
6264f46970
|
Merge pull request #20440 from MathiasVP/converted-barrier-in-unbounded-write
C++: Fix barrier in `cpp/unbounded-write`
|
2025-09-16 10:19:21 +02:00 |
|
Mathias Vorreiter Pedersen
|
a4c845c418
|
C++: Fix barrier in 'cpp/unbounded-write'.
|
2025-09-15 16:34:05 +01:00 |
|
Ian Lynagh
|
cc72314219
|
C++: Tweak a release note
|
2025-09-15 16:26:32 +01:00 |
|
Jeroen Ketema
|
a773042c5d
|
Merge pull request #20407 from jketema/dyn-too-many
C++: Add `cpp/uninitialized-local` test
|
2025-09-12 11:12:28 +02:00 |
|
Jeroen Ketema
|
352610d651
|
C++: Add GOOD annotation
|
2025-09-12 10:29:27 +02:00 |
|
Ian Lynagh
|
050a9e155f
|
C++: Add changenote for changes to some queries
Queries affected:
cpp/wrong-type-format-argument
cpp/comparison-with-wider-type
cpp/integer-multiplication-cast-to-long
cpp/implicit-function-declaration
cpp/suspicious-add-sizeof
|
2025-09-11 15:56:41 +01:00 |
|
Ian Lynagh
|
cc131a09a1
|
C++: Accept changes to cpp/ql/integration-tests/query-suite
|
2025-09-11 15:01:04 +01:00 |
|