Add 'View DFG' queries - #21356

Closed

asgerf wants to merge 85 commits into

github:mainfrom

asgerf:view-dfg

Commits on Feb 23, 2026

Prepare to share PrintGraph.qll with DFG viewer
asgerf
committed
9a048c9
Update PrintCfg queries to use new interface
asgerf
committed
dc2c8f3
Add getOrderDisambiguation to signature and use it
asgerf
committed
2017f84
Move PrintGraph to codeql.util
asgerf
committed
71f4436
Refactor 'getASuccessor' to edges/3
asgerf
committed
aa587c0
Add PrintDfg.qll
asgerf
committed
61ae276
Add 'View DFG' queries for JS, Java, Ruby, C#, Rust
asgerf
committed
c236ace

Commits on Feb 24, 2026

C++: Add simple range analysis test with repeated if-else statements

paldepind
authored and
asgerf
committed
2698b44
C++: Include the actual number of lower/upper bounds for added context in expected files

paldepind
authored and
asgerf
committed
09fb85d
C++: Divide nr of bounds between branches for phi nodes

paldepind
authored and
asgerf
committed
0521eb4
C++: Improve clarity in comment

authored and
asgerf
committed
0050ed6
C++: Fix typo

authored and
asgerf
committed
dfe4486
C++: Add more tests for modified years with and without leap year checks (UncheckedLeapYearAfterYearModification). Switch to using 'postprocess' for unit tests.

bdrodes
authored and
asgerf
committed
d2ffb00
C++: Refactor leap year logic for UncheckedLeapYearAfterYearModification. Includes new logic for detecting leap year checks, new forms of leap year checks detected, and various heuristics to remove…

bdrodes
authored and
asgerf
committed
e6c5266
C++. Accept test changes. One false positive introduced, and one false negative remains.

bdrodes
authored and
asgerf
committed
9b2161b
C++: Correct false positive. Only TimeConversionFunction that do not auto correct for leap year should be considered.

bdrodes
authored and
asgerf
committed
84aaafd
C++: Accept test changes.

bdrodes
authored and
asgerf
committed
24c1a61
C++: Add missing DateTime models for PTIME_FIELDS and TIME_FIELDS

bdrodes
authored and
asgerf
committed
cfd00a6
C++: Accept test changes (removing false negative)

bdrodes
authored and
asgerf
committed
59e8c3b
C++: Add change note.

bdrodes
authored and
asgerf
committed
04426ae
C++: Addressing Copilot PR suggestions.

bdrodes
authored and
asgerf
committed
6d1f5c8
C++: Change log missing .md extension.

bdrodes
authored and
asgerf
committed
b6a4b1b
C++: Updating comment per PR reveiw suggestions.

bdrodes
authored and
asgerf
committed
2311d2a
C++: misc comment clean up per PR suggestions. Unified additional flow steps for two similar flows into a common additional step predicate.

bdrodes
authored and
asgerf
committed
7dcd0a4
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
38d67c6
Update cpp/ql/lib/change-notes/2026-02-06-UncheckedLeapYearAfterModification_Refactor.md

authored and
asgerf
committed
2fce632
C++ Suggested code clean up.

bdrodes
authored and
asgerf
committed
9efa4d9
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
9c9c157
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
b8d8611
Apply suggestion from @geoffw0

authored and
asgerf
committed
35b4b75
Apply suggestion from @geoffw0

authored and
asgerf
committed
3b17084
Apply suggestion from @geoffw0

authored and
asgerf
committed
0839f43
C++: Removing unnecessary post update node.

bdrodes
authored and
asgerf
committed
f846daf
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
ddb116e
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
ca433e0
Apply suggestion from @geoffw0

authored and
asgerf
committed
cb16d0b
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
6748a1f
Update cpp/ql/src/Likely Bugs/Leap Year/UncheckedLeapYearAfterYearModification.ql

authored and
asgerf
committed
7f1d04b
Apply suggestion from @bdrodes

bdrodes
authored and
asgerf
committed
49c2e09
Address more non-ascii characters.

geoffw0
authored and
asgerf
committed
cab1081
C++: Fixing FP in unit tests.

bdrodes
authored and
asgerf
committed
1cb3b62
chore: upgrade Bazel to 9.0.0

redsun82
authored and
asgerf
committed
0f3bd28
feat: add rules_cc and rules_java module dependencies

redsun82
authored and
asgerf
committed
2b4afa3
feat: add Python 3.12 toolchain registration

redsun82
authored and
asgerf
committed
46d76f4
feat: add rules_cc to autoload configuration

redsun82
authored and
asgerf
committed
f4b9021
refactor: migrate Starlark files to explicit rules_cc imports

redsun82
authored and
asgerf
committed
dd6da08
refactor: migrate BUILD files to explicit rules_cc imports

redsun82
authored and
asgerf
committed
8bf9f23
refactor: migrate BUILD files to explicit rules_java imports

redsun82
authored and
asgerf
committed
05490b9
refactor: migrate C++ runfiles API from bazel_tools to rules_cc

redsun82
authored and
asgerf
committed
29b0616
fix: disable Android SDK auto-detection for Bazel 9 compatibility

redsun82
authored and
asgerf
committed
06a077b
fix: upgrade rules_kotlin to 2.2.2 for Windows compatibility

redsun82
authored and
asgerf
committed
d4ed4f5
fix: sort use_repo alphabetically in rules_kotlin MODULE.bazel

redsun82
authored and
asgerf
committed
c584895
address review

redsun82
authored and
asgerf
committed
782c05f
Python: Add overlay annotations to AST classes

tausbn
authored and
asgerf
committed
5bd670c
Python: Fix broken queries

tausbn
authored and
asgerf
committed
7aea5b6
Python: Simple dataflow annotations

tausbn
authored and
asgerf
committed
d108ce8
Python: `LocalSources.qll` annotations

tausbn
authored and
asgerf
committed
474535b
Python: `DataFlowPublic.qll` annotations

tausbn
authored and
asgerf
committed
c7f4787
Python: `DataFlowPrivate.qll` annotations

tausbn
authored and
asgerf
committed
d76b786
Python: `DataFlowDispatch.qll` annotations

tausbn
authored and
asgerf
committed
972b637
Python: Fix `frameworks/data/warnings.ql`

tausbn
authored and
asgerf
committed
24e134a
Python: Add more `overlay[caller]` to `Flow.qll`

tausbn
authored and
asgerf
committed
876fe05
Python: Fix bad join in `OutgoingRequestCall`

tausbn
authored and
asgerf
committed
b9e8e5a
Python: Fix bad join in `missing_imported_module`

tausbn
authored and
asgerf
committed
2d6dec9
Python: Fix bad join in `returnStep`

tausbn
authored and
asgerf
committed
47c77ef
Python: Add change note

tausbn
authored and
asgerf
committed
16de6a7
Accept MaD sanitizers for queries with MaD sinks

owen-mc
authored and
asgerf
committed
d43969a
Change how sql-injection barriers are accepted

owen-mc
authored and
asgerf
committed
e6fe4bf
Improve Mysql2 test

owen-mc
authored and
asgerf
committed
6341535
Move Mysql2 flow model to MaD and remove ql sanitizer

owen-mc
authored and
asgerf
committed
3e83a53
Reinstate Mysql2 sanitizer in MaD

owen-mc
authored and
asgerf
committed
0200e12
Improve Sqlite3 test

owen-mc
authored and
asgerf
committed
01a9b61
Move SQLite3 flow model to MaD and remove ql sanitizer

owen-mc
authored and
asgerf
committed
d7c8b9a
Reinstate SQLite3 sanitizer in MaD

owen-mc
authored and
asgerf
committed
b4ec560
Remove Shellwords sanitizer in ql

owen-mc
authored and
asgerf
committed
fb21533
Model flow through Shellwords escape and shellescape

owen-mc
authored and
asgerf
committed
5b3737e
Add MaD barriers for Shellwords.escape and shellescape

owen-mc
authored and
asgerf
committed
23ac9fc
Reinstate ql model for `String#shellescape`

owen-mc
authored and
asgerf
committed
f4cacc3
Add change note

owen-mc
authored and
asgerf
committed
36848cf
Update other test in same folder

owen-mc
authored and
asgerf
committed
1ee2534
Update taintstep test for models becoming MaD

owen-mc
authored and
asgerf
committed
8925535
Use postprocessing queries for unrelated test

owen-mc
authored and
asgerf
committed
03e4dfd
C++: Update expected test results after extractor changes

jketema
authored and
asgerf
committed
b01efe1
fixup JS
asgerf
committed
b6614c0
Update some tests
asgerf
committed
7b83da4