Program Analysis, 2024 Fall
Course Information
Slides
- Lecture 0: Course Overview lec0.pdf
- Lecture 1: Introduction to Program Analysis lec1.pdf
- Lecture 2: Static Analysis Examples lec2.pdf
- Lecture 3: Operational Semantics lec3.pdf
- Lecture 4: Denotational Semantics lec4.pdf
- Lecture 5: Axiomatic Semantics lec5.pdf
- Lecture 6: Abstract Interpretation lec6.pdf
- Lecture 7: Abstract Interpretation Example (1) lec7.pdf
- Lecture 8: Abstract Interpretation Example (2) lec8.pdf
Software Analysis Lab. @ Korea University