Points-to Analysis for Java Using Annotated Constraints (2001)

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Citations:103 - 26 self

Documents Related by Co-Citation

127 Scaling Java points-to analysis using Spark – Ondrej Lhoták, Laurie Hendren - 2003
331 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
248 Fast static analysis of C++ virtual function calls – David F. Bacon, Peter F. Sweeney - 1996
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
129 Scalable propagation-based call graph construction algorithms – Frank Tip - 2000
75 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
388 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
193 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000