amoco下载 - amoco源代码下载

amoco

其他类别

1.0.0

下载

amoco

地位：	正在开发
版本：	2.9（3.0前）
文档：	http://amoco.readthedocs.io/en/latest/index.html

描述

Amoco是用于二进制符号分析的Python软件包。

它的特征：

用于解码说明的通用框架，用于减少实施新体系结构支持所需的时间。例如，用于大多数IA32指令的解码器（通用）适合少于800行Python。完整的SPARCV8 RISC解码器（或ARM Thumb-1集）适合少于350行。 ARMV8指令集解码器小于650行。
符号代数模块，允许描述每个指令的语义并计算指令块的功能表示。
一个通用的执行模型，该模型提供了一个抽象的存储模型，可以透明地处理具体或符号值，以及其他与系统有关的功能。
各种类别实施常规的拆卸技术，例如线性扫描，递归遍历或更多详细技术，例如路径 - 偏用技术，这些技术依赖于SAT/SMT求解器来继续发现控制流程图，甚至可以实现诸如DARE（定向自动化的随机探索）之类的技术。
各种通用的助手和依赖Arch的漂亮打印机允许自定义的外观配置（想想AT＆T与英特尔语法，绝对偏移，相对偏移，十进制或即时六角形等）。

Amoco仍在进行中。有关从开发分支合并或更彻底实施的功能列表，请参见TODO。

可以在http://amoco.readthedocs.io/en/latest/index.html上找到用户文档和API

doc/amo_emu_inherit.png

托多

AMOCO的某些组成部分仍在将其推向释放分支或进一步开发。更精确：

X86 FPU指令语义尚未实施，
Arm Simd，VFP，Neon，Trustzone，Jazelle指令集未实施，
一些基于求解器的拆卸策略尚未合并。
IDB导入/导出功能未实现。

欢迎实现未完成/未完成的零件的贡献。

开发人员注意

默认的QT样式表的灵感来自出色的QDarkStyleSheet，并通过从生成的RC_ICONS.PY模块提供的QResource API中使用其大多数图标：

 <pyenv>/lib/python3。<x>/site -packages/pyside6/rcc -g python icons.qrc> rc_icons.pypy

执照

请参阅许可证。

ChangElog

v2.9.11
- 将默认的UI术语引擎从碎屑更改为富度
- 添加emudata orm对象以保存模拟器状态
- 在Emul UI中添加保存/还原命令
- 实现CallStack逻辑
- 在eMul UI中添加呼叫箱框架
- 在Emul UI中添加DEBUG命令
- 为结构添加structview类漂亮打印
- 修复X86 MMU_CACHE逻辑（Flush＆Misses）
- 将默认操作从codeql更改为ruff
- 基于皱纹检查的重构代码
v2.9.10
- x86：添加对实数执行的支持
- X86：增加对分段/分页的全部支持
- 添加Baremetal-X86用于BIOS固件分析的系统
- 合并新的Arch.io模块来定义iOS的存根
- 合并cas.blobs模块
- 添加rep stos/lods/scas/movs的快速版本
- 在eMul类中添加跟踪点方法
- 增加对PE资源的支持
- 改善Amoco应用程序load/emul命令
- 添加set，显示，nexti，直到在emul ui中
v2.9.9
- 添加PPC32（E200）体系结构
- 添加对COFF可执行格式的支持
- 为GDB跟踪文件添加解析器
- 改善结构子包
v2.9.8
- 更新到Pyside6（QT6）
- 添加Ole2格式
- 更新结构子弹以允许选择的指针尺寸
- AVR体系结构的部分更新
v2.9.7
- 放下python <3.8支持
- 改进结构软件包，以用于BITFIELD支持和计算选定的指针尺寸（32或64位）的场外偏移
v2.9.6
- 合并QT GUI ImageView
- 通过熵和infoview改善QT GUI BINFMTVIEW/HEXVIEW
- 添加特定的Mach-O视图
- 改善对QT UI暗模式的支持
- 添加Tricore架构
- 添加W65C02体系结构
- 添加WASM架构
- 添加WASM二进制格式解析器
- 将模块移动到软件包中
v2.9.5
- 合并QT GUI BINFMTVIEW/HEXVIEW
- 修复各种ARM说明的解码器和语义
- 添加结构视图以及特定的精灵和PE视图
- 添加对QT UI暗模式的支持
- 添加MIPS装载机
- 在结构中添加Bitfield支持
v2.9.4
- 添加MIPS_LE/SPARC/RISCV的Linux32装载机
- 更新WIN32/WIN64系统接口
- 添加映射器支持非交流管道
- 修复MIPS R3000负载/商店延迟管道效果
- 添加ArchView类
- 添加RISCV64体系结构（RISCV.RV64I）
- 为规格添加前提测试
- 更新所有拱形规格以避免发生冲突
- 改进/修复各种拱形格式
- 修复X86解析器
v2.9.3
- 合并/更新DBGUI EMUL和SRV命令
- 合并/更新模拟器视图
- 添加PSX系统
- 添加MIPS架构（仅R3000）
- 改善对配置更改的支持
- 返工ext/存根接口
- 固定SPARC格式
- 修复PE32+ DataDirectories解析
v2.9.2
- 准备与DBGUI合并
- 丢弃Python 2.7支持
- 返工子包/模块导入和记录
- 各种代码消毒
- 黑色来源
v2.9.1
- 添加MACH-O加载程序和System.OSX骨架
- 改善仿真器模块
- 添加服务器和基本客户端CMDCLI UI
- 修复各种错误/警告
v2.9.0
- 添加模拟器模块的骨骼（Emul类）
- 重组系统模块为子包
- 添加系统，操作系统，任务和Definestub类
- 添加AVR架构
- 修改的块类=> map属性移动到CFG.Node类
- 在系统中移动内存类。MEMORY模块
- 在“ SA”子包中移动CFG分析类
- 改进调试日志
- 用Amoco改进PE/ELF解析器。
- 在小精灵类中添加checksec方法
- 修复ARMV7语义和格式
v2.6.3
- 添加矮架构
- 更新并改善精灵装载器
- 改善表达式简化了Shifts+和OPS
- 合并可变长度结构字段类“ varfield”
v2.6.2
- 修复对结构“ slop”的支持
- 允许结构的自定义对齐
v2.6.1
- 默认使用本地结构尺寸/净化
v2.6.0
- 添加V850（E2S）体系结构
- 添加SH2-A架构
- 增加支持分析i.mx6 HAB结构的支持
- 合并AVR架构
- 添加系统/结构类
- 从Amoco树中导出“爬网”（libclang c-to-tocusts）
- 添加EBPF说明语义
- 添加对（旧）BPF指令规格的支持
- 增加对十六进制/SREC二进制格式的支持
- 添加内存图'合并'方法
- 在CoreExec（模拟器）中添加“ step_instruction”方法
- 增加对UFS结构的支持
- 合并UI的信号调度程序
- 改善Setuptools支持
- 删除毒品并仅依靠Travis
- 改善ARMV7说明语义和代码帮助者
- 改进ARMV7指令规格和格式
- 添加规格树调试级记录
- 修复具有Bigendian可变长度指令的拱门的解码器
- 通过扩展Fetcher的指示提高解码器的效率
- 添加对SPARC的PYGMENTS支持，MSP430指令格式
- 改善表达式扩大
- 改进配置模块
v2.5.3
- 第77号问题的完整修复（典型的X64疯狂）
v2.5.2
- 问题＃77（github）的部分修复与X64 Arch上的LEA指令语义有关。
v2.5.1
- 添加RISC-V架构
- 添加EBPF架构
- 如果支持
- 添加RISCV Architecture所需的不太分类（LTU）和更大或平等的（GEU）操作员
- 修复更简化的方法来表达
- 用“ BITSLICE”可选参数改进简化方法
- 改进映射器内存界面
- 修复smt model_to_mapper方法
- 添加CFG“点”格式（基本）输出
- 在Elf和PE类中添加“ GetFileOffset”方法
- 删除全球末端标志
- 更新X86/X64格式，以与GNU兼容AS和Clang
- 添加一些X86/X64指令语义（Movnti，Wbinvd，div，...）
- 修复一些X86/X64稀有说明规格（PMOVMSKB，...）
v2.5.0
- 支持Python3（> = 3.5）
- 允许加载多个CPU拱门（修复第21和＃64）
- 更新readme和phinx文档
v2.4.6
- 添加Sphinx文档（第一个文件和DocStrings）
- 为主要类添加功能方法
- 改善精灵漂亮的印刷
- 更改DB模块以使用SQLalchemy而不是ZODB
- 使所有对象可拾取（具有最高协议）
- 添加新的x86＆x64格式
- 修复许多X64规格和语义
- 一些绩效改进
- 改善简化MEM（VEC）和SLC（VEC）
- 修复slc.simplify for'**'操作员
v2.4.5
- 添加x86/x64内部'模式'选择器
- 为标签添加“实验室”表达式
- 通过“ GREP”方法改善内存Zone/MAP
- 改善内存zone以允许“转移”到某个地址
- 改善X86 AT＆T格式
- 添加X64解码器测试
- 修复X64 RIP搭配的地址模式
- 修复许多X64规格
- 添加X64包装的教义语义
- 修复各种X86 SSE说明
- 修复各种X86问题（Fisttp/SETCC/PUSH IMM8/MOVQ）
v2.4.4
- 添加一些SSE教学语义
- 添加UI.Graphics QT软件包，带有块/func/xfunc项目类
- 添加初始UI.Graphics GTK软件包
- 在UI.Views.BlockView类中移动VLTable
- 修复各种X86/64解码/构造/语义
v2.4.3
- 添加UI.Graphics软件包（倒空）
- 添加UI.Views模块，并支持块/func/xfunc
- 将ui.render.vltable类添加到漂亮的打印表
- 改进指令格式课程以访问PP令牌
- 清洁的ITERCFG和Lbackward算法
- 添加VECW表达类以表示“加宽” VEC表达式
- 改善VEC表达式的记忆写作
- 改善func.makemap（）中的延伸和固定点
- 添加“类型”属性（std/pc/flags/stack/other）
- 定义X86 Arch的寄存器类型
- 修复一些X86/64解码/构造/语义
- 更新Travis配置，修复Pytest vs.令牌。
v2.4.2
- 合并对Pygments的支持漂亮的打印方法（在UI.Render模块中）
- 添加X86 Hilighted语法格式化（在Arch.x86.formats中）
- 展示表达式的漂亮打印接口（exp.pp（），exp.toks（））
- 删除默认配置类后备（configparser是标准）
- 合并一些样品和测试，这些样本和测试已移植到Pytest软件包
- 使用setuptools，添加tox.ini和travis-ci配置
- 修复一些x86/x64语义
- 改善SPARC V8格式
- 添加SPARC协处理器寄存器
- 更新readme
v2.4.1
- 添加lbackward分析和func.makemap（）实现
- 添加VEC表达类以表示一组表达式
- 添加映射器合并并扩大功能
- 允许在exp.to_smtlib（）中传递SMT Solver实例
- 在基于X86的系统类中添加funchelpers方法
- 添加会话/DB类和泡菜特定的方法
- 在日志类中添加“进度”方法以提供反馈
- 在setup.py中添加所需的外部软件包
- 修复一些x86/x64语义
- 改善SPARC V8格式
- 更新readme
v2.4.0
- 合并Z3求解器接口，请参见Smt.py和Smtlib（）EXP方法
- 合并回合分析和代码弹性类。
- 改善表达式：单独的一元和二进制操作，“标准化”表达式
- 使用MOMEME（）方法和耐熔化的构图运算符改进映射器
- 改善内存Zone类：返回顶级表达式部分，而不是提高内存eRROR。
- 为类似外壳的输入添加RAWEXEC类
- 支持ELF/PE类中的字符串输入。
- 修复各种x86/x64错误
- 防止调整ENV登记册的大小
- 添加Win64加载器
- 调整conf的日志级别和可选文件
- 更新readme
v2.3.5
- 添加X64 Arch +完整X86/64 SSE解码器
- {88}/{8a} mov指令的hotfix x86/x64反转
- 修复各种X86解码器和语义
- 代码化妆品
v2.3.4
- 合并ARMV7/拇指固定语义
- 添加X86 FPU解码器
- 在内存图中添加定位函数
- 在地图边界上修复核心read_instruction
- 修复PE导入解析和TLS表构建器
- 更快的通用解码器
- hotfix各种x86解码器
- 添加一些X86 SSE解码器
v2.3.3
- 支持MSP430和PIC18微控制器
- 修复SPARC RETT，UDIV/SDIV和格式
- 修复X86 JCXZ指令解码
v2.3.2
- 合并Z80/GB体系结构，修复SPARC报告了问题
- 添加SSE2解码的示例（固定）
v2.3.1
- 添加许可证文件
- 修复SPARC架构
- 当地址不是deref时，请避免使用PTR
- 修复eqn_helpers简化规则
- REDME更新了
- 新的PE类（在COST.EXE上测试） +对多个入口点的支持。