Efficient Context-Sensitive Pointer Analysis for C Programs (1995)

Cached

Download Links

by Robert P. Wilson , Monica S. Lam
Citations:395 - 9 self

Documents Related by Co-Citation

386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
327 A Safe Approximate Algorithm for Interprocedural Pointer Aliasing – William Landi, Barbara G. Ryder - 1992
220 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
194 Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C – R Ghiya, L Hendren - 1996
131 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
126 Context-Insensitive Alias Analysis Reconsidered – Erik Ruf, Erik Ruf - 1995
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
373 Interprocedural Dataflow Analysis via Graph Reachability – Thomas Reps, Mooly Sagiv, Susan Horwitz - 1994
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
213 Efficient Detection of All Pointer and Array Access Errors – Todd M. Austin, Scott E. Breach, Gurindar S. Sohi - 1994
144 Dependence analysis for pointer variables – S Horwitz, P Pfieffer, T Reps - 1989
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
191 Unification-based Pointer Analysis with Directional Assignments – Manuvir Das - 2000
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
149 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997