麦克塞玛 McSema是可执行文件。 它将可执行二进制文件从本机代码转换（“提升”）为LLVM位代码。 LLVM位码是程序的形式，最初是为可创建的，但对于执行无法直接在可执行二进制文件上执行的程序分析方法也非常有用。 McSema使分析师能够查找和追溯二进制程序，以解决安全漏洞，独立验证供应商源代码并生成具有高代码覆盖率的应用程序测试。 McSema不仅用于静态分析。 提升后的LLVM位代码也可以进行是基于LLVM的检测，否则将需要目标源代码。 提升的位代码甚至可以回！ 这是一个称为静态二进