@article{jiahao2025fspta,
title={Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis},
author={Zhang, Jiahao and Cheng, Xiao and Lei, Yuxiang},
journal={arXiv preprint arXiv:2508.01974},
year={2025}
}