Find file History
Latest commit 2d519a8 Oct 24, 2015 @dguido dguido Update
Failed to load latest commit information.
McSema.pdf Initial commit Apr 29, 2015 Update Oct 24, 2015

Static Translation of X86 Instruction Semantics to LLVM with McSema

We have developed McSema, a new framework for analyzing and transforming machine-code programs. McSema translates x86 instructions into LLVM bitcode, with a translation strategy that allows for analysis by standard compiler algorithms. We will demonstrate McSema by adding control flow integrity to existing Windows DLLs. McSema is open source, permissively licensed, and is now available for use and modification.


Presented at

More info


  • Andrew Ruef
  • Artem Dinaburg