Lecture 38 Slides (More Data-flow Analysis)

This lecture discusses two more instances of data-flow analysis framework: range analysis and initialization analysis.

• Value range analysis