Quiz 3 Topics

  • SSDLC
  • Linting
  • Program Instrumentation
  • Static Instrumentation
  • LLVM Instrumentation
  • Fuzzing
  • Symbolic Execution
  • Concolic Execution
  • Sat solving