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 |
|
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
|
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 |
|
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 |
|
Joe Farebrother
|
2cd1d2fd2f
|
Merge pull request #20392 from joefarebrother/python-qual-file-not-closed
Python: Improve File Not Closed query to reduce false positives and provide clearer alerts
|
2025-09-18 09:33:08 +01:00 |
|
Anders Schack-Mulligen
|
8f859647c4
|
Merge pull request #20457 from aschackmull/shared/cfg-fix-joinblock-pred
Shared/Cfg: Fix missing JoinBlockPredecessor.
|
2025-09-18 09:28:24 +02:00 |
|
Tom Hvitved
|
51a33c279d
|
Merge pull request #20460 from hvitved/rust/source-inline-flow-path-problem
|
2025-09-18 09:27:06 +02:00 |
|
Anders Schack-Mulligen
|
d93b2edc0d
|
Ruby: Accept test changes.
|
2025-09-18 08:13:43 +02:00 |
|
Tom Hvitved
|
aba2cb487e
|
Rust: Convert data flow test to @kind path-problem
|
2025-09-17 20:52:17 +02:00 |
|
Anders Schack-Mulligen
|
d5a238768c
|
Shared/Cfg: Fix missing JoinBlockPredecessor.
|
2025-09-17 16:37:23 +02:00 |
|
Napalys Klicius
|
4f8166a661
|
Merge pull request #20450 from Napalys/js/graph-ql-ench
JS: Improve graphql flow
|
2025-09-17 16:32:01 +02:00 |
|
Simon Friis Vindum
|
203788d4f1
|
Merge pull request #20408 from paldepind/rust/update-rust-analyzer
Rust: Upgrade to rust-analyzer 0.0.301
|
2025-09-17 16:04:35 +02:00 |
|
Michael Nebel
|
398f29a995
|
Merge pull request #20292 from michaelnebel/csharp/code-quality-extended
C#: Add most `medium` precision queries to the `code-quality-extended` suite.
|
2025-09-17 14:34:08 +02:00 |
|
Joe Farebrother
|
f3802ec60f
|
Merge pull request #20217 from joefarebrother/python-qual-signature-mismatch
Python: Modernize the Signature Mismatch query
|
2025-09-17 13:29:33 +01:00 |
|
Ian Lynagh
|
c653d939d9
|
Merge pull request #20451 from github/post-release-prep/codeql-cli-2.23.1
Post-release preparation for codeql-cli-2.23.1
|
2025-09-17 13:00:14 +01:00 |
|
Michael Nebel
|
34ebed1a24
|
Merge pull request #20402 from michaelnebel/python/code-quality-extended
Python: Add most `medium` precision queries to the `code-quality-extended` suite.
|
2025-09-17 13:48:35 +02:00 |
|
Michael Nebel
|
6d330891db
|
Merge pull request #20395 from michaelnebel/javascript/code-quality-extended
JS: Add most `medium` precision queries to the `code-quality-extended` suite.
|
2025-09-17 13:47:02 +02:00 |
|
Michael Nebel
|
7589d0a18a
|
Merge pull request #20394 from michaelnebel/java/code-quality-extended
Java: Add most `medium` precision queries to the `code-quality-extended` suite.
|
2025-09-17 13:46:24 +02:00 |
|
Taus
|
f5a06bef4a
|
Merge pull request #19929 from github/tausbn/python-update-tree-sitter-dependency
Python: Update `tree-sitter` dependency
|
2025-09-17 13:40:13 +02:00 |
|
Napalys Klicius
|
4226fd29f5
|
Merge pull request #20162 from Napalys/python/global_variable_tracking
Python: Add jump steps for global variable nested field access
|
2025-09-17 13:38:07 +02:00 |
|
Anders Schack-Mulligen
|
ab5f6717b6
|
Merge pull request #20449 from aschackmull/csharp/nullguard-pattern
C#: Bugfix for nullguards for complex patterns.
|
2025-09-17 13:10:16 +02:00 |
|