6.820 | Fall 2015 | Undergraduate
Fundamentals of Program Analysis
Course Description
This course offers a comprehensive introduction to the field of program analysis. It covers some of the major forms of program analysis including Type Checking, Abstract Interpretation and Model Checking. For each of these, the course covers the underlying theories as well as modern techniques and applications.
Learning Resource Types
notes Lecture Notes
assignment Programming Assignments
Basic expressions, codes and graphs of program analysis.
Basic components related to the program analysis. (Image by Prof. Armando Solar-Lezama.)