工具
amoco 二进制符号分析软件包
用于二进制符号分析的 Python 软件包。它包含便于添加新架构的指令解码框架、描述指令语义的符号代数模块、抽象内存与执行模型，以及从线性扫描、递归遍历到基于求解器的路径谓词探索等反汇编技术。
- 目标
- 二进制
- 类别
- 二进制分析库
- 关联
- 基础工具
- 来源复核于
使用条件与局限
- README 将 2.9 版标为开发中：x86 FPU 语义及 ARM SIMD、VFP、NEON、TrustZone、Jazelle 指令集尚未实现，部分基于求解器的反汇编策略尚未合入，也没有 IDB 导入导出功能。
- 依 LICENSE 采用 GPL-2.0 许可。
关于此条目
说明已依据一手来源复核。
一手来源
- README.rst GitHub · bdcht/amoco · 修订 3e36c52
同分区更多条目：原生二进制
- Chisel iOS LLDB 调试命令集 · 工具
- gdbgui gdb 浏览器前端 · 工具
- Porosity 以太坊字节码反编译器 · 工具
- Xori 反汇编与静态分析库 · 工具
- binglide 文件数据类型可视化工具 · 工具
- ERESI 逆向工程软件接口 · 工具