|
360
|
Analysis of pointers and structures
– D R Chase, M Wegman, F K Zadeck
- 1990
|
|
359
|
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers
– Maryam Emami, Rakesh Ghiya, Laurie J. Hendren
- 1994
|
|
281
|
Solving Shape-Analysis Problems in Languages with Destructive Updating
– Mooly Sagiv, Thomas Repst, Reinhard Wilhelm
- 1996
|
|
70
|
Connection Analysis: A Practical Interprocedural Heap Analysis for C
– Rakesh Ghiya, Laurie Hendren
- 1995
|
|
152
|
Detecting conflicts between structure accesses
– J R Larus, P N Hilfinger
- 1988
|
|
88
|
Type-Based Alias Analysis
– Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss, Kinley J. Eliot, B. Moss
- 1998
|
|
209
|
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects
– Jong-deok Choi, Michael Burke, Paul Carini
- 1993
|
|
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
|
|
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
|
|
465
|
Parametric Shape Analysis via 3-Valued Logic
– Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
- 1999
|
|
154
|
Detecting Parallelism in C Programs with Recursive Data Structures
– Rakesh Ghiya, Laurie Hendren, Yingchun Zhu
- 1998
|
|
186
|
Flow analysis and optimization of Lisplike structures
– Steven S Muchnick, Neil D Jones
- 1981
|
|
66
|
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers
– Michael Burke, Paul Carini, Jong-deok Choi, Michael Hind
|
|
89
|
Interprocedural Pointer Alias Analysis
– Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
- 1999
|
|
477
|
Points-to Analysis in Almost Linear Time
– Bjarne Steensgaard
- 1996
|
|
69
|
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures
– Joseph Hummel, Laurie Hendren, Alexandru Nicolau
- 1994
|
|
83
|
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
– Laurie Hendren, Joseph Hummel, Alexandru Nicolau
- 1992
|
|
55
|
Lifetime analysis of dynamically allocated objects
– C Ruggieri, T P Murtagh
- 1988
|
