|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
472
|
Program Analysis and Specialization for the C Programming Language
– Lars Ole Andersen
- 1994
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
143
|
Fast and Accurate Flow-Insensitive Points-To Analysis
– Marc Shapiro, Susan Horwitz
- 1997
|
|
302
|
Optimization of Object-Oriented Programs using Static Class Hierarchy Analysis
– Jeffrey Dean, David Grove, Craig Chambers
- 1995
|
|
223
|
P.F.: Fast static analysis of C++ virtual function calls
– D F Bacon, Sweeney
- 1996
|
|
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
|
|
209
|
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects
– Jong-deok Choi, Michael Burke, Paul Carini
- 1993
|
|
209
|
Object-Oriented Type Inference
– Jens Palsberg, Michael I. Schwartzbach
- 1991
|
|
106
|
Partial Online Cycle Elimination in Inclusion Constraint Graphs
– Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken
- 1998
|
|
178
|
Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in c
– Rakesh Ghiya, Laurie J Hendren
- 1996
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
186
|
Flow analysis and optimization of Lisplike structures
– Steven S Muchnick, Neil D Jones
- 1981
|
|
267
|
Control-Flow Analysis of Higher-Order Languages
– Olin Shivers
- 1991
|
|
66
|
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers
– Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
|
|
65
|
Fast Interprocedural Class Analysis
– Greg DeFouw, David Grove, Craig Chambers
- 1998
|
|
60
|
Polymorphic versus monomorphic flow-insensitive points-to analysis for C
– Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
- 2000
|
|
195
|
Efficient Detection of All Pointer and Array Access Errors
– Todd M. Austin, Scott E. Breach, Gurindar S. Sohi
- 1994
|
