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.

• Type: Conference
• Year: 1998
• Where: CC
• Authors: Hanne Riis Nielson, Flemming Nielson
• Keywords: CC 1998, Control Flow Analysis, Flow Analysis, Program Analysis, System Software