|
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
|
|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
106
|
Partial Online Cycle Elimination in Inclusion Constraint Graphs
– Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken
- 1998
|
|
98
|
Relevant Context Inference
– Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi
- 1999
|
|
89
|
Interprocedural Pointer Alias Analysis
– Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
- 1999
|
|
175
|
Unification-based Pointer Analysis with Directional Assignments
– Manuvir Das
- 2000
|
|
312
|
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
– William Landi, Barbara G. Ryder
- 1992
|
|
79
|
Efficient Points-To Analysis For Whole-Program Analysis
– Donglin Liang, Mary, Mary Jean Harrold
- 1999
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
83
|
Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints
– Manuel Fähndrich, Jakob Rehof, Manuvir Das
- 2000
|
|
118
|
Scalable propagation-based call graph construction algorithms
– Frank Tip
- 2000
|
|
42
|
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
– Zhendong Su, Manuel Fähndrich, Alexander Aiken
- 2000
|
|
46
|
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
– Alexander Aiken , Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
- 1998
|
|
211
|
Compositional Pointer and Escape Analysis for Java Programs
– John Whaley, Martin Rinard
- 1999
|
|
223
|
P.F.: Fast static analysis of C++ virtual function calls
– D F Bacon, Sweeney
- 1996
|
|
241
|
Escape analysis for Java
– Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff
- 1999
|
|
60
|
Pointer Analysis for Programs with Structures and Casting
– Suan Hsi Yong, Susan Horwitz, Thomas Reps
- 1999
|
|
209
|
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects
– Jong-deok Choi, Michael Burke, Paul Carini
- 1993
|
