About
Members
Research
Publications
Talks
Courses
Trips
Gallery
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
Software Analysis Lab. @ Korea University