This is a hosting for materials for the “Principles of Static Program Analysis” course taught at Faculty of Computer Science of Higher School of Economics.
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.