Putting Pointer Analysis to Work (1998)

Cached

Download Links

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

Documents Related by Co-Citation

381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
386 Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers – Maryam Emami, Rakesh Ghiya, Laurie J. Hendren - 1994
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
72 Connection Analysis: A Practical Interprocedural Heap Analysis for C – Rakesh Ghiya, Laurie Hendren - 1995
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
160 Detecting conflicts between structure accesses – J R Larus, P N Hilfinger - 1988
95 Type-Based Alias Analysis – Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss, Kinley J. Eliot, B. Moss - 1998
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
99 Interprocedural Pointer Alias Analysis – Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi - 1999
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
68 Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers – Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
75 The Effects of the Precision of Pointer Analysis – Marc Shapiro, Susan Horwitz - 1997
71 A General Data Dependence Test for Dynamic, Pointer-Based Data Structures – Joseph Hummel, Laurie Hendren, Alexandru Nicolau - 1994
539 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
86 Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs – Laurie Hendren, Joseph Hummel, Alexandru Nicolau - 1992
93 Modular Interprocedural Pointer Analysis Using Access Paths: Design, Implementation, and Evaluation – Ben-chung Cheng, Wen-Mei W. Hwu - 2000
161 Detecting Parallelism in C Programs with Recursive Data Structures – Rakesh Ghiya, Laurie Hendren, Yingchun Zhu - 1998