Add context-sensitive DSA with per-function memory regions#810

Open

shaobo-he wants to merge 16 commits into

Commits on Mar 31, 2026

Commits on Jul 7, 2026

Commits on Jul 9, 2026

Emit cross-function memory as module-level maps

shaobo-he
and
claude
committed
Keep threading for region classes with paired same-function regions

shaobo-he
and
claude
committed

Commits on Jul 10, 2026