COMS W4117
Compilers and Translators:
Software Verification Tools
Lecture 5: Data-Flow Analysis
September 18, 2007

Lecture Outline

  1. Review
  2. Introduction to data-flow analysis
  3. Data-flow schemas
  4. Reaching definitions
  5. Live-variable analysis
  6. Reading

1. Review

  1. Flow graphs and their representation
  2. Loops
  3. Introduction to code optimization

2. Introduction to Data-flow Analysis


3. Data-Flow Schemas


4. Reaching Definitions



5. Live-Variable Analysis



6. Reading


aho@cs.columbia.edu