NJU「软件分析」学习笔记
The course website is here.
I watched the lecture videos recorded in Spring 2020, and did the Tai-e assignments for exercise.
- Course Introduction
- Intermediate Representation
- Data Flow Analysis
- Interprocedural Analysis
- Pointer Analysis
- Static Analysis for Security
- Datalog-Based Program Analysis
- CFL-Reachability and IFDS
- Soundness and Soundiness