Program Analysis, 2022 Fall

Course Information

• Instructor: Hakjoo Oh
• Syllabus

Slides

• Lecture 0: Program Analysis Overview
• Lecture 1: Preliminaries
• Lecture 2: Operational Semantics
• Lecture 3: Denotational Semantics
• Lecture 4: Introduction to Static Analysis
• Lecture 5: Abstract Interpretation Framework
• Lecture 6: Abstract Interpretation Example (1)
• Lecture 7: Abstract Interpretation Example (2)
• Lecture 8: Pointer Analysis
• Lecture 9: Control-Flow Analysis
• Lecture 10: Data-Flow Analysis

Homework

• HW1: Interval Analysis
• HW2: Interval/Pointer Analysis
• HW3: Control-Flow Analysis