Quiz 1 Resouces

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

Bitcode Reference - This document will be provided alongside the quiz. Check it out in advance to see if it is sufficient for your bitcode needs.

Quiz 1 Topics

  • Instruction Flowcharts
  • Control Flow Graphs
  • Basic Blocks
  • Phi-instructions
  • LLVM IR
    • Writing programs
    • Functions
    • Instructions
  • Security Incidents
  • Threat models
  • Decidability
  • The halting problem / Rice's Theorem
  • Type I and Type II Errors
  • Soundness and Completeness
  • Meaning of Static and Dynamic Analysis
  • Dataflow Analysis
  • Lattices and Partial Orders
  • Abstract Interpretation