PyPI page
Home page
Author:
Trail of Bits
License:
Summary:
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Latest version:
0.3.7
Required dependencies:
crytic-compile
|
dataclasses
|
intervaltree
|
ply
|
prettytable
|
protobuf
|
pyevmasm
|
pysha3
|
pyyaml
|
rlp
|
wasm
|
z3-solver
Optional dependencies:
black
|
capstone
|
coverage
|
jinja2
|
keystone-engine
|
mypy
|
py-evm
|
pyelftools
|
pytest
|
pytest-cov
|
pytest-xdist
|
redis
|
sphinx
|
unicorn
Downloads last day:
166
Downloads last week:
613
Downloads last month:
3,833