feat(cfg): control-flow graph engine, formal-verification stack, and CFG-backed rules#892

Open

aidenybai wants to merge 13 commits into

mainfrom

cfg-beefup-and-rule-fixes

Commits on Jun 20, 2026

refactor(cfg): extract control-flow graph into @react-doctor/cfg + port oxc no-unreachable corpus (#902)
aidenybai
authored
fix(no-unreleased-resource): shorten title under the 60-char cap
aidenybai
committed

Commits on Jun 21, 2026

fix(no-dead-assignment): eliminate try/catch and loop-carried CFG false positives
aidenybai
committed
fix(language-server): raise hook timeout for windows stdio integration test
aidenybai
committed
perf(cfg): share the analysis layer across rules; de-quadratic the graph passes

rayhanadev
and
claude
committed
fix(no-stale-closure-capture): flag reassignments on early-return branches

rayhanadev
and
claude
committed
test(cfg): add adversarial control-flow corpus for the CFG-backed rules

rayhanadev
and
claude
committed
fix(no-use-before-define): flag self-referential initializer TDZ reads

rayhanadev
and
claude
committed
fix(cfg): correct unconditional-set in infinite loops and self-referential stores

rayhanadev
and
claude
committed