feat(core): Add must aliasing for better cleaner application#87

Open

DanielELog wants to merge 13 commits into

mainfrom

DanielELog/must_alias

Commits on Apr 22, 2026

WIP must alias

DanielELog
authored and
Saloed
committed
Add tests for must alias analysis

DanielELog
authored and
Saloed
committed
Fix unused imports

DanielELog
authored and
Saloed
committed
Finalize must alias addition

DanielELog
authored and
Saloed
committed
Add must alias to unresolved call propagation

DanielELog
authored and
Saloed
committed
Fix fact splitting

DanielELog
authored and
Saloed
committed
Fix must alias fact revival

DanielELog
authored and
Saloed
committed
Add simple semgrep test for must alias

DanielELog
authored and
Saloed
committed
Add example tests for must alias

DanielELog
authored and
Saloed
committed
Fix alias application on call instance

DanielELog
authored and
Saloed
committed
Fix original base filtering from alias group

DanielELog
authored and
Saloed
committed
Fix after rebase
Saloed
committed

Commits on May 13, 2026

Remove irrelevant check
DanielELog
committed