|
320
|
Interprocedural DataflowAnalysis via Graph Reachability
– Thomas Reps, Mooly Sagiv, Susan Horwitz
- 1994
|
|
45
|
Demand Interprocedural Program Analysis Using Logic Databases
– Thomas W. Reps
- 1994
|
|
6
|
Interprocedural Analyses of Fortran Programs
– Béatrice Creusillet, François Irigoin
- 1997
|
|
18
|
Defining Flow Sensitivity in Data Flow Problems
– Thomas J. Marlowe, Barbara G. Ryder, Michael G. Burke
- 1995
|
|
628
|
Interprocedural Slicing Using Dependence Graphs
– Susan Horwitz, Thomas Reps, David Binkley
- 1990
|
|
78
|
Weighted pushdown systems and their application to interprocedural dataflow analysis
– Thomas Reps, Stefan Schwoon, Somesh Jha
- 2003
|
|
|
Automatic Generation of Solvers for Multisource Data Flow Analysis Problems
– John H. E. F. Lasseter
- 2004
|
|
103
|
Program Analysis via Graph Reachability
– Thomas Reps
- 1997
|
|
15
|
Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses
– Jens Knoop, Oliver Rüthing, Oliver R, Bernhard Steffen
- 1996
|
|
22
|
Interconvertibility of a Class of Set Constraints and Context-Free-Language Reachability
– David Melski, Thomas Reps
- 1998
|
|
52
|
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis
– Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
- 1998
|
|
9
|
CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS
– John Whaley, Monica S. Lam
- 2007
|
|
|
Shape Analysis as a Generalized . . .
– Thomas Reps
|
|
6
|
A Comprehensive Approach to Parallel Data Flow Analysis
– Yong-fong Lee, Barbara G. Ryder
- 1992
|
|
76
|
Demand-driven Computation of Interprocedural Data Flow
– Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa
- 1995
|
|
2
|
Generating Analyzers with PAG
– Martin Alt, Florian Martin, Reinhard Wilhelm
- 1995
|
|
45
|
Generation of efficient interprocedural analyzers with PAG
– Martin Alt, Florian Martin
- 1995
|
|
20
|
A demand-driven analyzer for data flow testing at the integration level
– Evelyn Duesterwald, Rajiv Gupta, Mary Lou Sofia
- 1996
|
|
27
|
Static Type Determination and Aliasing for C++
– Hemant D. Pande, Barbara G. Ryder
- 1995
|
