FazBrowse GitHub Viewer | Trending | | Home

Tools: [Download Repo ZIP] [Original HTTPS Page]

SSA: Tolerate multiple variables being read at the same CFG node by asgerf · Pull Request #22744 · github/codeql · GitHub

Repository navigation

SSA: Tolerate multiple variables being read at the same CFG node - #22744

Open

asgerf wants to merge 13 commits into

github:mainfrom

asgerf:ssa/multiple-reads-v2

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
ssa: Update some uses of ExprNode to bind the variable
asgerf
committed
32e5525

Back | FazBrowse Home | New Git URL