# amoco 二进制符号分析软件包

> 用于二进制符号分析的 Python 软件包。它包含便于添加新架构的指令解码框架、描述指令语义的符号代数模块、抽象内存与执行模型，以及从线性扫描、递归遍历到基于求解器的路径谓词探索等反汇编技术。

- 类型：工具
- 目标：二进制
- 类别：二进制分析库
- 关联：基础工具
- 来源复核于：2026-11-06
- 收录于：2026-11-06
- 原始资源：<https://github.com/bdcht/amoco>
- 一手来源：<https://github.com/bdcht/amoco/blob/3e36c5247283a7abba57ce3c06910a7271ab1b9a/README.rst>
- 目录页面：<https://awesomerea.org/zh/resources/amoco/>
- 记录 JSON：<https://awesomerea.org/resources/amoco/record.json>
- 英文版：[English](https://awesomerea.org/resources/amoco/index.md)

## 使用条件与局限

- README 将 2.9 版标为开发中：x86 FPU 语义及 ARM SIMD、VFP、NEON、TrustZone、Jazelle 指令集尚未实现，部分基于求解器的反汇编策略尚未合入，也没有 IDB 导入导出功能。
- 依 LICENSE 采用 GPL-2.0 许可。

## 一手来源

1. <https://github.com/bdcht/amoco/blob/3e36c5247283a7abba57ce3c06910a7271ab1b9a/README.rst>

## 同分区更多条目：原生二进制

- [Chisel iOS LLDB 调试命令集](https://awesomerea.org/zh/resources/chisel-lldb/index.md) · 工具
- [gdbgui gdb 浏览器前端](https://awesomerea.org/zh/resources/gdbgui/index.md) · 工具
- [Porosity 以太坊字节码反编译器](https://awesomerea.org/zh/resources/porosity/index.md) · 工具
- [Xori 反汇编与静态分析库](https://awesomerea.org/zh/resources/xori/index.md) · 工具
- [binglide 文件数据类型可视化工具](https://awesomerea.org/zh/resources/binglide/index.md) · 工具
- [ERESI 逆向工程软件接口](https://awesomerea.org/zh/resources/eresi/index.md) · 工具

## 关于此条目

说明已依据一手来源复核。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。