feat(cfg): intra-procedural REACHING_DEF data-dependence layer (#2082)#2160

Merged

magyargergo merged 20 commits into

abhigyanpatwari:mainfrom

magyargergo:feat/reaching-def-m2

Jun 11, 2026

Commits on Jun 10, 2026

fix(cfg): route early exits through finally with target-relative threading (#2082 U2)
magyargergo
committed
feat(cfg): harvest per-statement def/use facts into the side channel (#2082 U1)
magyargergo
committed
feat(cfg): add reaching-definitions solver with GEN/KILL fixpoint + statement sweep (#2082 U3)
magyargergo
committed
feat(cfg): persist budgeted REACHING_DEF projection with RepoMeta coherence (#2082 U4)
magyargergo
committed
test(cfg): REACHING_DEF snapshot, pipeline both-sinks, and cache-seam coverage (#2082 U5)
magyargergo
committed
bench(cfg): reaching-defs scaling gates — dense-bindings + fact-fanout scenarios (#2082 U6)
magyargergo
committed
fix(mcp): exclude BasicBlock pseudo-symbols from detect_changes on pdg indexes (#2082 U7)
magyargergo
committed
style: prettier pass over M2 files
magyargergo
committed
fix(cfg): review-pass fixes — defKey overflow guard, catch-param block, class defs, intra-statement reads, graceful fact degradation (#2082)
magyargergo
committed
Merge branch 'main' into feat/reaching-def-m2
magyargergo
authored

Commits on Jun 11, 2026