Skip to content

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
Open

feat(cfg): control-flow graph engine, formal-verification stack, and CFG-backed rules#892
aidenybai wants to merge 13 commits into
mainfrom
cfg-beefup-and-rule-fixes

fix(cfg): correct unconditional-set in infinite loops and self-refere…

df5a163
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar