awesome-static-program-analysis

A curated list of courses, and tutorials on static program analysis

Contents

• Courses

Courses

• Stanford University: CS243: Program Analysis and Optimization from Monica Lam

  [Slides (2025 Winter)]

• Aarhus University: Static Program Analysis from Prof. Anders Møller

  [Slides, Notes]

• University of New South Wales: Software Security Analysis from Yulei Sui [Slides (2025 Fall)]

• Federal University of Minas Gerais: Static Program Analysis - DCC888

  [Homepage] [MOOC]

• Carnegie Mellon University: 17-355/17-665/17-819 Program Analysis from Prof. Jonathan Aldrich and Prof. Rohan Padhye

  [Slides, Notes] (2025 Fall)

• University of Pennsylvania: CIS 5470: Software Analysis from Prof. Mayur Naik

  [Slides, MOOC (2025 Fall)]

• Peking University: Software Analysis from Prof. Yingfei Xiong (熊英飞)

  [Slides (2025 Fall)] [MOOC (2020 Fall)]

• Nanjing University: Static Program Analysis from Prof. Yue Li (李樾) and Tian Tan (谭添)

  [Slides (2025 Fall)] [MOOC 2020 Spring]

• University of Stuttgart: Program Analysis from Prof. Michael Pradel

  [Slides (2024 Winter)] [MOOC (2020 Winter)]

Contribute

Contributions welcome! Read the contribution guidelines first.

Acknowledgement

This repository is inspired by and has referenced resources from PL-Compiler-Resource