Valgrind

Valgrind
[Google Scholar]

Notes: angr verifier, binary instrumentation
Papers: nethercote:pldi:2007

angr verifier