Program Analysis, 2016 Fall
Course Information
- Instructor: Hakjoo Oh
- Lecture: 14:00-16:45 on Tuesdays
- Reference:
Slides
- Overview: lec0.pdf
- Formal Semantics: lec1.pdf lec2.pdf
- Introduction to Static analysis: lec3.pdf
- Abstract Interpretation Framework: lec4.pdf (proofs)
- Numerical Analysis: lec5.pdf, lec7.pdf
- Localization, Sparse Analysis: lec6.pdf
- Parametric Static Analysis: lec8.pdf, lec9.pdf
- Pointer Analysis: pointer.pdf
- Data-flow Analysis: dfa.pdf
- Symbolic Analysis: lec10.pdf, Symbolic Execution
- Model Checking: CEGAR
Homework
- Homework 1 (due 9/27) hw1.pdf
- Homework 2 (due 10/11) hw2.pdf
- Homework 3 (due 11/29) hw3.pdf
- Homework 4 (due 12/6) hw4.pdf
Software Analysis Lab. @ Korea University