Flow Logics for Constraint Based Analysis

13 years 8 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulations of program analysis it aims at integrating existing approaches to data flow analysis and control flow analysis. It is able to deal with a broad variety of language paradigms, program properties, kinds of formal semantics, and methods used for computing the best solution. In this paper we illustrate how a compositional flowlogic (in "succinct" form) can be systematically transformed into an efficientexhaustive procedure for computing the best solution of a set of constraints generated. This involves transformations to attribute grammars and to specifications of the ("verbose") form used in control flowanalysis. Keywords. Program analysis, data flowanalysis, control flowanalysis, constraint based analysis, attribute grammars.
Hanne Riis Nielson, Flemming Nielson
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where CC
Authors Hanne Riis Nielson, Flemming Nielson
Comments (0)