Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity.
Saved in:
| Title: | Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity. |
|---|---|
| Authors: | JINGBO LU1, jlu@cse.unsw.edu.au, DONGJIE HE1, dongjieh@cse.unsw.edu.au, JINGLING XUE1, j.xue@unsw.edu.au |
| Source: | ACM Transactions on Software Engineering & Methodology; Jul2021, Vol. 30 Issue 4, p1-46, 46p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/3450492 |
