Quiz 2 Topics

  • Computability
  • Static Analysis
  • Control Flow
  • Fixpoints
  • Lattices
  • Abstract Interpretation
  • Information Flow
  • Side Channels
  • Dependency Analysis
  • Program Slicing
  • Interprocedural Analysis
  • Summary Functions
  • Class Hierarchy Analysis

Review Session

mp4