Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
471 commits
Select commit Hold shift + click to select a range
eb37c41
Java: Accept revised CFG.
aschackmull Feb 13, 2026
352b371
Java: Remove obsolete tests - false successors are no longer special.
aschackmull Feb 16, 2026
f7317b6
Java: Enable Cfg consistency checks.
aschackmull Feb 16, 2026
d4873dd
Java: Adjust switch case guards test.
aschackmull Feb 16, 2026
0d0711f
Java: Add change note.
aschackmull Feb 18, 2026
bdbbd45
Java: Handle missing throws clauses.
aschackmull Feb 20, 2026
2b8e719
Java: Add nullness test covering known FP.
aschackmull Feb 23, 2026
94121f1
Guards: Improve join-order.
aschackmull Feb 23, 2026
a83c53e
C#: Add a partial method example with a body.
michaelnebel Feb 20, 2026
0e543a9
C#: Update partial method test to count the number of extracted bodies.
michaelnebel Feb 20, 2026
7d7bbf2
C#: Add data flow test for partial method.
michaelnebel Feb 20, 2026
532e1fe
update codeql documentation
invalid-email-address Feb 23, 2026
9773775
Update codeql-cli-2.19.1.rst
jonjanego Feb 23, 2026
2969fee
Fix formatting in Kotlin version support note
jonjanego Feb 23, 2026
d546b85
Fix formatting for Kotlin version support note
jonjanego Feb 23, 2026
af0bfe0
Promote CORS configuration query to default suite
jonjanego Feb 23, 2026
8719072
Apply suggestion from @Copilot
jonjanego Feb 23, 2026
79ac95d
Fix syntax error with '=' in format specifier
jonjanego Feb 23, 2026
365bae1
Fix formatting in codeql-cli-2.23.1.rst
jonjanego Feb 23, 2026
e14b4f1
Merge branch 'main' into codeql-spark-run-22317536589
jonjanego Feb 23, 2026
0151e84
Merge pull request #21357 from github/codeql-spark-run-22317536589
jonjanego Feb 23, 2026
6b7f339
Rust: Define neutralElement in the shared data flow input.
geoffw0 Feb 23, 2026
e951156
Rust: Autoformat.
geoffw0 Feb 23, 2026
e8427a5
C#: Cache the Block and ExpressionBody and streamline implementation …
michaelnebel Feb 20, 2026
d3fcc2a
C#: Extract partial method declaration.
michaelnebel Feb 20, 2026
03a54bf
C#: Update test expected output.
michaelnebel Feb 20, 2026
003b539
C#: Streamline the partial implementation for properties and events.
michaelnebel Feb 20, 2026
a255b4f
C#: Update test expected output.
michaelnebel Feb 20, 2026
7de476a
C#: Add change note.
michaelnebel Feb 23, 2026
8488039
python: add tests for guards compared to booleans
yoff Feb 8, 2026
7351e82
python: handle guards compared to boolean literals
yoff Feb 8, 2026
7df44f9
python: add change note
yoff Feb 8, 2026
197ee9b
Revert "Merge pull request #21208 from jketema/jketema/softfloat"
jketema Feb 24, 2026
61d809b
Rust: Add another type inference test
hvitved Feb 24, 2026
f9869da
Address review comments
hvitved Feb 24, 2026
15af6c1
C++: Provide barrier node API without the unit column when instantiat…
MathiasVP Feb 24, 2026
0947323
Merge pull request #21359 from jketema/jketema/softfloat-revert
jketema Feb 24, 2026
d36350a
C++: Add change note.
MathiasVP Feb 24, 2026
ea9e4b3
C++: Make a test slightly more verbose to catch this issue in the fut…
MathiasVP Feb 24, 2026
3e2f6e5
Merge pull request #21351 from michaelnebel/csharp/fixpartialmethod
michaelnebel Feb 24, 2026
c5e1f0c
C#: Update partial tests and expected output.
michaelnebel Feb 17, 2026
884c616
C#: Add dataflow test for partial constructors.
michaelnebel Feb 17, 2026
ae5ab9c
C#: Partial constructor declaration support.
michaelnebel Feb 17, 2026
113565b
C#: Update test expected output.
michaelnebel Feb 17, 2026
06a8fd0
C#: Add change-note.
michaelnebel Feb 24, 2026
f107235
Update change note
tausbn Feb 24, 2026
6bfb1e1
Merge pull request #21344 from github/tausbn/python-remove-points-to-…
tausbn Feb 24, 2026
8769059
Rust: Remove another call to neutralModel we don't need to make expli…
geoffw0 Feb 24, 2026
266130b
Merge pull request #21360 from microsoft/unbreak-changes
MathiasVP Feb 24, 2026
018674c
Merge pull request #21333 from hvitved/rust/type-inference-restrict-r…
hvitved Feb 25, 2026
de9b1ad
Rust: Unify logic in `MethodResolution`; remove `TypeQualifierIsInsta…
hvitved Feb 19, 2026
f0e665d
Merge pull request #21349 from asgerf/mobx-wrapper
asgerf Feb 25, 2026
e0ab5ce
JS: Emit variables for 'this'
asgerf Feb 25, 2026
42e41c5
Go: fix standalone build of the Go extractor
redsun82 Feb 25, 2026
5b5dc9c
Bazel: load `rules_cc` explicitly
redsun82 Feb 25, 2026
968856e
Merge pull request #21371 from github/redsun82/fix-local-go-builds
redsun82 Feb 25, 2026
15a2575
Merge branch 'main' into redsun82/load-cc-explicitly
redsun82 Feb 25, 2026
4d0c72e
Bazel: add explicit `rules_shell` load
redsun82 Feb 25, 2026
ccc3181
Rust: Add an empty.model.yml similar to the one in CPP, to avoid erro…
geoffw0 Feb 25, 2026
1213369
Rust: Add test cases for log injection with map.
geoffw0 Jan 23, 2026
4e4d055
Merge pull request #21373 from github/redsun82/load-cc-explicitly
redsun82 Feb 25, 2026
5523b5e
Merge pull request #21271 from geoffw0/neutralmodels
geoffw0 Feb 25, 2026
c4f8748
Python: simplify barrier guard
yoff Feb 25, 2026
9b9c930
Python: simplify logic, suggested in review
yoff Feb 25, 2026
97f7a26
Rust: Add test cases for log injection + uncontrolled allocation size…
geoffw0 Feb 25, 2026
53e8863
Rust: Add a neutral model of Option::map (so that we don't use the ge…
geoffw0 Feb 3, 2026
5c108e5
Rust: Add a manual model for flow through Option::map.
geoffw0 Feb 3, 2026
75fea42
Rust: Add neutral models of From::from (corresponding with existing g…
geoffw0 Feb 26, 2026
75ffb5f
Rust: Change note.
geoffw0 Feb 26, 2026
78f855d
Rust: Make the manual model for Option::map more accurate.
geoffw0 Feb 26, 2026
cfbae50
Python: convert barrier guard to MaD
yoff Feb 26, 2026
89e5a9b
Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPubl…
yoff Feb 26, 2026
478f56b
Rust: Move the existing 'alloc' neutral models into alloc.model.yml.
geoffw0 Feb 26, 2026
f2dc585
Rust: Convert split_off QL-defined barrier to a neutral model (which …
geoffw0 Feb 26, 2026
96a06be
Rust: Accept consistency check changes.
geoffw0 Feb 26, 2026
ec0b90f
Rust: Simplify with the Copilot suggestions.
geoffw0 Feb 26, 2026
11a726d
Address review comments
hvitved Feb 26, 2026
4280d35
Merge pull request #21366 from hvitved/rust/type-inference-unify-meth…
hvitved Feb 26, 2026
062fbf2
Rust: Accept consistency check changes from CI.
geoffw0 Feb 26, 2026
600f585
Merge pull request #21296 from yoff/python/bool-comparison-guards
yoff Feb 26, 2026
4a3b86c
JS: Update test output
asgerf Feb 27, 2026
f0f58da
JS: Also emit 'this' variable for class scopes
asgerf Feb 27, 2026
0f2de46
JS: Emit variable bindings for 'this' expressions
asgerf Feb 27, 2026
c673bd9
JS: Document a missing alert due to limitation in structural comparison
asgerf Feb 27, 2026
71fb6bf
JS: Mark corresponding lost result for the getter
asgerf Feb 27, 2026
47895b3
JS: Update test for UniquePropertyNames test
asgerf Feb 27, 2026
d440b5f
JS: Update TRAP files
asgerf Feb 27, 2026
155e21e
C++ overlays: Tweak dbscheme
igfoo Feb 12, 2026
ab94524
Cfg: Address review comments.
aschackmull Feb 27, 2026
b9595d9
C++: Create a new file.
MathiasVP Feb 27, 2026
271a759
C++: Move 'TIRDataFlowNode'.
MathiasVP Feb 27, 2026
09d74a3
C++: Move 'CanonicalField' stuff.
MathiasVP Feb 27, 2026
87478d0
C++: Move 'FieldAddress' and 'conversionFlow'.
MathiasVP Feb 27, 2026
edde414
C++: Move 'Node' into the public module.
MathiasVP Feb 27, 2026
6e0c561
C++: Move a bunch non-public dataflow node subtypes.
MathiasVP Feb 27, 2026
86bd0c0
C++: Move a bunch of newtypes and predicates into a cached module.
MathiasVP Feb 27, 2026
f223c95
C++: Cache 'toString' and 'getLocation'.
MathiasVP Feb 27, 2026
d804fc5
C++: Remove the 'ExprFlowCached' module. Instead we have a single cac…
MathiasVP Feb 27, 2026
6661132
C++: No need to keep this in its own module now.
MathiasVP Feb 27, 2026
1eccb8e
C++: Add a cache module to taint-tracking and ensure they happen in t…
MathiasVP Feb 27, 2026
cdb4158
C++: Fix some imports.
MathiasVP Feb 27, 2026
26e8701
C++: Fix a few qualifiers.
MathiasVP Feb 27, 2026
5d75b25
C++: Remove IR re-evaluation.
MathiasVP Feb 26, 2026
17e6fd2
C++: Disable magic to prevent re-evaluation.
MathiasVP Feb 26, 2026
85875c2
C++: Remove unnecessary recursion through Node.toString.
MathiasVP Feb 26, 2026
92f2602
C++: Remove outdated comment.
MathiasVP Feb 27, 2026
1139059
C++: Fix imports.
MathiasVP Feb 27, 2026
db33dad
C++: Add QLDoc. Also actually implement 'uninitializedNode' since the…
MathiasVP Feb 27, 2026
97ed67e
C++ overlay: Update stats
igfoo Feb 27, 2026
bd0d69f
C++: Add up/downgrade scripts
igfoo Feb 27, 2026
f2cc0da
JS: Add upgrade/downgrade scripts but with 'partial' compatibility
asgerf Mar 2, 2026
627654c
Cfg: A few more review tweaks.
aschackmull Mar 2, 2026
e695477
Merge pull request #21290 from aschackmull/cfg/new-shared
aschackmull Mar 2, 2026
7795bad
Release preparation for version 2.24.3
invalid-email-address Mar 2, 2026
df7379c
Apply suggestions from code review
oscarsj Mar 2, 2026
13959ab
Merge pull request #21335 from michaelnebel/csharp14/partialconstrucs…
michaelnebel Mar 2, 2026
ea1fc43
C#: Add data flow test for struct.
michaelnebel Feb 27, 2026
4e63b83
C#: Add struct source model example.
michaelnebel Feb 27, 2026
ec7e6e8
C#: Add post-update nodes for arguments of struct type.
michaelnebel Feb 27, 2026
a3d15db
C#: Update test expected output for new tests.
michaelnebel Feb 27, 2026
8380474
C#: Update other test expected output.
michaelnebel Feb 27, 2026
319e3d1
C#: Add change-note.
michaelnebel Mar 2, 2026
7d30e3c
Merge pull request #21401 from github/release-prep/2.24.3
oscarsj Mar 2, 2026
16cd3a8
Merge pull request #21399 from igfoo/igfoo/star_ids_trap_tags_ql
igfoo Mar 2, 2026
e152f08
Post-release preparation for codeql-cli-2.24.3
invalid-email-address Mar 2, 2026
bb5bfda
Rust: Update the models.
geoffw0 Mar 3, 2026
a2f45f1
Merge pull request #21383 from michaelnebel/csharp/postupdatenoderest…
michaelnebel Mar 3, 2026
f02abb3
Cfg: Handle ExprStmt and BlockStmt in defaultStep.
aschackmull Mar 3, 2026
d9ea78b
Cfg: Step directly from a failed case guard to the next case.
aschackmull Mar 3, 2026
daefd59
Java: Accept CFG diff.
aschackmull Mar 3, 2026
8807217
C#: Add implicit conversion operator taint example.
michaelnebel Mar 3, 2026
13ce515
Merge pull request #21402 from github/post-release-prep/codeql-cli-2.…
oscarsj Mar 3, 2026
93a28cb
C#: Add default (reverse update) taint step from implicit operator ca…
michaelnebel Mar 2, 2026
cfd4be6
C#: Update test expected output.
michaelnebel Mar 3, 2026
fe032a5
Java: Update dbscheme to make @assignment a @binaryexpr.
aschackmull Mar 3, 2026
6a904ed
Merge pull request #21390 from MathiasVP/less-reevaluation-4
MathiasVP Mar 3, 2026
4e2a93d
C#: Remove comment.
michaelnebel Mar 4, 2026
a604a68
C#: Add change-note.
michaelnebel Mar 4, 2026
189c160
Data flow: Add `FeatureEscapesSourceCallContext(OrEqualSourceSinkCall…
hvitved Mar 4, 2026
18d2f58
Rust: Update `AccessAfterLifetime` query to use `FeatureEscapesSource…
hvitved Mar 4, 2026
4474e25
Add change note
hvitved Mar 4, 2026
ad5ab9f
Gaurds: Improve perf of forall in guardDeterminesPhiInput.
aschackmull Mar 4, 2026
2782d90
Merge pull request #21403 from aschackmull/cfg/tweaks
aschackmull Mar 4, 2026
370c515
Merge branch 'main' into mapfix
geoffw0 Mar 4, 2026
fbf40ef
Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTracki…
michaelnebel Mar 4, 2026
219ea28
Merge pull request #21400 from michaelnebel/csharp/implicitconversion…
michaelnebel Mar 4, 2026
b7992ed
C#: Add test.
MathiasVP Feb 26, 2026
83155df
C#: Add 'System.Net.WebSockets.ReceiveAsync' flow source.
MathiasVP Feb 26, 2026
088913d
C#: Accept test changes.
MathiasVP Mar 4, 2026
2357ef0
C#: Add change note.
MathiasVP Mar 4, 2026
ef345a3
Java: Inline expectation should have space after $
owen-mc Mar 3, 2026
05a77a2
Java: Update test expectations
owen-mc Mar 3, 2026
d4ba2d6
Go: Inline expectation should have space after $
owen-mc Mar 3, 2026
b475f14
Replace `// $:tag` with `// $ tag` in 2 tests
owen-mc Mar 4, 2026
badfa1a
C++: Inline expectation should have space after $
owen-mc Mar 4, 2026
45eb149
C#: Inline expectation should have space after $
owen-mc Mar 4, 2026
0eccd90
js: Inline expectation should have space after $
owen-mc Mar 4, 2026
5a97348
python: Inline expectation should have space after $
owen-mc Mar 4, 2026
6001c73
Ruby: Inline expectation should have space after $
owen-mc Mar 4, 2026
3c129fc
Java: Align BinaryExpr.getOp() with AssignOp.getOp().
aschackmull Mar 4, 2026
f8f8991
C#: Accept more test changes.
MathiasVP Mar 4, 2026
ddebdad
c++: Inline expectation should have space before $
owen-mc Mar 4, 2026
f41c30e
java: Inline expectation should have space before $
owen-mc Mar 4, 2026
ea30f02
js: Inline expectation should have space before $
owen-mc Mar 4, 2026
91b6801
py: Inline expectation should have space before $
owen-mc Mar 4, 2026
1950fd3
Ruby: Inline expectation should have space before $
owen-mc Mar 4, 2026
db491fc
Address review comments
hvitved Mar 4, 2026
501485b
Update library to require space after $
owen-mc Mar 4, 2026
aa28c94
Remove double space after $ in inline expectations tests
owen-mc Mar 4, 2026
99a4fe4
Update expected test output column numbers
owen-mc Mar 4, 2026
2b31114
Add space before $ in xml test file
owen-mc Mar 4, 2026
5b30e94
Merge pull request #21410 from MathiasVP/add-WebSocket-ReceiveAsync-m…
MathiasVP Mar 4, 2026
1c5afb2
Add changed framework coverage reports
github-actions[bot] Mar 5, 2026
aa7a730
C#: Remove some unnecessary TCs
hvitved Feb 19, 2026
212374b
C#: Replace a recursive predicate with `doublyBoundedFastTc`
hvitved Mar 4, 2026
e22d3a1
Sync files
hvitved Mar 4, 2026
acd6f41
C#: Avoid computing full TC in `DangerousNonShortCircuitLogic.ql`
hvitved Mar 5, 2026
f389832
Merge pull request #21413 from github/workflow/coverage/update
hvitved Mar 5, 2026
b5bf1c5
Merge pull request #21404 from hvitved/dataflow/no-enclosing-stack-fl…
hvitved Mar 5, 2026
37a8fc8
Guards: Use unique aggregate.
aschackmull Mar 5, 2026
ec1d034
Java: Make Assignment extend BinaryExpr.
aschackmull Mar 4, 2026
ea77c0d
Java: Add change note.
aschackmull Mar 4, 2026
c82f756
Add change notes
owen-mc Mar 5, 2026
9bf4262
Add `/rerun` slash command for failed internal checks
redsun82 Mar 5, 2026
926725a
Merge pull request #21405 from owen-mc/java/consistent-inline-expecta…
owen-mc Mar 5, 2026
3e7a966
Merge pull request #21408 from aschackmull/guards/perf-tweak
aschackmull Mar 5, 2026
63c71b4
Add model validation for constructor summary models
owen-mc Mar 5, 2026
579c871
Fix incorrect constructor summary models
owen-mc Mar 5, 2026
e6996ea
Add model validation for constructor summary models
owen-mc Mar 5, 2026
8ef4be4
Merge pull request #21412 from aschackmull/java/binary-assignment
aschackmull Mar 5, 2026
c9fa7fa
Merge pull request #21369 from asgerf/js/this-bindings
asgerf Mar 5, 2026
ffa5110
C#: Update dbscheme to make assignments part of binary expressions.
aschackmull Mar 5, 2026
92a7190
Update models in test output
owen-mc Mar 5, 2026
d9ef9f8
C#: Make Assignment extend BinaryOperation.
aschackmull Mar 5, 2026
eb81743
Swift: Update to Swift 6.2.4
jketema Mar 5, 2026
3c36a9e
Correctly deal with generic types
owen-mc Mar 5, 2026
838f3b9
Rust: Add type inference test
hvitved Mar 5, 2026
ff41917
Rust: More conservative resolution of `<Foo as Bar<...>>` paths
hvitved Mar 5, 2026
0561a63
Python: Add test for overloaded `__init__` resolution
tausbn Mar 5, 2026
fa61f6f
Python: Model `@typing.overload` in method resolution
tausbn Mar 5, 2026
66ca10c
Python: Add change note
tausbn Mar 5, 2026
feb45e5
Merge pull request #21348 from hvitved/csharp/remove-tcs
hvitved Mar 6, 2026
76346ec
Merge pull request #21417 from aschackmull/csharp/binary-assignment
aschackmull Mar 6, 2026
e96ba48
Merge pull request #21415 from owen-mc/java/validate-constructor-summ…
owen-mc Mar 6, 2026
a3e9aed
Merge pull request #21416 from owen-mc/csharp/validate-constructor-su…
owen-mc Mar 6, 2026
f3dc041
Swift: update artifacts
jketema Mar 6, 2026
70c1b58
Swift: Remove overrides
jketema Mar 6, 2026
2340369
Swift: Add change note
jketema Mar 6, 2026
84bef5d
Merge pull request #21420 from hvitved/rust/type-inference-qualified-…
hvitved Mar 6, 2026
3b9eba2
Merge branch 'main' of https://github.com/github/codeql into oscarsj/…
oscarsj Mar 6, 2026
a6de855
Merge pull request #21423 from github/oscarsj/merge-back-rc-3.21
oscarsj Mar 6, 2026
fd7093e
Merge pull request #21375 from geoffw0/mapfix
geoffw0 Mar 6, 2026
d81b9aa
Merge branch 'main' into splitoff2
geoffw0 Mar 6, 2026
8bbb0ec
Merge pull request #21418 from github/jketema/swift-6.2.4
jketema Mar 6, 2026
63e8061
Add model validation for constructor summary models
owen-mc Mar 7, 2026
097681e
Update cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
owen-mc Mar 7, 2026
be9c1d0
Merge pull request #21376 from geoffw0/splitoff2
geoffw0 Mar 9, 2026
c5360ba
Python: Fix bad join in method call order computation
tausbn Mar 9, 2026
f2bad1e
Python: Improve docstring and make predicate private
tausbn Mar 9, 2026
512e271
Make new predicate private
owen-mc Mar 9, 2026
d8007a8
Java: Make corresponding predicate private
owen-mc Mar 9, 2026
e0e5319
C#: Make corresponding predicate private
owen-mc Mar 9, 2026
4013f00
C#: Disentangle SwitchStmt AST and CFG.
aschackmull Mar 9, 2026
5d74ad5
Merge pull request #21419 from github/tausbn/python-improve-overloade…
tausbn Mar 9, 2026
46ba1f9
Bump zstd from 1.5.5.bcr.1 to 1.5.7.bcr.1
dependabot[bot] Mar 9, 2026
97e1c96
Bump abseil-cpp from 20240116.1 to 20260107.1
dependabot[bot] Mar 9, 2026
69ed88b
Bump rules_python from 0.40.0 to 1.9.0
dependabot[bot] Mar 9, 2026
fde51e0
Merge pull request #21436 from github/dependabot/bazel/rules_python-1…
redsun82 Mar 9, 2026
a7e426d
Merge pull request #21432 from github/dependabot/bazel/zstd-1.5.7.bcr.1
redsun82 Mar 9, 2026
afb2243
Merge pull request #21433 from github/dependabot/bazel/abseil-cpp-202…
redsun82 Mar 9, 2026
dbb8bb8
C++: Small simplification
igfoo Mar 9, 2026
219fe03
Merge pull request #21430 from aschackmull/csharp/switch-ast-simplify
aschackmull Mar 10, 2026
35ac66d
Cfg: Move getCaseControlFlowOrder to shared code.
aschackmull Mar 10, 2026
0215ea3
Merge pull request #21426 from owen-mc/cpp/validate-constructor-summa…
owen-mc Mar 10, 2026
edf88b3
Cfg: Move Case.getBodyElement to shared code.
aschackmull Mar 10, 2026
77d4f5a
Cfg: Update fallsThrough default.
aschackmull Mar 10, 2026
efa797a
Update shared/controlflow/codeql/controlflow/ControlFlowGraph.qll
aschackmull Mar 10, 2026
c734974
Bump rules_android from 0.6.4 to 0.7.1
dependabot[bot] Mar 10, 2026
093d36e
Bump googletest from 1.14.0.bcr.1 to 1.17.0.bcr.2
dependabot[bot] Mar 10, 2026
b631138
Bump rules_shell from 0.5.0 to 0.6.1
dependabot[bot] Mar 10, 2026
6a6bb5e
Merge pull request #21441 from aschackmull/cfg/switch-sharing
aschackmull Mar 10, 2026
017b6f2
Merge pull request #21414 from github/redsun82/rerun-slash-command
redsun82 Mar 10, 2026
a5f23ad
Revert "Add `/rerun` slash command for failed internal checks"
redsun82 Mar 10, 2026
9bf1072
Merge pull request #21447 from github/revert-21414-redsun82/rerun-sla…
redsun82 Mar 10, 2026
3c3c58b
Merge pull request #21443 from github/dependabot/bazel/rules_android-…
redsun82 Mar 10, 2026
341059d
Merge pull request #21437 from igfoo/igfoo/onemk
igfoo Mar 10, 2026
267a46d
Merge pull request #21445 from github/dependabot/bazel/rules_shell-0.6.1
redsun82 Mar 10, 2026
79499c2
Merge pull request #21444 from github/dependabot/bazel/googletest-1.1…
redsun82 Mar 10, 2026
5a65282
Merge pull request #21429 from github/tausbn/fix-bad-join-in-method-c…
tausbn Mar 10, 2026
097e96c
Manual merge of codeql-cli/latest
ropwareJB Mar 11, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
4 changes: 3 additions & 1 deletion .bazelrc
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,8 @@ build --compilation_mode opt
common --override_module=semmle_code=%workspace%/misc/bazel/semmle_code_stub

build --repo_env=CC=clang --repo_env=CXX=clang++
# Disable Android SDK auto-detection (we don't use it, and rules_android has Bazel 9 compatibility issues)
build --repo_env=ANDROID_HOME=

# print test output, like sembuild does.
# Set to `errors` if this is too verbose.
Expand All @@ -34,7 +36,7 @@ common --@rules_dotnet//dotnet/settings:strict_deps=false
common --@rules_rust//rust/toolchain/channel=nightly

# Reduce this eventually to empty, once we've fixed all our usages of java, and https://github.com/bazel-contrib/rules_go/issues/4193 is fixed
common --incompatible_autoload_externally="+@rules_java,+@rules_shell"
common --incompatible_autoload_externally="+@rules_cc,+@rules_java,+@rules_shell"

build --java_language_version=17
build --tool_java_language_version=17
Expand Down
2 changes: 1 addition & 1 deletion .bazelversion
Original file line number Diff line number Diff line change
@@ -1 +1 @@
8.4.2
9.0.0
73 changes: 42 additions & 31 deletions MODULE.bazel
Original file line number Diff line number Diff line change
Expand Up @@ -15,21 +15,23 @@ local_path_override(
# see https://registry.bazel.build/ for a list of available packages

bazel_dep(name = "platforms", version = "1.0.0")
bazel_dep(name = "rules_go", version = "0.56.1")
bazel_dep(name = "rules_cc", version = "0.2.16")
bazel_dep(name = "rules_go", version = "0.59.0")
bazel_dep(name = "rules_java", version = "9.0.3")
bazel_dep(name = "rules_pkg", version = "1.0.1")
bazel_dep(name = "rules_nodejs", version = "6.2.0-codeql.1")
bazel_dep(name = "rules_python", version = "0.40.0")
bazel_dep(name = "rules_shell", version = "0.5.0")
bazel_dep(name = "rules_nodejs", version = "6.7.3")
bazel_dep(name = "rules_python", version = "1.9.0")
bazel_dep(name = "rules_shell", version = "0.6.1")
bazel_dep(name = "bazel_skylib", version = "1.8.1")
bazel_dep(name = "abseil-cpp", version = "20240116.1", repo_name = "absl")
bazel_dep(name = "abseil-cpp", version = "20260107.1", repo_name = "absl")
bazel_dep(name = "nlohmann_json", version = "3.11.3", repo_name = "json")
bazel_dep(name = "fmt", version = "12.1.0-codeql.1")
bazel_dep(name = "rules_kotlin", version = "2.2.0-codeql.1")
bazel_dep(name = "gazelle", version = "0.40.0")
bazel_dep(name = "rules_kotlin", version = "2.2.2-codeql.1")
bazel_dep(name = "gazelle", version = "0.47.0")
bazel_dep(name = "rules_dotnet", version = "0.21.5-codeql.1")
bazel_dep(name = "googletest", version = "1.14.0.bcr.1")
bazel_dep(name = "rules_rust", version = "0.66.0")
bazel_dep(name = "zstd", version = "1.5.5.bcr.1")
bazel_dep(name = "googletest", version = "1.17.0.bcr.2")
bazel_dep(name = "rules_rust", version = "0.68.1.codeql.1")
bazel_dep(name = "zstd", version = "1.5.7.bcr.1")

bazel_dep(name = "buildifier_prebuilt", version = "6.4.0", dev_dependency = True)

Expand All @@ -41,7 +43,7 @@ RUST_EDITION = "2024"
# a nightly toolchain is required to enable experimental_use_cc_common_link, which we require internally
# we prefer to run the same version as internally, even if experimental_use_cc_common_link is not really
# required in this repo
RUST_VERSION = "nightly/2025-08-01"
RUST_VERSION = "nightly/2026-01-22"

rust = use_extension("@rules_rust//rust:extensions.bzl", "rust")
rust.toolchain(
Expand All @@ -53,26 +55,26 @@ rust.toolchain(
],
# generated by buildutils-internal/scripts/fill-rust-sha256s.py (internal repo)
sha256s = {
"2025-08-01/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz": "9bbeaf5d3fc7247d31463a9083aa251c995cc50662c8219e7a2254d76a72a9a4",
"2025-08-01/rustc-nightly-x86_64-apple-darwin.tar.xz": "c9ea539a8eff0d5d162701f99f9e1aabe14dd0dfb420d62362817a5d09219de7",
"2025-08-01/rustc-nightly-aarch64-apple-darwin.tar.xz": "ae83feebbc39cfd982e4ecc8297731fe79c185173aee138467b334c5404b3773",
"2025-08-01/rustc-nightly-x86_64-pc-windows-msvc.tar.xz": "9f170c30d802a349be60cf52ec46260802093cb1013ad667fc0d528b7b10152f",
"2025-08-01/clippy-nightly-x86_64-unknown-linux-gnu.tar.xz": "9ae5f3cd8f557c4f6df522597c69d14398cf604cfaed2b83e767c4b77a7eaaf6",
"2025-08-01/clippy-nightly-x86_64-apple-darwin.tar.xz": "983cb9ee0b6b968188e04ab2d33743d54764b2681ce565e1b3f2b9135c696a3e",
"2025-08-01/clippy-nightly-aarch64-apple-darwin.tar.xz": "ed2219dbc49d088225e1b7c5c4390fa295066e071fddaa2714018f6bb39ddbf0",
"2025-08-01/clippy-nightly-x86_64-pc-windows-msvc.tar.xz": "911f40ab5cbdd686f40e00965271fe47c4805513a308ed01f30eafb25b448a50",
"2025-08-01/cargo-nightly-x86_64-unknown-linux-gnu.tar.xz": "106463c284e48e4904c717471eeec2be5cc83a9d2cae8d6e948b52438cad2e69",
"2025-08-01/cargo-nightly-x86_64-apple-darwin.tar.xz": "6ad35c40efc41a8c531ea43235058347b6902d98a9693bf0aed7fc16d5590cef",
"2025-08-01/cargo-nightly-aarch64-apple-darwin.tar.xz": "dd28c365e9d298abc3154c797720ad36a0058f131265c9978b4c8e4e37012c8a",
"2025-08-01/cargo-nightly-x86_64-pc-windows-msvc.tar.xz": "7b431286e12d6b3834b038f078389a00cac73f351e8c3152b2504a3c06420b3b",
"2025-08-01/llvm-tools-nightly-x86_64-unknown-linux-gnu.tar.xz": "e342e305d7927cc288d386983b2bc253cfad3776b113386e903d0b302648ef47",
"2025-08-01/llvm-tools-nightly-x86_64-apple-darwin.tar.xz": "e44dd3506524d85c37b3a54bcc91d01378fd2c590b2db5c5974d12f05c1b84d1",
"2025-08-01/llvm-tools-nightly-aarch64-apple-darwin.tar.xz": "0c1b5f46dd81be4a9227b10283a0fcaa39c14fea7e81aea6fd6d9887ff6cdc41",
"2025-08-01/llvm-tools-nightly-x86_64-pc-windows-msvc.tar.xz": "423e5fd11406adccbc31b8456ceb7375ce055cdf45e90d2c3babeb2d7f58383f",
"2025-08-01/rust-std-nightly-x86_64-unknown-linux-gnu.tar.xz": "3c0ceb46a252647a1d4c7116d9ccae684fa5e42aaf3296419febd2c962c3b41d",
"2025-08-01/rust-std-nightly-x86_64-apple-darwin.tar.xz": "3be416003cab10f767390a753d1d16ae4d26c7421c03c98992cf1943e5b0efe8",
"2025-08-01/rust-std-nightly-aarch64-apple-darwin.tar.xz": "4046ac0ef951cb056b5028a399124f60999fa37792eab69d008d8d7965f389b4",
"2025-08-01/rust-std-nightly-x86_64-pc-windows-msvc.tar.xz": "191ed9d8603c3a4fe5a7bbbc2feb72049078dae2df3d3b7d5dedf3abbf823e6e",
"2026-01-22/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz": "88db619323cc1321630d124efa51ed02fabc5e020f08cfa0eda2c0ac1afbe69a",
"2026-01-22/rustc-nightly-x86_64-apple-darwin.tar.xz": "08484da3fa38db56f93629aeabdc0ae9ff8ed9704c0792d35259cbc849b3f54c",
"2026-01-22/rustc-nightly-aarch64-apple-darwin.tar.xz": "a39c0b21b7058e364ea1bd43144e42e4bf1efade036b2e82455f2afce194ee81",
"2026-01-22/rustc-nightly-x86_64-pc-windows-msvc.tar.xz": "d00248ee9850dbb6932b2578e32ff74fc7c429854c1aa071066ca31b65385a3b",
"2026-01-22/clippy-nightly-x86_64-unknown-linux-gnu.tar.xz": "70656a0ce994ffff16d5a35a7b170a0acd41e9bb54a589c96ed45bf97b094a4d",
"2026-01-22/clippy-nightly-x86_64-apple-darwin.tar.xz": "fe242519fa961522734733009705aec3c2d9a20cc57291f2aa614e5e6262c88f",
"2026-01-22/clippy-nightly-aarch64-apple-darwin.tar.xz": "38bb226363ec97c9722edf966cd58774a683e19fd2ff2a6030094445d51e06f9",
"2026-01-22/clippy-nightly-x86_64-pc-windows-msvc.tar.xz": "6da9b4470beea67abfebf046f141eee0d2a8db7c7a9e4e2294478734fd477228",
"2026-01-22/cargo-nightly-x86_64-unknown-linux-gnu.tar.xz": "99004e9d10c43a01499642f53bb3184d41137a95d65bfb217098840a9e79e892",
"2026-01-22/cargo-nightly-x86_64-apple-darwin.tar.xz": "6e021394cf8d8400ac6cfdfcef24e4d74f988e91eb8028b36de3a64ce3502990",
"2026-01-22/cargo-nightly-aarch64-apple-darwin.tar.xz": "4b2494cb69ab64132cddbc411a38ea9f1105e54d6f986e43168d54f79510c673",
"2026-01-22/cargo-nightly-x86_64-pc-windows-msvc.tar.xz": "c36613cf57407212d10d37b76e49a60ff42336e953cdff9e177283f530a83fc1",
"2026-01-22/llvm-tools-nightly-x86_64-unknown-linux-gnu.tar.xz": "0b123c5027dbd833aae6845ffe9bd07d309bf798746a7176aadaea68fbcbd05d",
"2026-01-22/llvm-tools-nightly-x86_64-apple-darwin.tar.xz": "a47864491ad5619158c950ab7570fb6e487d5117338585c27334d45824b406d8",
"2026-01-22/llvm-tools-nightly-aarch64-apple-darwin.tar.xz": "db9bc826d6e2e7e914505d50157682e516ceb90357e83d77abddc32c2d962f41",
"2026-01-22/llvm-tools-nightly-x86_64-pc-windows-msvc.tar.xz": "ffaa406932b2fe62e01dad61cf4ed34860a5d2a6f9306ca340d79e630d930039",
"2026-01-22/rust-std-nightly-x86_64-unknown-linux-gnu.tar.xz": "e9c0d5e06e18a4b509391b3088f29293e310cdc8ccc865be8fa3f09733326925",
"2026-01-22/rust-std-nightly-x86_64-apple-darwin.tar.xz": "25d75995cee679a4828ca9fe48c5a31a67c3b0846018440ef912e5a6208f53f6",
"2026-01-22/rust-std-nightly-aarch64-apple-darwin.tar.xz": "e4132bf3f2eed4684c86756a02315bcf481c23e675e3e25630fc604c9cb4594c",
"2026-01-22/rust-std-nightly-x86_64-pc-windows-msvc.tar.xz": "961bb535ef95ae8a5fa4e224cb94aff190f155c45a9bcf7a53e184b024aa41b1",
},
versions = [RUST_VERSION],
)
Expand Down Expand Up @@ -188,6 +190,15 @@ pip.parse(
)
use_repo(pip, "codegen_deps")

python = use_extension("@rules_python//python/extensions:python.bzl", "python")
python.toolchain(
is_default = True,
python_version = "3.12",
)
use_repo(python, "python_3_12", "python_versions")

register_toolchains("@python_versions//3.12:all")

swift_deps = use_extension("//swift/third_party:load.bzl", "swift_deps")

# following list can be kept in sync with `bazel mod tidy`
Expand Down
4 changes: 4 additions & 0 deletions actions/ql/lib/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
## 0.4.29

No user-facing changes.

## 0.4.28

No user-facing changes.
Expand Down
3 changes: 3 additions & 0 deletions actions/ql/lib/change-notes/released/0.4.29.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
## 0.4.29

No user-facing changes.
2 changes: 1 addition & 1 deletion actions/ql/lib/codeql-pack.release.yml
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
---
lastReleaseVersion: 0.4.28
lastReleaseVersion: 0.4.29
2 changes: 1 addition & 1 deletion actions/ql/lib/qlpack.yml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: codeql/actions-all
version: 0.4.28
version: 0.4.30-dev
library: true
warnOnImplicitThis: true
dependencies:
Expand Down
4 changes: 4 additions & 0 deletions actions/ql/src/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
## 0.6.21

No user-facing changes.

## 0.6.20

No user-facing changes.
Expand Down
3 changes: 3 additions & 0 deletions actions/ql/src/change-notes/released/0.6.21.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
## 0.6.21

No user-facing changes.
2 changes: 1 addition & 1 deletion actions/ql/src/codeql-pack.release.yml
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
---
lastReleaseVersion: 0.6.20
lastReleaseVersion: 0.6.21
2 changes: 1 addition & 1 deletion actions/ql/src/qlpack.yml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: codeql/actions-queries
version: 0.6.20
version: 0.6.22-dev
library: false
warnOnImplicitThis: true
groups: [actions, queries]
Expand Down
21 changes: 21 additions & 0 deletions cpp/downgrades/770002bb02322e04fa25345838ce6e82af285a0b/in_trap.ql
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
class Element extends @element {
string toString() { none() }
}

class Trap extends @trap {
string toString() { none() }
}

class Tag extends @tag {
string toString() { none() }
}

from Element e, Trap trap
where
in_trap_or_tag(e, trap)
or
exists(Tag tag |
in_trap_or_tag(e, tag) and
trap_uses_tag(trap, tag)
)
select e, trap
Loading
Loading