PUS: a fast and highly efficient solver for inclusion-based pointer analysis.
Saved in:
| Title: | PUS: a fast and highly efficient solver for inclusion-based pointer analysis. |
|---|---|
| Authors: | Liu, Peiming1, peiming@tamu.edu, Li, Yanze1, yanzeli@tamu.edu, Swain, Brad1, brad@tamu.edu, Huang, Jeff1, jeff@cse.tamu.edu |
| Source: | ICSE: International Conference on Software Engineering; 2022, p1781-1792, 12p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| DOI: | 10.1145/3510003.3510075 |
|---|