Interprocedural Control Flow Analysis

Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be more precise in its ability to deal with mutable state (or side-effects) and to perform polyvariant (or context-sensitive) analysis. Several insights in Data Flow Analysis ract Interpretation show how to do so for imperative programs but the techniques have not had much impact on Control Flow Analysis. We show how to incorporate a number of key insights from Data Flow Analysis (involving such advanced interprocedural techniques as call strings and assumption sets) into Control Flow Analysis (using Abstract Interpretation to induce the analyses from a collecting semantics).

• Type: Conference
• Year: 1999
• Where: ESOP
• Authors: Flemming Nielson, Hanne Riis Nielson
• Keywords: Control Flow Analysis, Data Flow Analysis, ESOP 1999, Flow Analysis, Programming Languages