Program Analysis, 2025 Fall
Course Information
Textbook
Schedule
  1. 9/2: Introduction (Ch.1), Elements of Abstract Interpretation (Ch.2)
  2. 9/4: Elements of Abstract Interpretation (Ch.2)
  3. 9/9: Static Analysis Examples: Slides1, Video1, Video2, Slides2, Video3, Video4
  4. 9/11: Quiz (proofs)
  5. 9/16: AbsInt.pdf, Language and Semantics (Ch.3)
  6. 9/18: Non-Relational Abstract Domains (Ch.4)
  7. 9/23: Non-Relational Abstract Domains (Ch.4)
  8. 9/25: Octagon.pdf Relational Abstract Domains (Ch.5)
  9. 9/30: Pointer.pdf Pointer Analysis, pycg.py toy1.py toy2.py
  10. 10/2: Project Proposal
  11. 10/14: Sparse Analysis Framework
  12. 10/16: Selective X-Sensitivity Framework
  13. 10/21: Domain Transformers (Ch.6)
  14. 10/23: Data-Driven Static Analysis
  15. 10/30: Project Presentation
Software Analysis Lab. @ Korea University