Collection of resources on Static Program Analysis
- Lecture on Static Program Analysis by RWTH / SS2018 LINK
- Lecture Notes by Moller&Schwartzbach / 2019 LINK
- Book Nielson, Nielson, Hankin (2nd, 2005) "Principles of Program Analysis", Spring LINK
- Coursera Software Security, University of Mayland, Week 5 LINK
- University Washington CSE 403:15SP - Static Analysis LINK
- Awesome Static Analysis tools LINK
- NIST Download Page LINK