Dynamically Translating x86 to LLVM using QEMU
Testing Closed-Source Binary Device Drivers with DDT