Points-to Analysis for Java Using Annotated Inclusion Constraints (2000)

Cached

Download Links

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Venue:Rutgers University Department of Computer Science
Citations:7 - 5 self

Documents Related by Co-Citation

520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
114 Partial Online Cycle Elimination in Inclusion Constraint Graphs – Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken - 1998
103 Relevant Context Inference – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1999
99 Interprocedural Pointer Alias Analysis – Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi - 1999
191 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
84 Efficient Points-To Analysis For Whole-Program Analysis – Donglin Liang, Mary, Mary Jean Harrold - 1999
87 Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints – Manuel Fähndrich, Jakob Rehof, Manuvir Das - 2000
48 A Toolkit for Constructing Type- and Constraint-Based Program Analyses – Alexander Aiken , Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su - 1998
245 Fast static analysis of C++ virtual function calls – David F Bacon, Peter F Sweeney
231 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
44 Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs – Zhendong Su, Manuel Fähndrich, Alexander Aiken - 2000
127 Scalable propagation-based call graph construction algorithms – Frank Tip - 2000
66 Pointer Analysis for Programs with Structures and Casting – Suan Hsi Yong, Susan Horwitz, Thomas Reps - 1999
220 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993