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

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

Documents Related by Co-Citation

121 Scaling Java points-to analysis using Spark – Ondrej Lhoták, Laurie Hendren - 2003
325 Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis – Jeffrey Dean, David Grove, Craig Chambers - 1995
75 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
127 Scalable propagation-based call graph construction algorithms – Frank Tip - 2000
245 Fast static analysis of C++ virtual function calls – David F Bacon, Peter F Sweeney
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
191 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
103 Relevant Context Inference – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1999
40 Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java – Donglin Liang, Maikel Pennings, Mary Jean Harrold - 2001
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
120 Practical Virtual Method Call Resolution for Java – Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, Charles Godin - 2000
114 Ultra-fast aliasing analysis using CLA: a million lines of C code in a second – Nevin Heintze - 2001
12 Analysis of Large Code Bases: The Compile-Link-Analyze Model – Nevin Heintze - 1999
80 Which pointer analysis should I use – Michael Hind, Anthony Pioli - 2000
114 Partial Online Cycle Elimination in Inclusion Constraint Graphs – Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken - 1998
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
43 An Efficient Inclusion-Based Points-to Analysis for Strictly-Typed Languages – John Whaley, Monica S. Lam - 2002
110 Call Graph Construction in Object-Oriented Languages – David Grove - 1997