{
  "added_at": "2026-11-06",
  "category": "binary-libraries",
  "description_en": "Python package for symbolic analysis of binaries. It combines an instruction-decoding framework for adding architectures, a symbolic algebra module that describes instruction semantics, an abstract memory and execution model, and disassembly techniques from linear sweep and recursive traversal to solver-based path-predicate exploration.",
  "description_zh": "用于二进制符号分析的 Python 软件包。它包含便于添加新架构的指令解码框架、描述指令语义的符号代数模块、抽象内存与执行模型，以及从线性扫描、递归遍历到基于求解器的路径谓词探索等反汇编技术。",
  "entry_url": "https://awesomerea.org/resources/amoco/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/amoco/",
  "evidence_url": "https://github.com/bdcht/amoco/blob/3e36c5247283a7abba57ce3c06910a7271ab1b9a/README.rst",
  "group": "tools",
  "id": "amoco",
  "json_url": "https://awesomerea.org/resources/amoco/record.json",
  "kind": "tool",
  "markdown_url": "https://awesomerea.org/resources/amoco/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/amoco/index.md",
  "name": "amoco",
  "name_zh": "amoco 二进制符号分析软件包",
  "record_type": "resource",
  "relationship": "foundation",
  "requirements": [
    "The README marks version 2.9 as under development: x86 FPU semantics and ARM SIMD, VFP, NEON, TrustZone and Jazelle instruction sets are not implemented, some solver-based disassembly strategies are unmerged, and IDB import and export are missing.",
    "GPL-2.0 per LICENSE."
  ],
  "requirements_zh": [
    "README 将 2.9 版标为开发中：x86 FPU 语义及 ARM SIMD、VFP、NEON、TrustZone、Jazelle 指令集尚未实现，部分基于求解器的反汇编策略尚未合入，也没有 IDB 导入导出功能。",
    "依 LICENSE 采用 GPL-2.0 许可。"
  ],
  "targets": [
    "binary"
  ],
  "url": "https://github.com/bdcht/amoco",
  "verification": "source-reviewed",
  "verified_at": "2026-11-06"
}