Improve UnionFind Alias Analyses#838

Merged

fabianbs96 merged 12 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-ImproveUnionFindAA

May 28, 2026

Commits on May 8, 2026

Commits on May 10, 2026

Small improvements in MSSA handling
fabianbs96
committed
Drastically improve alias-handling in PAG, allowing more merging on ValueCompressor-level
fabianbs96
committed

Commits on May 11, 2026

Better ergonomics for AliasInfo->AliasIterator
fabianbs96
committed

Commits on May 19, 2026

new results
mxHuber
committed

Commits on May 21, 2026

minor in readme
fabianbs96
committed