http://blog.trailofbits.com/2014/06/23/a-preview-of-mcsema/
"McSema translates x86 machine code into LLVM bitcode.
"Why would we do such a crazy thing?
"Because we wanted to analyze existing binary applications, and reasoning about LLVM bitcode is much easier than reasoning about x86 instructions.
"Not only is it easier to reason about LLVM bitcode, but it is easier to manipulate and re-target bitcode to a different architecture."