|
91
|
Putting Pointer Analysis to Work
– Rakesh Ghiya, Laurie J. Hendren
- 1998
|
|
126
|
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
|
|
49
|
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
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
70
|
Connection Analysis: A Practical Interprocedural Heap Analysis for C
– Rakesh Ghiya, Laurie Hendren
- 1995
|
|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
143
|
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
|
|
16
|
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
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
4
|
Incremental Algorithms and Empirical Comparison for Flow- and Context-sensitive Pointer Aliasing Analysis
– Jyh-Shiarn Yur, Barbara G. Ryder, William A. Landi
- 1998
|
|
69
|
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
|
|
27
|
Static Type Determination and Aliasing for C++
– Hemant D. Pande, Barbara G. Ryder
- 1995
|
|
89
|
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
|
