程序分析

课程编号:085400D24

课程教师:李樾谭添

课程主页:https://pascal-group.bitbucket.io/teaching.html

Teaching Plan

  1. Intermediate Representation
  2. Data Flow Analysis - Applications
  3. Data Flow Analysis - Foundations
  4. Inter-procedural Analysis
  5. Pointer Analysis
  6. Pointer Analysis - Foundations
  7. Context Sensitivity
  8. Static Analysis for Security
  9. Datalog-Based Static Analysis
  10. CFL-Reachability and IFDS
  11. Soundness and Soundiness