|
52
|
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis
– Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
- 1998
|
|
15
|
Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses
– Jens Knoop, Oliver Rüthing, Oliver R, Bernhard Steffen
- 1996
|
|
45
|
Generation of efficient interprocedural analyzers with PAG
– Martin Alt, Florian Martin
- 1995
|
|
2
|
Generating Analyzers with PAG
– Martin Alt, Florian Martin, Reinhard Wilhelm
- 1995
|
|
6
|
A Demand-Driven Approach for Efficient Interprocedural Data Flow Analysis
– Evelyn Duesterwald
- 1996
|
|
18
|
Frameworks for intra- and interprocedural dataflow analysis
– Craig Chambers, Craig Chambers, Jeffrey Dean, Jeffrey Dean, David Grove, David Grove
- 1996
|
|
48
|
Interprocedural Symbolic Analysis
– Paul Havlak
- 1994
|
|
48
|
FIAT: A Framework for Interprocedural Analysis and Transformation
– Mary W. Hall, John Mellor-Crummey, Alan Carle, René Rodríguez
- 1995
|
|
6
|
Interprocedural Analyses of Fortran Programs
– Béatrice Creusillet, François Irigoin
- 1997
|
|
1
|
Practical Comparison of call string functional Approach in Data Flow Analysis
– Martin Alt, Florian Martin
- 1997
|
|
4
|
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis
– Florian Martin
- 1999
|
|
18
|
Defining Flow Sensitivity in Data Flow Problems
– Thomas J. Marlowe, Barbara G. Ryder, Michael G. Burke
- 1995
|
|
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
|
|
|
Intraprocedural Analysis and the Verification of Concurrent Programs
– Akash Lal
- 2009
|
|
|
ACKNOWLEDGMENTS
– Akash Lal
|
|
23
|
Path-Sensitive Value-Flow Analysis
– Rastislav Bodik, Sadun Anik
- 1998
|
|
31
|
Value Dependence Graphs: Representation without Taxation
– Daniel Weise , Roger F. Crew, Michael Ernst, Bjarne Steensgaard
- 1994
|
|
17
|
Static Single Information Form
– C. Scott Ananian, Martin Rinard
- 1999
|
|
320
|
Interprocedural DataflowAnalysis via Graph Reachability
– Thomas Reps, Mooly Sagiv, Susan Horwitz
- 1994
|
