About
Members
Research
Publications
Talks
Courses
Trips
Gallery
Program Analysis, 2026 Fall
Course Information
Instructor:
Hakjoo Oh
Slides
Course Overview
Introduction to Program Analysis
Dynamic Analysis – Fuzzing
Dynamic Analysis – Concolic Testing
Static Analysis Examples – Sign Analysis
Static Analysis Examples – Interval Analysis
Static Analysis Examples – Octagon Analysis
Static Analysis Examples – Pointer Analysis
Static Analysis Examples – Control-Flow Analysis
Static Analysis Examples – Data-Flow Analysis
Software Analysis Lab. @ Korea University