A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
2009
Electronical Notes in Theoretical Computer Science
Points-to analysis is a prerequisite of program verification and static analysis on Java programs. It is known that call graph is typically constructed on-the-fly when points-to analysis proceeds for a better precision. In this work, we propose an ahead-of-time yet context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking. The analysis is context-sensitive in the sense that, (i) method calls and returns match with each other (a.k.a., valid paths); and (ii)
doi:10.1016/j.entcs.2009.11.013
fatcat:vudbzyax7rbz3aw4ohrs7j2r3q