Sciweavers

ESEC
1999
Springer

Data-Flow Analysis of Program Fragments

13 years 8 months ago
Data-Flow Analysis of Program Fragments
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fragment data-flow analysis as an alternative approach which computes data-flow information for a specific program fragment. The analysis is parameterized by the additional information available about the rest of the program. We describe two frameworks for interprocedural flow-sensitive fragment analysis, the relationship between fragment analysis and whole-program analysis, and the requirements ensuring fragment analysis safety and feasibility. We propose an application of fragment analysis as a second analysis phase after an inexpensive flow-insensitive whole-program analysis, in order to obtain better information for important program fragments. We also describe the design of two fragment analyses derived from an already existing whole-program flow- and context-sensitive pointer alias analysis for C pr...
Atanas Rountev, Barbara G. Ryder, William Landi
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where ESEC
Authors Atanas Rountev, Barbara G. Ryder, William Landi
Comments (0)