Go: migrate control flow graph to shared CFG library #2 - #22182

Open

owen-mc wants to merge 51 commits into

github:mainfrom

owen-mc:go/shared-cfg

Commits on Sep 4, 2026

Align old CFG node strings with shared library
owen-mc
committed
a005dd2
Improve redundant recover test coverage
owen-mc
committed
a8374d9
More tests for non-returning functions
owen-mc
committed
6c10b85
Test semantic invalid types in notype test
owen-mc
committed
e0abcd1
Make KeyValueExpr have the same type as its value
owen-mc
committed
16a4ee5
Change mayReturnNormally to mustNotReturnNormally
owen-mc
committed
ec08c06
Distinguish panic and exit in logrus
owen-mc
committed
e607140
Model `logrus.Exit` like `os.Exit`
owen-mc
committed
93f3473
Update two queries so alert locations don't change
owen-mc
committed
53bcf58
Make synthetic RangeElementExpr during extraction
owen-mc
committed
18f705f
Switch to using shared CFG library
owen-mc
committed
1626fa2
Add go/print-cfg
owen-mc
committed
b28c2a3
Add Go CFG consistency query
owen-mc
committed
a5681f5
fold implicit-one operand into incdec-rhs instruction
owen-mc
committed
56be432
fold compound-assign write into the compound-rhs instruction
owen-mc
committed
2992cf9
drop implicit slice-bound nodes
owen-mc
committed
2acbd9a
Merge 'result-init' node into 'result-zero-init'
owen-mc
committed
298d152
Fold implicit literal element index into the lit-init node
owen-mc
committed
66f62d5
Fold uninitialised var-decl zero-init and write into one node
owen-mc
committed
f0a63c4
Fold tuple-destructuring extract and write into one node
owen-mc
committed
430de96
Unify result-zero-init and zero-init node kinds
owen-mc
committed
823b5c7
Simplify zero-init code after unifying result-zero-init
owen-mc
committed
1a2aa36
Unify incdec-rhs into the compound-rhs node kind
owen-mc
committed
d49d8f3
No CFG nodes for subexprs of const exprs
owen-mc
committed
3ca9265
Add change note
owen-mc
committed
0e724aa
Replace IfStmt.getCond with IfStmt.getCondition
owen-mc
committed
0b8f25d
Address review comments
owen-mc
committed
816261a
Add defer CFG edge-case tests
owen-mc
committed
a988fc9
Build defer edges from an early Go CFG
owen-mc
committed
832a96a
Model Go function epilogues in the body CFG
owen-mc
committed
13cfa68
Address more review comments
owen-mc
committed
e7e565b
Change CompoundAssignStmt and IncDecStmt
owen-mc
committed
21548fe
Move `getExpr` to `SwitchExpr`
owen-mc
committed
2a7ba81
Remove/reduce comments
owen-mc
committed
66c53f2
Rename file to ControlFlowGraphImpl.qll
owen-mc
committed
fad07af
Use american spelling
owen-mc
committed
f531531
Add missing qldoc
owen-mc
committed
655c2cd
Update change note
owen-mc
committed
65608bc
Fix non-US spelling
owen-mc
committed
503573b
Change function epilogue CFG
owen-mc
committed
3394940
Remove CFG hook by making CFG for SelectStmt simpler
owen-mc
committed
36f2b90
Remove CFG hook preservesDefaultControlFlow
owen-mc
committed
3e82736
Allow empty switch to be a simple leaf node
owen-mc
committed
43dfa1a
Rename ForeachStmt to ForEachStmt
owen-mc
committed
95c8541
Undo unnecessary code changes
owen-mc
committed
2e175ba
Go: skip extracting ast.ParenExpr nodes

owen-mc
and
Copilot
committed
6345ef9
Go: deprecate ParenExpr and remove all references

owen-mc
and
Copilot
committed
31dd8c1
Accept `invalidAbruptCompletionOrigin` results
owen-mc
committed
f298ef0
Fix `invalidAbruptCompletionOrigin` results
owen-mc
committed
035cbfd
Cfg: Add consistency check for multiple default cases.

aschackmull
authored and
owen-mc
committed
6c6f0a9
Go: restore data flow through pointer assignment targets
owen-mc
committed
c5ffdee