Decompilation to compiler high IR in a binary rewriter. http://www. ece.umd.edu/~barua/high-IR-technical-report10.pdf

A binary rewriter is a piece of software that accepts a binary executable program as input, and produces an improved executable as output. This paper describes the first technique in literature to decompile the input binary into an existing compiler’s high-level intermediate form (IR). The compiler’s back-end is then used to generate the output binary from the IR. Doing so enables the use of the rich set of compiler analysis and transformation passes available in mature compilers. It also enables bi-nary rewriters to perform complex high-level transforma-tions, such as automatic parallelization, not possible in ex-isting binary rewriters. Certain characteristics of binary code pose a great chal-lenge while translating a binary to a high-level compiler IR; these include the use of an explicitly addressed stack, lack of function prototypes and the lack of symbols. We present techniques to overcome these challenges. We have built a prototype binary rewriter called SecondWrite that uses LLVM, a widely-used compiler infrastructure, as our intermediate IR, and rewrites both x86 binaries. Our re-sults show that SecondWrite accelerates un-optimized bi-naries by 27 % on average for our benchmarks, and main-tains the performance of already optimized binaries with-out any custom optimizations on our part. We also present two case studies for custom improvement – automatic par-allelization and security – to exemplify the benefits and applications of a binary rewriter using a high IR.