程序分析
课程编号：085400D24
课程主页：https://pascal-group.bitbucket.io/teaching.html
Teaching Plan
- Intermediate Representation
- Data Flow Analysis - Applications
- Data Flow Analysis - Foundations
- Inter-procedural Analysis
- Pointer Analysis
- Pointer Analysis - Foundations
- Context Sensitivity
- Static Analysis for Security
- Datalog-Based Static Analysis
- CFL-Reachability and IFDS
- Soundness and Soundiness