Modified abstract domain in global initialization checker#23138

Merged

olhotak merged 6 commits intoscala:mainfrom

EnzeXing:global-init-checker-redesign

May 27, 2025

Commits on May 27, 2025

Modified abstract domain
EnzeXing
committed
Further modification; update tests
EnzeXing
committed
Update documentation
EnzeXing
committed
Address comments
EnzeXing
committed
Rewrite resolveEnv and resolveThis
EnzeXing
committed
Adding TODOs
EnzeXing
committed