Putting Pointer Analysis to Work (1998)

Cached

Download Links

by Rakesh Ghiya , Laurie J. Hendren
Citations:93 - 8 self

Active Bibliography

149 Fast and Accurate Flow-Insensitive Points-To Analysis – Marc Shapiro, Susan Horwitz - 1997
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
135 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
53 Register Promotion in C Programs – Keith D. Cooper, John Lu - 1997
19 Evaluating the Effectiveness of Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1999
3 Program Decomposition for Pointer-induced Aliasing Analysis – Sean Zhang, Barbara G. Ryder, William Landi - 1996
50 Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses – Sean Zhang, Barbara G. Ryder, William Landi - 1996
62 Alias Analysis of Executable Code – Saumya Debray, Robert Muth, Matthew Weippert - 1998
PROGRAMS – Milind Vidyadhar Kulkarni, Ph. D - 2008
9 An Empirical Comparison of Interprocedural Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1997
19 Experiments with Combined Analysis for Pointer Aliasing – Sean Zhang, Barbara G. Ryder, William A. Landi - 1998
72 Connection Analysis: A Practical Interprocedural Heap Analysis for C – Rakesh Ghiya, Laurie Hendren - 1995
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
4 Identifying DEF/USE Information of Statements that Construct and Traverse Dynamic Recursive Data Structures – Yuan-shin Hwang, Joel Saltz - 1997
The MTSA Program Analysis System – Mark Marron
Analyses of Pointers . . . DEPENDENCE TESTING – Peng Wu - 2001
4 Integrating Scalar Analyses and Optimizations in a Parallelizing . . . – Bixia Zheng - 2000
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
111 Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions – Radu Rugina, Martin Rinard - 2000