AAA616-26F - SAL@KU

Program Analysis, 2026 Fall

Course Information

Instructor: Hakjoo Oh

Slides

Course Overview
Introduction to Program Analysis
Dynamic Analysis – Fuzzing, Concolic Testing
Static Analysis Examples – Sign Analysis, Interval Analysis, Octagon Analysis, Pointer Analysis, Control-Flow Analysis, Data-Flow Analysis
Static Analysis Theory – Denotational Semantics, Abstract Interpretation Framework Example 1 Example 2
Verification – Intro to Lean

Software Analysis Lab. @ Korea University