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