Applications of Data-Flow Analysis

Constant Propagation

Control-Flow Graph Definition

In Scala:

• DiGraphs.scala
• SimpleCFG.scala

Translation of syntax trees to control-flow graphs is (at a high-level) similar to translation from regular expressions to finite-state machines (see closure properties of finite state machines).

Decomposing Complex Expressions

If Statements to CFG

While Statements to CFG

Source and Target CFG Vertices

In Scala:

• SimpleAST.scala
• SimpleTranslate.scala

Sets of States at Each Program Point

Range Analysis Example

• DataFlowAnalysis.scala
• SignAnalysis.scala

Partial order

Lattices

Continued in Lecture 13

• Lecture notes on static analysis by Michael Schwartzbach, especially chapters 4,5,6
• Compiler Construction by Niklaus Wirth, chapters 9,10, 11
• Tiger book, Chapters 7-11, 17
• Abstract Interpretation in a Nutshell by Patrick Cousot (also a course at MIT)
• Lecture 7 in Software Analysis and Verification 2009