Program Analysis, 2019 Fall

Course Information

• Instructor: Hakjoo Oh
• Lecture: 9:00-11:30 on Tuesdays
• Syllabus
• Textbook:
  
  • Xavier Rival and Kwangkeun Yi. Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press

Materials

• Course Overview
• Foundations
• Notation
• Operational Semantics
• Denotational Semantics
• Introduction to program analysis, sign.ml
• Abstract Interpretation Framework: 1, 2, proof, ex1, ex2
• Approaches to Program Analysis
• Data Flow Analysis: DFA.pdf
• Constraint-based Analysis: Datalog, Pointer Analysis, Pointer Analysis Tutorial
• Applications
• applications

Homework

• Simple Numerical Analysis