Repository navigation

Unified: captured variables - #22726

Draft

asgerf wants to merge 40 commits into

github:mainfrom

asgerf:unified/captured-variables

Commits on Oct 2, 2026

unified: Add test showing spurious SSA flow
asgerf
committed
3137897
Ssa: Add consistency check for ambiguous read
asgerf
committed
f906f8d
unified: Add consistency check
asgerf
committed
9d8f5e6
ssa: Expose new consistency check from VariableCapture.qll
asgerf
committed
b1b2b20
ssa: Record ambiguousReadNode errors from VariableCapture
asgerf
committed
b2f9e09
ssa: Associate ExprNode with a variable
asgerf
committed
8957cda
ssa: Record absense of ambiguousReadNode errors
asgerf
committed
c084707
unified: Update local SSA consistency output
asgerf
committed
649e8cc
unified: Update unit test output
asgerf
committed
0164aff
unified: Update path-injection output
asgerf
committed
ee7fc86
unified: Mostly restore path-injection results
asgerf
committed
2c637ab

Commits on Oct 5, 2026

ssa: Fix bad join order
asgerf
committed
cbd6d35
unified: Add some tests with captured vars
asgerf
committed
42ed40c
unified: Split Node into "stage 1" and "final stage"
asgerf
committed
7505379
unified: Factor out LocalVariableRefNode
asgerf
committed
6348a8a
unified: Add canonical callable node
asgerf
committed
d2a40ae
unified: Exclude function types from DataFlowCallable
asgerf
committed
0be7e57
unified: Function declaration names belong to the outer scope
asgerf
committed
3bb8efb
unified: Instantiate capture lib and enable consistency queries
asgerf
committed
c575e37
unified: Add Stage2Node
asgerf
committed
234695a
unified: Use local data flow for alias detection
asgerf
committed
d02296c
unified: Add TCaptureSsaNode
asgerf
committed
8b05e52
unified: Add callee param/arg position
asgerf
committed
bbde984
unified: Callee always has a post-update
asgerf
committed
943be77
unified: Generalize receiver nodes to implicit arg/param nodes
asgerf
committed
924f1fb
unified: Add convenience getters
asgerf
committed
ee7a50f
unified: Mapping capture nodes to data flow nodes
asgerf
committed
4cb2415
unified: Add CapturedVariable content
asgerf
committed
976c100
unified: Add CaptureSsa steps and post-updates
asgerf
committed
917f07f
unified: Update debug graph
asgerf
committed
9a46729
unified: Add lambda flow
asgerf
committed
bf20e6b
unified: Add some tests with local function declarations
asgerf
committed
487d165
unified: Add test with local function used before its declaration
asgerf
committed
479aa61
unified: Hoist local functions
asgerf
committed
ba544c5
unified: Add tests with capture declarations
asgerf
committed
ea1c52e
unified: Desugar capture declaration list
asgerf
committed
a97ded0
unified: Update test case
asgerf
committed
91612f2
unified: Fix scoping for capture declarations
asgerf
committed
6aeead3
unified: Simplify with getParentIndex
asgerf
committed
7c82cde
Shared: Force join order in VariableCapture
asgerf
committed
d880379

Unified: captured variables by asgerf · Pull Request #22726 · github/codeql · GitHub

Repository navigation

Unified: captured variables - #22726

Unified: captured variables#22726asgerf wants to merge 40 commits intogithub:maingithub/codeql:mainfrom asgerf:unified/captured-variablesasgerf/codeql:unified/captured-variablesCopy head branch name to clipboard

Commits

Commits on Oct 2, 2026

Commits on Oct 5, 2026

Unified: captured variables#22726
asgerf wants to merge 40 commits into
github:mainfrom
asgerf:unified/captured-variables