Remill/McSema安装和使用

最新推荐文章于 2025-06-20 10:10:11 发布
最新推荐文章于 2025-06-20 10:10:11 发布
阅读量1.8k 收藏
点赞数
CC 4.0 BY-SA版权
分类专栏： 程序分析 文章标签： 中间语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qldxsun/article/details/79386004

Windows环境下将x86指令转换为LLVM

运行环境

Win7 64 bit
IDA Pro 6.8+

Git地址

https://github.com/trailofbits/remill
https://github.com/trailofbits/mcsema

目标

由于对LLVM不甚了解，还不知道输出的是什么东西，应该是LLVM字节码

方法

由于McSema基于Remill实现，所以先安装Remill

Remill依赖的库及下载地址

最低0.47元/天 解锁文章

新学期VIP享超值加赠
【译】二进制代码相似性综述
qq_39898238的博客
08-24 4274
精读二进制代码相似性综述
mcsema：用于将x86，amd64，aarch64，sparc32和sparc64程序二进制文件提升为LLVM位代码的框架
02-16
麦克塞玛 McSema是可执行文件。 它将可执行二进制文件从本机代码转换（“提升”）为LLVM位代码。 LLVM位码是程序的形式，最初是为可创建的，但对于执行无法直接在可执行二进制文件上执行的程序分析方法也非常有用。 McSema使分析师能够查找和追溯二进制程序，以解决安全漏洞，独立验证供应商源代码并生成具有高代码覆盖率的应用程序测试。 McSema不仅用于静态分析。 提升后的LLVM位代码也可以进行是基于LLVM的检测，否则将需要目标源代码。 提升的位代码甚至可以回！ 这是一个称为静态二进制重写，二进制转换或二进制重新编译的过程。 McSema支持提升Linux（ELF）和Windows（PE）可执行文件，并了解大多数x86和amd64指令，包括整数，X87，MMX，SSE和AVX操作。 AARCH64（ARMv8）指令支持正在积极开发中。 使用McSema的过程分为两个步骤：控
mcsema, 用于将 x86，amd64和aarch64程序二进制程序提升到LLVM位码的框架.zip
10-10
mcsema, 用于将 x86，amd64和aarch64程序二进制程序提升到LLVM位码的框架 McSema McSema是一个可以执行的提升器。 它从本地机器代码到LLVM位码转换("的") 可执行二进制代码。 LLVM位码是最初为可以执行的可以重定向LLVM编译器创建的一个程序中间表示形式，但它对于直接执行程序分析是非常有
McSema项目实战：从二进制文件到LLVM IR的完整转换指南
最新发布
gitblog_00593的博客
06-20 348
McSema项目实战：从二进制文件到LLVM IR的完整转换指南 前言 在逆向工程和程序分析领域，将编译后的二进制文件转换回中间表示(IR)是一项极具挑战性的任务。McSema项目正是为解决这一问题而生，它能够将x86/x64架构的二进制文件转换为LLVM IR，为后续的分析、修改和重新编译提供了可能。本文将详细介绍如何使用McSema工具链完成从二进制到LLVM IR再到可执行文件的完整转换过程...
mcsema ida库引用
zhang14916的博客
08-05 458
mcsema中python文件是放在/usr/local/lib/python2.7/dist-packages/mcsema_disass-2.0-py2.7.egg/mcsema_disass/目录下，所以一些ida接口也在/usr/local/lib/python2.7/dist-packages/mcsema_disass-2.0-py2.7.egg/mcsema_disass/下，在普通...
remill
weixin_50498217的博客
10-22 411
remill 是一个能将机器码转化为 LLVM IR 的 library，这个 library 只专注于 LLVM IR 的提取 LLVM是构架编译器(compiler)的框架系统，以C++编写而成，用于优化以任意程序语言编写的程序的编译时间(compile-time)、链接时间(link-time)、运行时间(run-time)以及空闲时间(idle-time) 不同的前端后端使用统一的中间代码LLVM Intermediate Representation (LLVM IR) 如果需要支.
Remill库：将多种架构机器代码转换为LLVM位代码
通常，'master'分支代表了项目的最新稳定版本，适合用户进行常规的下载和安装操作。" 通过上述描述，可以看出Remill是一个强大的静态二进制转换器，它通过将不同架构的机器代码提升为统一的LLVM IR，帮助开发者在多...
anvill:anvill从原始机器代码中伪造出精美的LLVM位代码
04-08
Trail of Bits托管可下载的预构建版本的库，以供选择的操作系统使用，这大大简化了Anvill的安装和运行。 但是，下表代表了Anvill的大多数依赖项。 姓名 版本 最新的 3.14+ 11.0+ 最新的 3.9 7.5+ 最新的 获取和...
remill:用于将x86，amd64和aarch64机器代码提升为LLVM位代码的库
04-28
再磨 Remill是一个静态二进制转换器，可将机器代码指令转换为代码。 它将AArch64（64位ARMv8），SPARC32（SPARCv8），SPARC64（SPARCv9），x86和amd64机器代码（包括AVX和AVX512）转换为LLVM位代码。 AArch32（32位ARMv8 / ARMv7）支持正在进行中。 Remill专注于准确的起吊说明。 它打算用作其他工具（例如的库。 建置状态 附加文件 获得帮助 如果您在Remill上遇到未记录的问题，请在的#binary-lifting渠道中寻求帮助。 支持平台 Remill在Linux平台上受支持，并已在Ubuntu 14.04、16.04和18.04上进行了测试。 Remill还可以在macOS上运行，并且对Windows具有实验性的支持。 还可以通过Docker构建RemillLinux版本，以进行更快的测试。 依存关
探索McSema：逆向工程的新纪元
gitblog_00083的博客
03-23 621
探索McSema：逆向工程的新纪元 mcsema 项目地址: https://gitcode.com/gh_mirrors/mcs/mcsema 是一个开源项目，由Trail of Bits团队开发，旨在帮...
Remill 项目使用与启动教程
gitblog_00934的博客
03-31 638
Remill 项目使用与启动教程 1. 项目介绍 Remill 是一个静态二进制翻译器，它将机器代码指令转换为 LLVM 位码。它支持 AArch64（64位 ARMv8）、SPARC32（SPARCv8）、SPARC64（SPARCv9）、x86 和 amd64 机器代码（包括 AVX 和 AVX512）到 LLVM 位码的转换。AArch32（32位 ARMv8 / ARMv7）的支持也在开发...
符号化执行引擎对比
m0_37907383的博客
04-22 2135
随着fuzz技术的发展，发现以AFL为代表coverage-guided的fuzz引擎达到一个瓶颈，因为是盲目的，所以现在有很流行的方法——加入符号化执行。比如Driller、QSYM、和我讲过的SAVIOR，这三个都很大的提高了fuzz的效率。但是符号化执行也是和fuzz一样复杂而内容丰富的领域，这里就把最近看的一个文章跟大家分享下，简单介绍几个流行的符号化执行。 [1]Roberto Bal...
McSema项目中的DEF文件生成工具解析
gitblog_00210的博客
06-20 376
在二进制分析领域，McSema作为一款强大的可执行文件提升工具，能够将原生机器代码转换为LLVM bitcode（位码）。然而，在实际应用中，当McSema遇到调用约定或参数数量未知的外部函数时，控制流图（CFG，Control Flow Graph）恢复过程往往会失败。这正是DEF文件生成工具发挥关键作用的场景。 本文将深入解析McSema项目中的DEF文件生成工具，探讨其设计原理、工作机制以...
js反混淆还原工具_SATURN反混淆框架
weixin_39797686的博客
11-27 2275
本文为看雪论坛精华文章看雪论坛作者ID：梦野间摘要：近几年，软件的混淆强度一直在不断提升。基于编译器的混淆已经成为业界事实上的标准，最近的一些论文也表明软件的保护方式使用的是编译器级别的混淆。在这篇文章中，我们会介绍一个基于LLVM的通用的反混淆和混淆代码重编译的方式。我们会展示如何将二进制代码提升为编译器中间语言LLVM-IR，并解释如何使用基于编译器级的优化和可满足性模理论(SMT)...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值