Separate Abstract Interpretation for Control-Flow Analysis

Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods to perform static analysis of programs. We present a new technique that builds upon the type and effect information of module signatures to bstract interpretation in the context of separate compilation. We use control-flow analysis as an application of this idea to support our claim. Control-flow analysis strives to determine at compile time which functions, in a given call environment, may be called by a particular application expression. This static control-flow analysis can be expressed ther a type and effect system or abstract interpretation. The type and effect approach supports separate compilation but, being structural, collapses all call environments together, thus limiting the precision of control-flow information. By contrast, the abstract interpretation approach fails to support separate compilatio...

• Type: Conference
• Year: 1994
• Where: TACS
• Authors: Yan Mei Tang, Pierre Jouvelot
• Keywords: Abstract Interpretation, Control-flow Analysis, Software Engineering, Static Control-flow Analysis, TACS 1994