Drop dead AI bindings + retype SVFG def/use-site bindings - #56

Merged

bjjwwang merged 2 commits into

SVF-tools:mainfrom

bjjwwang:fix/drop-removed-defuse-bindings

May 4, 2026

Commits on May 4, 2026

Drop def/use site bindings moved out of AbstractInterpretation

Claude (SVF sync)
and
claude
committed
f4ce4b7
Update SVFG def/use-site bindings to new SVFGNode-typed signatures

Claude (SVF sync)
and
claude
committed
8fb7aba