Repository navigation

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

Closed

v2 Stage 4: L4 interprocedural SDG + Scalpel oracle#81
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
Commits on Jul 14, 2026
- fix(dataflow): idempotent L4 emission under cache reuse (reset summary/param/points-to)
  rahlk
  committed
  ee1dcf9