Enabling Sophisticated Analysis of x86 Binaries with RevGen

摘要: Current state-of-the-art static analysis tools for binary software operate on ad-hoc intermediate representations (IR) of the machine code. Therefore, even though IRs facilitate program by abstracting away source language, it is hard to reuse existing implementations in new endeavors. Recently, a compiler framework — LLVM— has emerged, together with many that use its IR. However, these rely generate IR from We propose RevGen, tool automatically converts programs standard LLVM IR, making an increasingly large number and dynamic frameworks, as well run-time instrumentation tools, applicable legacy software. show potential RevGen converting several device drivers checking resulting code off-the-shelf tools.