000166081 001__ 166081
000166081 005__ 20190316235131.0
000166081 037__ $$aCONF
000166081 245__ $$aEnabling Sophisticated Analysis of x86 Binaries with RevGen
000166081 269__ $$a2011
000166081 260__ $$c2011
000166081 336__ $$aConference Papers
000166081 520__ $$aCurrent 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 analysis by abstracting away the source language, it is hard to reuse existing implementations of analysis tools in new endeavors. Recently, a new compiler framework — LLVM— has emerged, together with many analysis tools that use its IR. However, these tools rely on a compiler to generate the IR from source code. We propose RevGen, a tool that automatically converts existing binary programs to the standard LLVM IR, making an increasingly large number of static and dynamic analysis frameworks, as well as run-time instrumentation tools, applicable to legacy software. We show the potential of RevGen by converting several programs and device drivers to LLVM and checking the resulting code with off-the-shelf analysis tools.
000166081 700__ $$0243538$$aChipounov, Vitaly$$g160391
000166081 700__ $$0241982$$aCandea, George$$g172241
000166081 7112_ $$a7th Workshop on Hot Topics in System Dependability (HotDep)$$cHong Kong, China$$d2011
000166081 8564_ $$s114259$$uhttps://infoscience.epfl.ch/record/166081/files/revgen.pdf$$yn/a$$zn/a
000166081 909C0 $$0252225$$pDSLAB$$xU11275
000166081 909CO $$ooai:infoscience.tind.io:166081$$pconf$$pIC$$qGLOBAL_SET
000166081 917Z8 $$x184038
000166081 937__ $$aEPFL-CONF-166081
000166081 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000166081 980__ $$aCONF