Jingbo Lu, Dongjie He, Jingling Xue. Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity. ACM Transactions on Software Engineering Methodology, 30(4), 2021. [doi]
@article{LuHX21-1,
title = {Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity},
author = {Jingbo Lu and Dongjie He and Jingling Xue},
year = {2021},
doi = {10.1145/3450492},
url = {https://doi.org/10.1145/3450492},
researchr = {https://researchr.org/publication/LuHX21-1},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {30},
number = {4},
}