Valgrind [Google Scholar] Notes: angr verifier, binary instrumentation Papers: nethercote:pldi:2007 Notes related to Valgrind angr verifier