This is a hosting for materials for the “Principles of Static Program Analysis” course.
The course website is here.
The course website sources are here.
This project contains educational materials for the course and other useful information related to the course.