Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis

Recommended citation: Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, and Yue Li. (2026). Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis. Proceedings of the ACM on Programming Languages, 10(OOPSLA2), 1073-1102. https://doi.org/10.1145/3839485
Download Paper | Download Bibtex