|
| 1 | +[build-system] |
| 2 | +requires = ["flit_core >=3.2,<4"] |
| 3 | +build-backend = "flit_core.buildapi" |
| 4 | + |
| 5 | +[project] |
| 6 | +name = "manticore" |
| 7 | +version = "0.3.7" |
| 8 | +description = "Manticore is a symbolic execution tool for analysis of binaries and smart contracts." |
| 9 | +readme = "README.md" |
| 10 | +license = { file = "LICENSE" } |
| 11 | +authors = [ |
| 12 | + { name = "Trail of Bits", email = "opensource@trailofbits.com" } |
| 13 | +] |
| 14 | +classifiers = [ |
| 15 | + "License :: OSI Approved :: GNU Affero General Public License v3", |
| 16 | + "Programming Language :: Python :: 3 :: Only", |
| 17 | + "Programming Language :: Python :: 3", |
| 18 | + "Programming Language :: Python :: 3.7", |
| 19 | + "Programming Language :: Python :: 3.8", |
| 20 | + "Programming Language :: Python :: 3.9", |
| 21 | + "Development Status :: 7 - Inactive", |
| 22 | + "Intended Audience :: Science/Research", |
| 23 | + "Intended Audience :: Developers", |
| 24 | + "Topic :: Security", |
| 25 | +] |
| 26 | +dependencies = [ |
| 27 | + "pyyaml", |
| 28 | + "pysha3", |
| 29 | + "protobuf~=3.20", |
| 30 | + "prettytable", |
| 31 | + "ply", |
| 32 | + "rlp", |
| 33 | + "intervaltree", |
| 34 | + "crytic-compile>=0.2.2", |
| 35 | + "wasm-tob @ git+https://github.com/trailofbits/wasm-tob.git", |
| 36 | + "pyevmasm>=0.2.3", |
| 37 | + "z3-solver", |
| 38 | +] |
| 39 | +requires-python = "<3.11,>=3.7" |
| 40 | + |
| 41 | +[project.urls] |
| 42 | +Homepage = "https://pypi.org/project/manticore/" |
| 43 | +Issues = "https://github.com/trailofbits/manticore/issues" |
| 44 | +Source = "https://github.com/trailofbits/manticore" |
| 45 | + |
| 46 | +[project.scripts] |
| 47 | +manticore = "manticore.__main__:main" |
| 48 | +manticore-verifier = "manticore.ethereum.verifier:main" |
| 49 | + |
| 50 | +[project.optional-dependencies] |
| 51 | +native = [ |
| 52 | + "capstone==5.0.0rc2", |
| 53 | + "pyelftools", |
| 54 | + "unicorn~=2.0", |
| 55 | +] |
| 56 | +redis = ["redis"] |
| 57 | +lint = [ |
| 58 | + "black~=22.0", |
| 59 | + "mypy==0.790", |
| 60 | +] |
| 61 | +dev-noks = [ |
| 62 | + "build", |
| 63 | + "manticore[lint]", |
| 64 | + "coverage", |
| 65 | + "py-evm", |
| 66 | + "Sphinx", |
| 67 | + "pytest>=5.3.0", |
| 68 | + "pytest-xdist>=1.30.0", |
| 69 | + "pytest-cov>=2.8.1", |
| 70 | + "jinja2" |
| 71 | +] |
| 72 | +dev = [ |
| 73 | + "manticore[native,dev-noks]", |
| 74 | + "keystone-engine", |
| 75 | +] |
| 76 | + |
1 | 77 | [tool.black]
|
2 |
| -target-version = ['py36'] |
3 | 78 | line-length = 100
|
4 | 79 | extend-exclude = '''
|
5 | 80 | (
|
|
0 commit comments