COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 7: Data-Flow Analysis Frameworks
September 25, 2007

Lecture Outline

  1. Review
  2. Data-flow analysis frameworks
  3. Iterative algorithm for general frameworks
  4. Meaning of a data-flow solution
  5. Framework for constant propagation
  6. Reading


1. Review

  1. Available expressions
  2. Basic questions about the iterative algorithm
  3. Lattices and semilattices
  4. Transfer functions


2. Data-Flow Analysis Frameworks



3. The Iterative Algorithm for General Frameworks



4. Meaning of a Data-Flow Solution



5. Framework for Constant Propagation



6. Reading



aho@cs.columbia.edu