angr verifier

angr verifier
[Google Scholar] [Website]

Notes: binary analysis, symbolic execution, concolic execution, symbolic memory, valgrind
Papers: shoshitaishvili:sp:2016

angr is a python framework for analyzing binaries. It combines both static and dynamic symbolic (“concolic”) analysis


Driller verifier, Symbolic memory, Valgrind