Metadata-Version: 2.1
Name: manticore
Version: 0.3.2.1
Summary: Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Home-page: https://github.com/trailofbits/manticore
Author: Trail of Bits
License: UNKNOWN
Platform: UNKNOWN
Requires-Python: >=3.6
Requires-Dist: pyyaml
Requires-Dist: wrapt
Requires-Dist: pysha3
Requires-Dist: prettytable
Requires-Dist: pyevmasm (==0.2.0)
Requires-Dist: rlp
Requires-Dist: ply
Requires-Dist: crytic-compile (>=0.1.1)
Requires-Dist: wasm
Requires-Dist: z3-solver
Requires-Dist: dataclasses ; python_version < "3.7"
Provides-Extra: dev
Requires-Dist: capstone (==4.0.1) ; extra == 'dev'
Requires-Dist: pyelftools ; extra == 'dev'
Requires-Dist: unicorn (==1.0.2rc1) ; extra == 'dev'
Requires-Dist: coverage ; extra == 'dev'
Requires-Dist: Sphinx ; extra == 'dev'
Requires-Dist: pytest (==5.3.0) ; extra == 'dev'
Requires-Dist: pytest-xdist (==1.30.0) ; extra == 'dev'
Requires-Dist: pytest-cov (==2.8.1) ; extra == 'dev'
Requires-Dist: black (==19.3b0) ; extra == 'dev'
Requires-Dist: mypy (==0.740) ; extra == 'dev'
Requires-Dist: keystone-engine ; extra == 'dev'
Provides-Extra: dev-noks
Requires-Dist: capstone (==4.0.1) ; extra == 'dev-noks'
Requires-Dist: pyelftools ; extra == 'dev-noks'
Requires-Dist: unicorn (==1.0.2rc1) ; extra == 'dev-noks'
Requires-Dist: coverage ; extra == 'dev-noks'
Requires-Dist: Sphinx ; extra == 'dev-noks'
Requires-Dist: pytest (==5.3.0) ; extra == 'dev-noks'
Requires-Dist: pytest-xdist (==1.30.0) ; extra == 'dev-noks'
Requires-Dist: pytest-cov (==2.8.1) ; extra == 'dev-noks'
Requires-Dist: black (==19.3b0) ; extra == 'dev-noks'
Requires-Dist: mypy (==0.740) ; extra == 'dev-noks'
Provides-Extra: lint
Requires-Dist: black (==19.3b0) ; extra == 'lint'
Requires-Dist: mypy (==0.740) ; extra == 'lint'
Provides-Extra: native
Requires-Dist: capstone (==4.0.1) ; extra == 'native'
Requires-Dist: pyelftools ; extra == 'native'
Requires-Dist: unicorn (==1.0.2rc1) ; extra == 'native'
Provides-Extra: redis
Requires-Dist: redis ; extra == 'redis'

UNKNOWN


