Installation

Amoco is a pure python package which depends on the following packages:

• grandalf used for building, walking and rendering Control Flow Graphs

• crysp used by the generic intruction decoder (arch.core)

• traitlets used for managing the configuration

• pyparsing used for parsing instruction specifications

• rich used for terminal ui

Recommended optional packages are:

• z3 used to simplify expressions and solve constraints

• ccrawl used to define and import data structures

Some optional features related to UI and persistence require:

• click used to define amoco command-line app

• ply for parsing GNU as files

• sqlalchemy for persistence of amoco objects in a database

• pyside6 for the Qt-based graphical user interface

Installation is straightforward for most packages using pip. For a full package, from the amoco directory, just do:

pip install .