Quiz 3 Topics

  • Points-to Analysis
  • Reference Monitors
  • Program Instrumentation
  • Static Instrumentation
  • LLVM Instrumentation
  • Dynamic Analysis
  • Control Flow Integrity
  • Fuzzing
  • Symbolic Execution
  • Concolic Execution
  • Sat solving
  • SMT solving
  • SSDLC