Repository navigation

feat: heap and aliasing - #48

Merged

SizzleUnrlsd merged 2 commits into

mainfrom

Sep 4, 2026

Merged

feat: heap and aliasing#48
SizzleUnrlsd merged 2 commits into
mainfrom
feat/heap

Commits on Sep 4, 2026
- test: define heap, aliasing and mutation behavior
  SizzleUnrlsd
  committed
  bb965f5
- feat: add coarse heap abstraction, heap-aware taint and mutation summaries
  SizzleUnrlsd
  committed
  99f68aa