Program Analysis, 2025 Fall
Course Information
Textbook
Schedule
- 9/2: Introduction (Ch.1), Elements of Abstract Interpretation (Ch.2)
- 9/4: Elements of Abstract Interpretation (Ch.2)
- 9/9: Static Analysis Examples
Software Analysis Lab. @ Korea University