forked from bdcht/amoco
-
Notifications
You must be signed in to change notification settings - Fork 0
/
setup.py
85 lines (81 loc) · 2.85 KB
/
setup.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
from setuptools import setup, find_packages
long_descr = """
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).
"""
setup(
name="amoco",
version="2.9.11",
description="yet another binary analysis framework",
long_description=long_descr,
# Metadata
author="Axel Tillequin",
license="GPLv2",
classifiers=[
"Development Status :: 3 - Alpha",
"Intended Audience :: Developers",
"License :: OSI Approved :: GNU General Public License v2 (GPLv2)",
"Programming Language :: Python :: 3",
"Topic :: Scientific/Engineering :: Information Analysis",
"Topic :: Security",
"Topic :: Software Development :: Disassemblers",
"Topic :: Software Development :: Interpreters",
],
keywords="binary analysis symbolic execution",
packages=find_packages(exclude=["doc", "tests*"]),
setup_requires=[
"pytest-runner",
],
tests_require=[
"pytest",
],
install_requires=[
"grandalf>=0.8",
"crysp>=1.2",
"pyparsing",
"traitlets",
"pygments",
"rich",
],
entry_points={
"console_scripts": ["amoco=amoco.ui.app:cli [app]"],
},
extras_require={
"app": [
"click",
"sqlalchemy",
"z3-solver",
"ccrawl>=1.9",
"PySide6",
"IPython",
"textual",
"prompt_toolkit>=3.0.28",
],
},
package_data={
"amoco.ui.graphics.qt_": ["*.qml", "*.qss"],
"amoco.ui.graphics.textual_": ["*.tcss"],
},
data_files=[],
)