Skip to content

feat: heap and aliasing - #48

Merged
SizzleUnrlsd merged 2 commits into
mainfrom
feat/heap
Sep 4, 2026
Merged

SizzleUnrlsd merged 2 commits into
mainfrom
feat/heap

feat: add coarse heap abstraction, heap-aware taint and mutation summ…

99f68aa
Select commit
Loading
Failed to load commit list.