Context-Insensitive Alias Analysis Reconsidered (1995)

Cached

Download Links

by Erik Ruf , Erik Ruf
Citations:125 - 1 self

Active Bibliography

93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 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
50 Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses – Sean Zhang, Barbara G. Ryder, William Landi - 1996
2 Interprocedural Reaching Definitions in the Presence of Single Level Pointers – Hemant D. Pande, William Landi, Barbara G. Ryder - 1992
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
72 Connection Analysis: A Practical Interprocedural Heap Analysis for C – Rakesh Ghiya, Laurie Hendren - 1995
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
149 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
19 Evaluating the Effectiveness of Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1999
37 Is it a Tree, a DAG, or a Cyclic Graph? – Rakash Ghiya, Laurie Hendren - 1996
56 Interprocedural Aliasing In The Presence Of Pointers – William Alexander Landi - 1992
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
3 Incremental Algorithms and Empirical Comparison for Flow- and Context-sensitive Pointer Aliasing Analysis – Jyh-Shiarn Yur, Barbara G. Ryder, William A. Landi - 1998
71 A General Data Dependence Test for Dynamic, Pointer-Based Data Structures – Joseph Hummel, Laurie Hendren, Alexandru Nicolau - 1994
Interprocedural Pointer Alias Analysis – Paul R. Carini, Michael Burke, Michael Burke, Paul Carini, Jong-deok Choi, Jong-deok Choi, Michael Hind, Michael Hind - 1997
28 Static Type Determination and Aliasing for C++ – Hemant D. Pande, Barbara G. Ryder - 1995
99 Interprocedural Pointer Alias Analysis – Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi - 1999
9 Detecting Memory Errors via Static Pointer Analysis – Nurit Dor - 1999