Lecture 36 Slides (Range Analysis, Initialization Analysis)

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

• Value range analysis