Quiz 2 Resources

Review Recording - This is the recording of the in-person review session.


Test 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