v2 Stage 4: L4 interprocedural SDG + Scalpel oracle - #81

Closed

rahlk wants to merge 9 commits into

feat/v2-stage3-l3from

feat/v2-stage4-l4

Commits on Jul 7, 2026

feat(dataflow): ScalpelAliasOracle (primary L4) + TypeBasedAliasOracle fallback selector
rahlk
committed
b8812b3

Commits on Jul 9, 2026

feat(dataflow): IdentityMap local/global ids for L4 param vertices
rahlk
committed
a165c77

Commits on Jul 13, 2026

feat(dataflow): L4 emission — param vertices, summary, param_in/param_out (Scalpel oracle)
rahlk
committed
8500d64
feat(dataflow): semantic ddg delta (prov points-to) at L4
rahlk
committed
9af8e3e
feat(cli): expose -a 4; --graphs sdg valid at L4
rahlk
committed
7fba9bd
feat(neo4j): L4 param/summary overlay + PY_DDG.prov
rahlk
committed
254151e
test(dataflow): migrate + un-skip sdg/slicing suites to v2
rahlk
committed
f27e722
test(dataflow): L4 conformance (prov/arity/no-dangling) + L3⊆L4 + summary gate
rahlk
committed
875a6a3

Commits on Jul 14, 2026

fix(dataflow): idempotent L4 emission under cache reuse (reset summary/param/points-to)
rahlk
committed
ee1dcf9