Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis. - Peisen Yao; Zinan Gu; Qingkai Shi (CoRR, 2026)