Driller verifier

[Google Scholar]

Notes: concolic execution, symbolic execution, angr verifier
Papers: stephens:ndss:2016

Based on angr verifier.

Concolic execution, Fuzz testing, Hybrid testing

  • SAVIOR: Towards bug-driven hybrid testing [chen:sp:2020]
  • QSYM: A practical concolic execution engine tailored for hybrid fuzzing [yun:usenix:2018]