feat(mem2reg): address last known value is independent of its aliases (take three)#9633

Merged

jfecher merged 8 commits intomasterfrom

Aug 27, 2025

Commits on Aug 25, 2025

Reapply "feat(mem2reg): address last known value is independent of its aliases (#9613)"
asterite
committed
fix: knowing or not knowing an address' value isn't related to aliases
asterite
committed