TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
4887 Commits
97 Branches
171 Tags
59 MiB
 
 
 
 
 
 
Tag: Branch: Tree: 586588a3c3
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '586588a3c3'
${ noResults }
mythril/requirements.txt

27 lines
429 B
Raw Blame History

blake2b-py
coloredlogs>=10.0
coincurve>=13.0.0
cytoolz>=0.12.0
asn1crypto>=0.22.0
configparser>=3.5.0
py_ecc>=5.0.0
eth-abi>=5.1.0
eth-hash<0.4.0,>=0.3.1
eth-utils>=2.0.0
hexbytes<0.3.0
jinja2>=2.9
MarkupSafe<2.1.0
mypy-extensions==1.0.0
numpy
persistent>=4.2.0
py-flags
py-evm==0.10.1b1
py-solc-x<2.0.0
py-solc
pyparsing<3,>=2.0.2
requests
rlp<4,>=3
semantic_version
z3-solver<=4.12.5.0,>=4.8.8.0
matplotlib
certifi>=2020.06.20