mythril
Security analysis tool for Ethereum smart contracts
Installation
In a virtualenv (see these instructions if you need to create one):
pip3 install mythril
Dependencies
- py-solc
- coverage
- mock
- pytest-mock
- eth-rlp
- pre-commit
- cytoolz
- hexbytes
- semantic-version
- pytest-cov
- py-flags
- transaction
- jinja2
- certifi
- rlp
- matplotlib
- py-solc-x
- mypy-extensions
- scikit-learn
- eth-keyfile
- pyparsing
- pytest
- eth-abi
- py-ecc
- numpy
- eth-utils
- asn1crypto
- coincurve
- configparser
- ethereum-input-decoder
- markupsafe
- requests
- blake2b-py
- eth-hash
- py-evm
- z3-solver
- eth-account
- coloredlogs
- persistent
Releases
Version | Released | Bullseye Python 3.9 |
Bookworm Python 3.11 |
Trixie Python 3.13 |
Files |
---|---|---|---|---|---|
0.24.8 | 2024-03-27 | ||||
0.24.7 | 2024-03-06 | ||||
0.24.5 | 2024-03-04 | ||||
0.24.3 | 2023-11-19 | ||||
0.24.2 | 2023-11-07 | ||||
0.24.1 | 2023-10-23 | ||||
0.24.0 | 2023-10-09 | ||||
0.23.25 | 2023-08-17 | ||||
0.23.24 | 2023-06-25 | ||||
0.23.23 | 2023-06-07 | ||||
0.23.22 | 2023-04-24 | ||||
0.23.21 | 2023-04-21 | ||||
0.23.20 | 2023-04-20 | ||||
0.23.19 | 2023-04-10 | ||||
0.23.18 | 2023-04-05 | ||||
0.23.17 | 2023-03-06 | ||||
0.23.16 | 2023-02-08 | ||||
0.23.15 | 2023-01-19 | ||||
0.23.13 | 2022-12-25 | ||||
0.23.12 | 2022-11-23 | ||||
0.23.11 | 2022-11-11 | ||||
0.23.10 | 2022-09-12 | ||||
0.23.9 | 2022-09-03 | ||||
0.23.8 | 2022-08-20 | ||||
0.23.7 | 2022-08-16 | ||||
0.23.6 | 2022-08-02 | ||||
0.23.5 | 2022-07-19 | ||||
0.23.4 | 2022-07-10 | ||||
0.23.3 | 2022-06-20 | ||||
0.23.2 | 2022-05-30 | ||||
0.23.1 | 2022-05-19 | ||||
0.23.0 | 2022-04-22 | ||||
0.22.43 | 2022-04-03 | ||||
0.22.42 | 2022-03-23 | ||||
0.22.41 | 2022-03-06 | ||||
0.22.40 | 2022-02-28 | ||||
0.22.39 | 2022-02-28 | ||||
0.22.38 | 2022-02-28 | ||||
0.22.37 | 2022-02-25 | ||||
0.22.36 | 2022-01-15 | ||||
0.22.35 | 2022-01-06 | ||||
0.22.34 | 2021-12-31 | ||||
0.22.32 | 2021-11-24 | ||||
0.22.31 | 2021-11-18 | ||||
0.22.30 | 2021-11-08 | ||||
0.22.29 | 2021-11-02 | ||||
0.22.28 | 2021-10-25 | ||||
0.22.27 | 2021-10-19 | ||||
0.22.26 | 2021-09-16 | ||||
0.22.25 | 2021-08-29 | ||||
0.22.24 | 2021-08-04 | ||||
0.22.23 | 2021-07-20 | ||||
0.22.22 | 2021-07-05 | ||||
0.22.21 | 2021-06-10 | ||||
0.22.19 | 2021-04-05 | ||||
0.22.18 | 2021-03-30 | ||||
0.22.17 | 2021-02-25 | ||||
0.22.16 | 2021-01-05 | ||||
0.22.15 | 2020-12-23 | ||||
0.22.14 | 2020-11-14 | ||||
0.22.13 | 2020-10-22 | ||||
0.22.11 | 2020-10-20 | ||||
0.22.10 | 2020-10-07 | ||||
0.22.9 | 2020-09-01 | ||||
0.22.8 | 2020-07-22 | ||||
0.22.7 | 2020-06-25 | ||||
0.22.6 | 2020-06-12 | ||||
0.22.5 | 2020-06-03 | ||||
0.22.4 | 2020-04-14 | ||||
0.22.2 | 2020-04-10 | ||||
0.22.1 | 2020-03-23 | ||||
0.22.0 | 2020-03-16 | ||||
0.21.23 | 2020-02-17 | ||||
0.21.21 | 2020-01-16 | ||||
0.21.20 | 2019-11-18 | ||||
0.21.19 | 2019-11-03 | ||||
0.21.18 | 2019-10-19 | ||||
0.21.17 | 2019-09-25 | ||||
0.21.16 | 2019-09-09 | ||||
0.21.15 | 2019-08-10 | ||||
0.21.14 | 2019-08-08 | ||||
0.21.12 | 2019-07-16 | ||||
0.21.11 | 2019-07-15 | ||||
0.21.10 | 2019-07-14 | ||||
0.21.9 | 2019-07-12 | ||||
0.21.8 | 2019-07-09 | ||||
0.21.7 | 2019-07-08 | ||||
0.21.6 | 2019-07-05 | ||||
0.21.5 | 2019-06-30 | ||||
0.21.4 | 2019-06-27 | ||||
0.21.3 | 2019-06-21 | ||||
0.21.2 | 2019-06-19 | ||||
0.20.8 | 2019-05-30 | ||||
0.20.6 | 2019-05-16 | ||||
0.20.5 | 2019-05-15 | ||||
0.20.4 | 2019-04-13 | ||||
0.20.3 | 2019-04-02 | ||||
0.20.2 | 2019-03-20 | ||||
0.20.1 | 2019-03-18 | ||||
0.20.0 | 2019-01-30 | ||||
0.19.11 | 2018-12-13 | ||||
|
|||||
0.19.10 | 2018-12-12 | ||||
|
|||||
0.19.9 | 2018-12-11 | ||||
|
|||||
0.19.8 | 2018-11-29 | ||||
|
|||||
0.19.7 | 2018-11-19 | ||||
|
|||||
0.19.6 | 2018-11-17 | ||||
|
|||||
0.19.5 | 2018-11-14 | ||||
|
|||||
0.19.4 | 2018-11-14 | ||||
|
|||||
0.19.3 | 2018-10-31 | ||||
|
|||||
0.19.0 | 2018-10-31 | ||||
|
|||||
0.18.13 | 2018-10-24 | ||||
|
|||||
0.18.12 | 2018-09-22 | ||||
|
|||||
0.18.11 | 2018-08-03 | ||||
|
|||||
0.18.10 | 2018-07-23 | ||||
|
|||||
0.18.9 | 2018-07-19 | ||||
|
|||||
0.18.8 | 2018-07-16 | ||||
|
|||||
0.18.6 | 2018-06-24 | ||||
|
|||||
0.18.5 | 2018-06-17 | ||||
|
|||||
0.18.4 | 2018-06-12 | ||||
|
|||||
0.18.3 | 2018-06-12 | ||||
|
|||||
0.18.2 | 2018-06-12 | ||||
|
|||||
0.18.1 | 2018-06-12 | ||||
|
|||||
0.18.0 | 2018-06-12 | ||||
|
|||||
0.17.15 | 2018-06-06 | ||||
|
|||||
0.17.14 | 2018-06-04 | ||||
|
|||||
0.17.13 | 2018-06-04 | ||||
|
|||||
0.17.12 | 2018-05-23 | ||||
|
|||||
0.17.9 | 2018-05-15 | ||||
|
|||||
0.17.8 | 2018-05-14 | ||||
|
|||||
0.17.7 | 2018-05-13 | ||||
|
|||||
0.17.6 | 2018-05-13 | ||||
|
|||||
0.17.5 | 2018-05-10 | ||||
|
|||||
0.17.4 | 2018-05-10 | ||||
|
|||||
0.17.3 | 2018-05-09 | ||||
|
|||||
0.17.1 | 2018-05-08 | ||||
|
|||||
0.17.0 | 2018-05-08 | ||||
|
|||||
0.16.31 | 2018-04-30 | ||||
|
|||||
0.16.30 | 2018-04-30 | ||||
|
|||||
0.16.27 | 2018-04-28 | ||||
|
|||||
0.16.26 | 2018-04-27 | ||||
|
|||||
0.16.25 | 2018-04-27 | ||||
|
|||||
0.16.23 | 2018-04-25 | ||||
|
|||||
0.16.21 | 2018-04-25 | ||||
|
|||||
0.16.18 | 2018-04-25 | ||||
|
|||||
0.16.6 | 2018-04-24 | ||||
|
|||||
0.16.4 | 2018-04-20 | ||||
|
|||||
0.16.3 | 2018-04-20 | ||||
|
|||||
0.16.2 | 2018-04-20 | ||||
|
|||||
0.16.1 | 2018-04-20 | ||||
|
|||||
0.16.0 | 2018-04-17 | ||||
|
|||||
0.15.9 | 2018-04-09 | ||||
|
|||||
0.15.8 | 2018-04-02 | ||||
|
|||||
0.15.7 | 2018-03-30 | ||||
|
|||||
0.15.6 | 2018-03-27 | ||||
|
|||||
0.15.5 | 2018-03-26 | ||||
|
|||||
0.15.4 | 2018-03-26 | ||||
|
|||||
0.15.3 | 2018-03-25 | ||||
|
|||||
0.15.2 | 2018-03-25 | ||||
|
|||||
0.15.1 | 2018-03-25 | ||||
|
|||||
0.15.0 | 2018-03-25 | ||||
|
|||||
0.14.9 | 2018-03-24 | ||||
|
|||||
0.14.8 | 2018-03-23 | ||||
|
|||||
0.14.7 | 2018-03-23 | ||||
|
|||||
0.14.6 | 2018-03-23 | ||||
|
|||||
0.14.5 | 2018-03-23 | ||||
|
|||||
0.14.4 | 2018-03-23 | ||||
|
|||||
0.14.3 | 2018-03-20 | ||||
|
|||||
0.14.2 | 2018-03-20 | ||||
|
|||||
0.14.1 | 2018-03-19 | ||||
|
|||||
0.14.0 | 2018-03-19 | ||||
|
|||||
0.13.21 | 2018-03-18 | ||||
|
|||||
0.13.20 | 2018-03-16 | ||||
|
|||||
0.13.19 | 2018-03-15 | ||||
|
|||||
0.13.18 | 2018-03-15 | ||||
|
|||||
0.13.17 | 2018-03-15 | ||||
|
|||||
0.13.16 | 2018-03-15 | ||||
|
|||||
0.13.15 | 2018-03-13 | ||||
|
|||||
0.13.14 | 2018-03-13 | ||||
|
|||||
0.13.13 | 2018-03-13 | ||||
|
|||||
0.13.12 | 2018-03-13 | ||||
|
|||||
0.13.11 | 2018-03-12 | ||||
|
|||||
0.13.10 | 2018-03-12 | ||||
|
|||||
0.13.9 | 2018-03-11 | ||||
|
|||||
0.13.8 | 2018-03-11 | ||||
|
|||||
0.13.7 | 2018-03-11 | ||||
|
|||||
0.13.6 | 2018-03-08 | ||||
|
|||||
0.13.5 | 2018-03-08 | ||||
|
|||||
0.13.4 | 2018-03-08 | ||||
|
|||||
0.13.3 | 2018-03-08 | ||||
|
|||||
0.13.2 | 2018-03-08 | ||||
|
|||||
0.13.1 | 2018-03-08 | ||||
|
|||||
0.13.0 | 2018-03-07 | ||||
|
|||||
0.12.6 | 2018-03-03 | ||||
|
|||||
0.12.5 | 2018-02-27 | ||||
|
|||||
0.12.4 | 2018-02-27 | ||||
|
|||||
0.12.3 | 2018-02-27 | ||||
|
|||||
0.12.2 | 2018-02-27 | ||||
|
|||||
0.12.1 | 2018-02-27 | ||||
|
|||||
0.12.0 | 2018-02-27 | ||||
|
|||||
0.11.3 | 2018-02-25 | ||||
|
|||||
0.11.2 | 2018-02-25 | ||||
|
|||||
0.11.1 | 2018-02-22 | ||||
|
|||||
0.11.0 | 2018-02-22 | ||||
|
|||||
0.10.14 | 2018-02-19 | ||||
|
|||||
0.10.13 | 2018-02-18 | ||||
|
|||||
0.10.12 | 2018-02-15 | ||||
|
|||||
0.10.11 | 2018-02-14 | ||||
|
|||||
0.10.10 | 2018-02-07 | ||||
|
|||||
0.10.9 | 2018-02-07 | ||||
|
|||||
0.10.8 | 2018-02-06 | ||||
|
|||||
0.10.7 | 2018-01-24 | ||||
|
|||||
0.10.6 | 2018-01-22 | ||||
|
|||||
0.10.5 | 2018-01-20 | ||||
|
|||||
0.10.4 | 2018-01-20 | ||||
|
|||||
0.10.3 | 2018-01-20 | ||||
|
|||||
0.10.2 | 2018-01-20 | ||||
|
|||||
0.10.1 | 2018-01-20 | ||||
|
|||||
0.10.0 | 2018-01-19 | ||||
|
|||||
0.9.2 | 2018-01-15 | ||||
|
|||||
0.9.1 | 2018-01-15 | ||||
|
|||||
0.9.0 | 2018-01-09 | ||||
|
|||||
0.8.27 | 2018-01-08 | ||||
|
|||||
0.8.26 | 2018-01-03 | ||||
|
|||||
0.8.25 | 2017-12-25 | ||||
|
|||||
0.8.24 | 2017-12-16 | ||||
|
|||||
0.8.23 | 2017-12-11 | ||||
|
|||||
0.8.22 | 2017-12-10 | ||||
|
|||||
0.8.21 | 2017-12-07 | ||||
|
|||||
0.8.20 | 2017-12-07 | ||||
|
|||||
0.8.19 | 2017-12-07 | ||||
|
|||||
0.8.18 | 2017-12-06 | ||||
|
|||||
0.8.17 | 2017-11-25 | ||||
|
|||||
0.8.16 | 2017-11-24 | ||||
|
|||||
0.8.15 | 2017-11-24 | ||||
|
|||||
0.8.14 | 2017-11-23 | ||||
|
|||||
0.8.13 | 2017-11-20 | ||||
|
|||||
0.8.12 | 2017-11-20 | ||||
|
|||||
0.8.11 | 2017-11-19 | ||||
|
|||||
0.8.10 | 2017-11-15 | ||||
|
|||||
0.8.9 | 2017-11-13 | ||||
|
|||||
0.8.8 | 2017-11-13 | ||||
|
|||||
0.8.7 | 2017-11-10 | ||||
|
|||||
0.8.6 | 2017-11-09 | ||||
|
|||||
0.8.5 | 2017-11-09 | ||||
|
|||||
0.8.4 | 2017-11-08 | ||||
|
|||||
0.8.3 | 2017-11-07 | ||||
|
|||||
0.8.2 | 2017-11-07 | ||||
|
|||||
0.8.1 | 2017-11-05 | ||||
|
|||||
0.8.0 | 2017-11-05 | ||||
|
|||||
0.7.10 | 2017-11-04 | ||||
|
|||||
0.7.9 | 2017-11-02 | ||||
|
|||||
0.7.8 | 2017-11-02 | ||||
|
|||||
0.7.7 | 2017-11-01 | ||||
|
|||||
0.7.6 | 2017-10-31 | ||||
|
|||||
0.7.5 | 2017-10-31 | ||||
|
|||||
0.7.4 | 2017-10-30 | ||||
|
|||||
0.7.3 | 2017-10-30 | ||||
|
|||||
0.7.2 | 2017-10-30 | ||||
|
|||||
0.7.1 | 2017-10-30 | ||||
|
|||||
0.7.0 | 2017-10-30 | ||||
|
|||||
0.6.17 | 2018-04-25 | ||||
|
|||||
0.6.3 | 2017-10-28 | ||||
|
|||||
0.6.2 | 2017-10-28 | ||||
|
|||||
0.6.1 | 2017-10-28 | ||||
|
|||||
0.6.0 | 2017-10-28 | ||||
|
|||||
0.5.10 | 2017-10-23 | ||||
|
|||||
0.5.9 | 2017-10-21 | ||||
|
|||||
0.5.7 | 2017-10-20 | ||||
|
|||||
0.5.6 | 2017-10-19 | ||||
|
|||||
0.5.5 | 2017-10-19 | ||||
|
|||||
0.5.4 | 2017-10-19 | ||||
|
|||||
0.5.3 | 2017-10-19 | ||||
|
|||||
0.5.2 | 2017-10-18 | ||||
|
|||||
0.5.1 | 2017-10-18 | ||||
|
|||||
0.5.0 | 2017-10-18 | ||||
|
|||||
0.4.4 | 2017-10-17 | ||||
|
|||||
0.4.3 | 2017-10-17 | ||||
|
|||||
0.4.2 | 2017-10-17 | ||||
|
|||||
0.4.1 | 2017-10-17 | ||||
|
|||||
0.3.15 | 2017-10-13 | ||||
|
|||||
0.3.14 | 2017-10-12 | ||||
|
|||||
0.3.13 | 2017-10-11 | ||||
|
|||||
0.3.12 | 2017-10-11 | ||||
|
|||||
0.3.11 | 2017-10-06 | ||||
|
|||||
0.3.10 | 2017-10-05 | ||||
|
|||||
0.3.9 | 2017-10-04 | ||||
|
|||||
0.3.8 | 2017-10-04 | ||||
|
|||||
0.3.7 | 2017-10-04 | ||||
|
|||||
0.3.6 | 2017-10-04 | ||||
|
|||||
0.3.5 | 2017-10-04 | ||||
|
|||||
0.3.4 | 2017-10-04 | ||||
|
|||||
0.3.3 | 2017-10-04 | ||||
|
|||||
0.3.2 | 2017-10-04 | ||||
|
|||||
0.3.1 | 2017-10-04 | ||||
|
|||||
0.3.0 | 2017-10-04 | ||||
|
|||||
0.2.11 | 2017-10-04 | ||||
|
|||||
0.2.10 | 2017-10-03 | ||||
|
|||||
0.2.9 | 2017-10-02 | ||||
|
|||||
0.2.8 | 2017-10-02 | ||||
|
|||||
0.2.7 | 2017-10-01 | ||||
|
|||||
0.2.6 | 2017-10-01 | ||||
|
|||||
0.2.5 | 2017-10-01 | ||||
|
|||||
0.2.4 | 2017-10-01 | ||||
|
|||||
0.2.3 | 2017-10-01 | ||||
|
|||||
0.2.2 | 2017-09-30 | ||||
|
|||||
0.2.1 | 2017-09-30 | ||||
|
|||||
0.2.0 | 2017-09-30 | ||||
|
|||||
0.1.6 | 2017-09-19 | ||||
|
|||||
0.1.4 | 2017-09-19 | ||||
|
|||||
0.1.3 | 2017-09-19 | ||||
|
|||||
0.1.2 | 2017-09-19 | ||||
|
|||||
0.1.1 | 2017-09-19 | ||||
|
|||||
0.1.0 | 2017-09-19 | ||||
|
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue