Bottom-up Context-Sensitive Pointer Analysis for Java

Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig