@article{zhang2026flow,
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={Journal of Systems and Software},
volume={242},
pages={113027},
year={2026},
publisher={Elsevier},
doi={10.1016/j.jss.2026.113027}
}