| title | Static Translation of X86 Instruction Semantics to LLVM with McSema | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| date | 2014-06-28 | ||||||||||||||||||||
| authors |
|
||||||||||||||||||||
| conference |
|
||||||||||||||||||||
| resources |
|
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. The talk demonstrates McSema by adding control flow integrity to existing Windows DLLs. McSema is open source, permissively licensed, and available for use and modification.