Dynamically Translating x86 to LLVM using QEMU
Selective Symbolic Execution