Amoco v2.5.3版本:用于分析二进制文件的工具
首页 > 安全    作者:stranger   2018年10月8日 20:26 星期一   热度:279°   百度已收录  
时间:2018-10-8 20:26   热度:279° 

Amoco是一个专门用于二进制(静态)分析的python包。
它的特点是:
用于解码指令的通用框架,用于减少实现新架构支持所需的时间。例如,大多数IA32指令(通用)的解码器适合少于800行的Python。完整的SPARCv8 RISC解码器(或ARM THUMB-1设置)适用于少于350行。 ARMv8指令集解码器少于650行。
符号代数模块,允许描述每条指令的语义并计算指令块的功能表示。
通用执行模型,提供抽象的内存模型,以透明地处理具体或符号值以及其他依赖于系统的特性。

Amoco
各种类实现通常的反汇编技术,如线性扫描,递归遍历,或更精细的技术,如路径谓词,依赖于SAT / SMT求解器继续发现控制流图,甚至实现DARE(定向自动随机探测)等技术。
各种通用的“助手”和依赖于拱形的漂亮打印机,允许自定义的外观配置(想想AT&T与英特尔语法,绝对与相对偏移,十进制或十六进制立即等)。
持久数据库工具,允许将发现的图形与另一个先前分析的代码进行比较。
一个图形用户界面,既可以作为独立客户端运行,也可以作为IDA插件运行。
安装
git clone https://github.com/bdcht/amoco.git
cd amoco
python setup.py install

二维码加载中...
本文作者:stranger      文章标题: Amoco v2.5.3版本:用于分析二进制文件的工具
本文地址:http://biocyborg.cn/Amoco
版权声明:若无注明,本文皆为“biocyborg博客”原创,转载请保留文章出处。
正文到此结束



版权所有:biocyborg博客     ICP备案号:冀ICP备18028496号    本站在危难中运行: