T1- T2 Analysis

Structural Analysis

Dataflow Analysis

Typical Equation

Reaching Definitions

Analysis of Structured Programs

Reaching Definition Analysis

Constant Folding

Example