用于将x86、amd64、aarch64、sparc32和sparc64程序二进制文件提升为LLVM位码的框架
McSema 是一个可执行文件提升器。它将可执行二进制文件从原生机器码转换为 LLVM 位码。LLVM 位码是一种程序的[中间表示](https://en.wikipedia.org/wiki/Intermediate_representation)形式，最初是为[可重定向的 LLVM 编译器](https://llvm.org)而创建的，但它也非常适用于执行那些无法直接在可执行二进制文件上进行的程序分析方法。 McSema使分析人员能够发现并追溯性地加固二进制程序以防范安全漏洞，独立验证供应商源代码，并生成具有高代码覆盖率的应用程序测试。McSema不仅适用于静态分析。提升后的LLVM位码还可以[使用libFuzzer进行模糊测试](https://github.com/lifting-bits/mcsema/blob/master/docs/UsingLibFuzzer.md)，libFuzzer是一种基于LLVM的插桩模糊测试器，否则需要目标源代码。提升后的位码甚至可以被[编译](https://github.com/lifting-bits/mcsema/blob/master/docs/UsingLibFuzzer.md)回[可运行的程序](https://github.com/lifting-bits/mcsema/blob/master/docs/McSemaWalkthrough.md)！这一过程被称为静态二进制重写、二进制翻译或二进制重编译。 McSema 支持加载 Linux (ELF) 和 Windows (PE) 可执行文件,并支持大多数 x86 和 amd64 指令,包括整数、X87、MMX、SSE 和 AVX 操作。AARCH64 (ARMv8) 指令支持正在积极开发中。 使用 McSema 有一个两步骤的过程:控制流恢复和指令翻译。控制流恢复使用 `mcsema-disass` 工具来完成,该工具依赖 IDA Pro 来反汇编二进制文件并生成控制流图。然后使用 `mcsema-lift` 工具来执行指令翻译,该工具将控制流图转换为 LLVM 位码。在 `mcsema-lift` 的指令翻译功能的实现中,使用了 [`remill` 库](https://github.com/lifting-bits/remill)。`remill` 的开发是基于对 McSema 的重构和改进,最初是在 `mcsema` 1.0 版本中实现的。
暂无开放 Issues，或尚未同步最近议题。