|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
312
|
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
– William Landi, Barbara G. Ryder
- 1992
|
|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
143
|
Fast and Accurate Flow-Insensitive Points-To Analysis
– Marc Shapiro, Susan Horwitz
- 1997
|
|
119
|
Context-Insensitive Alias Analysis Reconsidered
– Erik Ruf, Erik Ruf
- 1995
|
|
209
|
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects
– Jong-deok Choi, Michael Burke, Paul Carini
- 1993
|
|
66
|
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers
– Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
|
|
79
|
Efficient Points-To Analysis For Whole-Program Analysis
– Donglin Liang, Mary, Mary Jean Harrold
- 1999
|
|
89
|
Interprocedural Pointer Alias Analysis
– Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
- 1999
|
|
70
|
The Effects of the Precision of Pointer Analysis
– Marc Shapiro, Susan Horwitz
- 1997
|
|
60
|
Pointer Analysis for Programs with Structures and Casting
– Suan Hsi Yong, Susan Horwitz, Thomas Reps
- 1999
|
|
273
|
Two approaches to interprocedural data flow analysis
– M SHARIR, A PNUELI
- 1981
|
|
175
|
Unification-based Pointer Analysis with Directional Assignments
– Manuvir Das
- 2000
|
|
60
|
Polymorphic versus monomorphic flow-insensitive points-to analysis for C
– Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
- 2000
|
|
211
|
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting
– Alain Deutsch
- 1994
|
|
123
|
Undecidability of Static Analysis
– William Landi
- 1992
|
|
154
|
Detecting Parallelism in C Programs with Recursive Data Structures
– Rakesh Ghiya, Laurie Hendren, Yingchun Zhu
- 1998
|
