Adrian Herrera

Recover mutation graph from an AFL seed

adrianherrera

Code for my blog post on using S2E for malware analysis

adrianherrera

A simple command-line script to interact with the virustotal-api

adrianherrera

Exports an LLVM control flow graph (CFG) (including function calls) to JSON

adrianherrera

Code for my blog post on combining S2E and Kaitai Struct

adrianherrera