trailofbits/mcsema

mcsema - Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode