Metadata-Version: 2.4
Name: amoco
Version: 2.9.11
Summary: yet another binary analysis framework
Author: Axel Tillequin
License: GPLv2
Keywords: binary analysis symbolic execution
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: GNU General Public License v2 or later (GPL-2.0-or-later)
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Information Analysis
Classifier: Topic :: Security
Classifier: Topic :: Software Development :: Disassemblers
Classifier: Topic :: Software Development :: Interpreters
License-File: LICENSE
Requires-Dist: grandalf>=0.8
Requires-Dist: crysp
Requires-Dist: pyparsing
Requires-Dist: traitlets
Requires-Dist: pygments
Requires-Dist: rich
Provides-Extra: app
Requires-Dist: click; extra == "app"
Requires-Dist: sqlalchemy; extra == "app"
Requires-Dist: z3-solver; extra == "app"
Requires-Dist: ccrawl>=1.9; extra == "app"
Requires-Dist: PySide6; extra == "app"
Requires-Dist: IPython; extra == "app"
Requires-Dist: textual; extra == "app"
Requires-Dist: prompt_toolkit>=3.0.28; extra == "app"
Dynamic: author
Dynamic: classifier
Dynamic: description
Dynamic: keywords
Dynamic: license
Dynamic: license-file
Dynamic: provides-extra
Dynamic: requires-dist
Dynamic: summary


Amoco is a python package dedicated to the (static) analysis of binaries.

It features:

- a generic framework for decoding instructions, developed to reduce
  the time needed to implement support for new architectures.
  For example the decoder for most IA32 instructions (general purpose)
  fits in less than 800 lines of Python.
  The full SPARCv8 RISC decoder (or the ARM THUMB-1 set as well) fits
  in less than 350 lines. The ARMv8 instruction set decoder is less than
  650 lines.
- a **symbolic** algebra module which allows to describe the semantics of
  every instructions and compute a functional representation of instruction
  blocks.
- a generic execution model wich provides an abstract memory model to deal
  with concrete or symbolic values transparently, and other system-dependent
  features.
- various classes implementing usual disassembly techniques like linear sweep,
  recursive traversal, or more elaborated techniques like path-predicate
  which relies on SAT/SMT solvers to proceed with discovering the control
  flow graph or even to implement techniques like DARE (Directed Automated
  Random Exploration).
- various generic "helpers" and arch-dependent pretty printers to allow
  custom look-and-feel configurations (think AT&T vs. Intel syntax,
  absolute vs. relative offsets, decimal or hex immediates, etc).
