@misc{indiciaeb906e2e79380,
  title = {Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis},
  author = {Peisen Yao and Zinan Gu and Qingkai Shi},
  year = {2026},
  url = {https://arxiv.org/abs/2602.01720},
  note = {Source identifier: 2602.01720}
}