Remill/McSema安装和使用

最新推荐文章于 2024-05-15 09:43:14 发布
最新推荐文章于 2024-05-15 09:43:14 发布
阅读量1.7k 收藏
点赞数
分类专栏： 程序分析 文章标签： 中间语言
版权声明：本文为博主原创文章，遵循 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依赖的库及下载地址

  • Git Latest
    https://git-scm.com/ 直接安装
  • CMake 3.2+
    https://cmake.org/download/
    cmake-3.11.0-rc1-win64-x64.msi
    直接安装-勾选添加cmake到系统路径
  • Google Flags Latest
  • Google Log Latest
  • Google Test Latest
  • LLVM 3.5+、Clang 3.5+
    不知道为什么只有clang的Pre-Built Binaries
最低0.47元/天 解锁文章
qldxsun
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
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：用于将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的过程分为两个步骤：控
探秘Remill：强大的静态二进制翻译库
最新发布
gitblog_00032的博客
05-15 436
探秘Remill：强大的静态二进制翻译库 项目地址:https://gitcode.com/lifting-bits/remill Remill是一个革命性的开源项目，它将AArch64（64位ARMv8）、SPARC32（SPARCv8）、SPARC64（SPARCv9）、x86和amd64机器码转化为LLVM位码。其设计目标是准确地翻译指令，并作为其他工具，如McSema的库来使用。 项目简介...
mcsema, 用于将 x86，amd64和aarch64程序二进制程序提升到LLVM位码的框架.zip
10-10
mcsema, 用于将 x86，amd64和aarch64程序二进制程序提升到LLVM位码的框架 McSema McSema是一个可以执行的提升器。 它从本地机器代码到LLVM位码转换("的") 可执行二进制代码。 LLVM位码是最初为可以执行的可以重定向LLVM编译器创建的一个程序中间表示形式，但它对于直接执行程序分析是非常有
mcsema ida库引用
zhang14916的博客
08-05 401
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 288
remill 是一个能将机器码转化为 LLVM IR 的 library，这个 library 只专注于 LLVM IR 的提取 LLVM是构架编译器(compiler)的框架系统，以C++编写而成，用于优化以任意程序语言编写的程序的编译时间(compile-time)、链接时间(link-time)、运行时间(run-time)以及空闲时间(idle-time) 不同的前端后端使用统一的中间代码LLVM Intermediate Representation (LLVM IR) 如果需要支.
anvill:anvill从原始机器代码中伪造出精美的LLVM位代码
04-08
Trail of Bits托管可下载的预构建版本的库，以供选择的操作系统使用，这大大简化了Anvill的安装和运行。 但是，下表代表了Anvill的大多数依赖项。 姓名 版本 最新的 3.14+ 11.0+ 最新的 3.9 7.5+ 最新的 获取和...
探索McSema：逆向工程的新纪元
gitblog_00083的博客
03-23 483
探索McSema：逆向工程的新纪元 项目地址:https://gitcode.com/trailofbits/mcsema McSema 是一个开源项目，由Trail of Bits团队开发，旨在帮助安全研究人员和开发者进行二进制代码的迁移和静态分析。通过将原生机器码转换为LLVM IR（中间表示语言），McSema打开了一扇门，让我们能够利用现代静态分析工具对二进制代码进行深度研究。 技术解析 ...
论文研究-基于语义的多文种编码方案SemaCode.pdf
07-22
分析了现有的几种常用编码方案的优点和缺陷，并提出了一个基于语义的多文种编码方案SemaCode及其模型。SemaCode模型分为六个层次，分别为交换传输层、字符码位层、词码位层、属性层、语义层和应用接口层。SemaCode是一种面向信息处理、可扩展的多文种编码方案，它在码位层SemaCode以字符为单位编码，并在编码中嵌入文种信息；在词码位层提出了以语义为轴心，以词为单位的编码理念；在属性层引入了一种对编码进行描述的标签机制，使得编码具有良好的可描述性和可扩展性；另外，在语义层以及其他层次提出了基于码位和描述协议的语义表示方法，并使得SemaCode成为一种具有部分可计算特性的编码方案。最后，在与Unicode对比的基础上，分析了SemaCode所具有的优势。
Literature_review：以机器代码为重点的程序分析研究概览
02-20
列表的原始来源： : 漏洞利用的机械化 二元分析 基于Moflow BAP的工具进行崩溃后图形后溢切片，崩溃后前向符号仿真以寻找更多可利用的条件，基于SAGE的白盒测试 Mcsema是基于LLVM的重写和静态分析框架 将LLVM位码导出到Datalog工作区的工具 Dagger是基于LLVM的反编译框架 ， ， （ ） LLVM IR的与体系结构无关的反编译器 DECAF- Binwalk：固件分析工具 Angr： ：//angr.io/ Triton是一个DBA，提供动态符号执行（DSE），Taint引擎，用于x86 / x86-64的AST和SMT求解器 通信协议分析 Netzob是用于逆向工程，通信量生成和通信协议模糊化的开源工具。 它允许通过被动和主动过程来推断消息格式和协议的状态机。 此后，该模型可用于模拟现实且可控制的交通。 通信协议确定网
llvm基本命令
zhang14916的博客
03-13 2907
1.将C语言代码转换成llvm ir: clang -emit-llvm -S multiply.c -o multiply.ll或 clang -cc1 -emit-llvm testfile.c -o testfile.ll 2.把ll文件的LLVM IR转为bitcode格式 llvm-as test.ll –o test.bc 3.通过以下命令可把bc文件中LLVM bitc...
二进制及代码分析工具
子曰小玖的博客
09-20 2836
二进制及代码分析工具： 吾爱破解论坛【爱盘】3.0 在线破解工具包https://github.com/ganlvtech/down_52pojie_cn Angrhttp://angr.io/ BAPhttps://github.com/BinaryAnalysisPlatform/bap Binary Ninjahttps://binary.ninja/ Bistrohtt...
linux怎么运行amd64,Ubuntu 10.04 amd64安装和配置
weixin_36286464的博客
05-06 1588
先晒下系统信息(老机了)：Linux mepc 2.6.32-21-generic #32-Ubuntu SMP Fri Apr 16 08:09:38 UTC 2010 x86_64 GNU/LinuxUbuntu 10.04 LTS \n \lprocessor : 0vendor_id : AuthenticAMDcpu family : 15model : 4model name : AM...
js反混淆还原工具_SATURN反混淆框架
weixin_39797686的博客
11-27 2039
本文为看雪论坛精华文章看雪论坛作者ID：梦野间摘要：近几年，软件的混淆强度一直在不断提升。基于编译器的混淆已经成为业界事实上的标准，最近的一些论文也表明软件的保护方式使用的是编译器级别的混淆。在这篇文章中，我们会介绍一个基于LLVM的通用的反混淆和混淆代码重编译的方式。我们会展示如何将二进制代码提升为编译器中间语言LLVM-IR，并解释如何使用基于编译器级的优化和可满足性模理论(SMT)...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值