BAP: A Binary Analysis Platform
Codesurfer/x86-a platform for analyzing x86 executables