Lecture 12: Data Flow Analysis Algorithms. Initialization Analysis
Continuing Lecture 11
Scala Code for Data-Flow Analysis
Correctness of Data-Flow Analysis
Initialization Analysis
Live Variable Analysis
Continued (surprise, surprise) in Lecture 13
References
- Tiger book, chapters 10, 17
- Abstract Interpretation in a Nutshell by Patrick Cousot (also a course at MIT)