MC-Semantics (or mcsema, pronounced 'em see se ma') is a library to translate the semantics of native code to LLVM IR. The MC-Semantics project is separated into a few sub-projects:
Control Flow Recovery
Instruction Semantics
Binary File Parsing
Semantics Testing
We hope that this library is useful to the program analysis and reverse engineering community. Currently it supports the translation of semantics for x86 programs and supports subsets of integer arithmetic, floating point, and vector operations. Work is in progress, and additional semantics are constantly being added.
more here...........https://github.com/trailofbits/mcsema
Control Flow Recovery
Instruction Semantics
Binary File Parsing
Semantics Testing
We hope that this library is useful to the program analysis and reverse engineering community. Currently it supports the translation of semantics for x86 programs and supports subsets of integer arithmetic, floating point, and vector operations. Work is in progress, and additional semantics are constantly being added.
more here...........https://github.com/trailofbits/mcsema