Context-Insensitive Alias Analysis Reconsidered (1995)

Cached

Download Links

by Erik Ruf , Erik Ruf
Citations:126 - 1 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
395 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
518 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
219 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadek - 1990
227 Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting – Alain Deutsch - 1994
149 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
293 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
195 Is it a tree, a DAG, or a cyclic graph? a shape analysis for heap-directed pointers in C – Rakesh Ghiya, Laurie J Hendren
159 Detecting conflicts between structure accesses – James R Larus, Paul N Hilfinger - 1988
68 Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers – Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
144 Reps: Dependence analysis for pointer variables – S Horwitz, P Pfeiffer, T - 1989
162 Detecting Parallelism in C Programs with Recursive Data Structures – Rakesh Ghiya, Laurie Hendren, Yingchun Zhu - 1998
132 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
107 Pointer-induced aliasing: a problem classification – W LANDI, B G RYDER - 1991
56 Interprocedural Aliasing In The Presence Of Pointers – William Alexander Landi - 1992
199 Flow analysis and optimization of lisp-like structures – T Genet Jones, N D, S S Muchnick - 1979