# amoco

> 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.

- Type: Tool
- Targets: Binary
- Category: Binary analysis libraries
- Relationship: Foundation tool
- Sources reviewed: 2026-11-06
- Added to the catalog: 2026-11-06
- Original resource: <https://github.com/bdcht/amoco>
- Primary source: <https://github.com/bdcht/amoco/blob/3e36c5247283a7abba57ce3c06910a7271ab1b9a/README.rst>
- Catalog page: <https://awesomerea.org/resources/amoco/>
- Record JSON: <https://awesomerea.org/resources/amoco/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/resources/amoco/index.md)

## Requirements & limits

- 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.

## Primary sources

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

## More in Native binaries

- [Chisel](https://awesomerea.org/resources/chisel-lldb/index.md) · Tool
- [gdbgui](https://awesomerea.org/resources/gdbgui/index.md) · Tool
- [Porosity](https://awesomerea.org/resources/porosity/index.md) · Tool
- [Xori](https://awesomerea.org/resources/xori/index.md) · Tool
- [binglide](https://awesomerea.org/resources/binglide/index.md) · Tool
- [ERESI](https://awesomerea.org/resources/eresi/index.md) · Tool

## About this entry

The description was reviewed against primary sources.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.