Interprocedural Dataflow Analysis via Graph Reachability (1994)

by Thomas Reps , Mooly Sagiv , Susan Horwitz
Citations:369 - 33 self

Active Bibliography

77 Demand Interprocedural Dataflow Analysis – Susan Horwitz , Thomas Reps, Mooly Sagiv
58 A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1998
103 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
Shape Analysis as a Generalized . . . – Thomas Reps
696 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
77 Demand-driven Computation of Interprocedural Data Flow – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa - 1995
Intraprocedural Analysis and the Verification of Concurrent Programs – Akash Lal - 2009
ACKNOWLEDGMENTS – Akash Lal
119 Program Analysis via Graph Reachability – Thomas Reps - 1997
Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis – Jens Knoop
21 A demand-driven analyzer for data flow testing at the integration level – Evelyn Duesterwald, Rajiv Gupta, Mary Lou Sofia - 1996
6 Interprocedural Analyses of Fortran Programs – Béatrice Creusillet, François Irigoin - 1997
3 Computing Interprocedurally Valid Relations in Affine Programs – Markus Müller-Olm, Helmut Seidl
4 Experimental Comparison of call string and functional Approaches to Interprocedural Analysis – Florian Martin - 1999
1 Practical Comparison of call string functional Approach in Data Flow Analysis – Martin Alt, Florian Martin - 1997
51 FIAT: A Framework for Interprocedural Analysis and Transformation – Mary W. Hall, John Mellor-Crummey, Alan Carle, René Rodríguez - 1995
4 Practical Extensions to the IFDS Algorithm – Nomair A. Naeem, Jonathan Rodriguez
48 Generation of efficient interprocedural analyzers with PAG – Martin Alt, Florian Martin - 1995