Sciweavers

APLAS
2015
ACM

Bottom-Up Context-Sensitive Pointer Analysis for Java

7 years 11 months ago
Bottom-Up Context-Sensitive Pointer Analysis for Java
This paper describes a new bottom-up, subset-based, and context-sensitive pointer analysis for Java. The main novelty of our technique is the constraint-based handling of virtual method calls and instantiation of method summaries. Since our approach generates polymorphic method summaries, it can be context-sensitive without reanalyzing the same method multiple times. We have implemented this algorithm in a tool called Scuba, and we compare it with k-CFA and k-obj algorithms on Java applications from the DaCapo and Ashes benchmarks. Our results show that the new algorithm achieves better or comparable precision to k-CFA and k-obj analyses at only a fraction of the cost.
Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where APLAS
Authors Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
Comments (0)