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
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
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
220 Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects – Jong-deok Choi, Michael Burke, Paul Carini - 1993
527 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 Zadeck - 1990
229 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
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
160 Detecting conflicts between structure accesses – J R Larus, P N Hilfinger - 1988
68 Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers – Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
144 Dependence analysis for pointer variables – S Horwitz, P Pfieffer, T Reps - 1989
161 Detecting Parallelism in C Programs with Recursive Data Structures – Rakesh Ghiya, Laurie Hendren, Yingchun Zhu - 1998
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
108 Pointer-induced aliasing: A problem classification – William Landi, Barbara G Ryder - 1990
56 Interprocedural Aliasing In The Presence Of Pointers – William Alexander Landi - 1992
199 Flow analysis and optimization of LISPlike structures – N D Jones, S S Muchnick - 1979