Mythril Classic: Security analysis tool for Ethereum smart contracts
Branch: develop
Clone or download
Latest commit 4830f1c Feb 22, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.circleci adapt version of test image used Feb 7, 2019
.github/ISSUE_TEMPLATE swc_id -> swc-id Nov 11, 2018
docs Merge branch 'develop' into typo_fix_depricated Feb 14, 2019
mypy-stubs/z3 Add BaseSolver class and restructure Solver and Optimize as children … Jan 15, 2019
mythril increase max depth to 50 and move to bfs Feb 18, 2019
solidity_examples fix bug in independence solver Feb 6, 2019
static Merge develop into dmuhs/type-hints Oct 28, 2018
tests Fix a couple of typos Feb 18, 2019
.editorconfig An extra newline was being added by the editor May 24, 2018
.gitattributes Add highlight for solidity files (#732) Nov 20, 2018
.gitignore Remove rst from gitignore Dec 12, 2018
CONTRIBUTING.md Change gitter links and references to discord (#708) Nov 16, 2018
Dockerfile Use /root/ to copy over ~ Jan 16, 2019
LICENSE Update LICENSE Jan 9, 2018
MANIFEST.in Move signatures.db to assets and also copy signatures to .mythril hom… Jan 16, 2019
Pipfile Fixes issues with python 3.5 dict ordering Jun 5, 2018
README.md
all_tests.sh Python 3.5 tolerance and note what Python versions Mythril accepts Jul 24, 2018
coverage_report.sh Use xml coverage report Aug 28, 2018
docker_build_and_deploy.sh Another fix of the docker build & release script Oct 29, 2018
myth Python 3.5 tolerance and note what Python versions Mythril accepts Jul 24, 2018
requirements.txt Move from z3 4.8.0.0 to 4.8.4 Jan 25, 2019
setup.py Merge branch 'develop' of github.com:ConsenSys/mythril into mypy_branch Jan 29, 2019
tox.ini Fix type hinting to mythril module and fix typehints in svm, disassem… Jan 17, 2019

README.md

Mythril Classic

Discord PyPI Master Build Status Waffle.io - Columns and their card count Sonarcloud - Maintainability Downloads

Mythril Classic is an open-source security analysis tool for Ethereum smart contracts. It uses symbolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities.

This is an experimental tool designed for security guys. If you a smart contract developer you might prefer Truffle Security or other convenient tools built on the MythX API.

Whether you want to contribute, need support, or want to learn what we have cooking for the future, our Discord server will serve your needs.

Installation and setup

Get it with Docker:

$ docker pull mythril/myth

Install from Pypi:

$ pip3 install mythril

See the Wiki for more detailed instructions.

Usage

Instructions for using Mythril Classic are found on the Wiki.

For support or general discussions please join the Mythril community on Discord.

Bulding the Documentation

Mythril Classic's documentation is contained in the docs folder. It is based on Sphinx and can be built using the Makefile contained in the subdirectory:

cd docs
make html

This will create a build output directory containing the HTML output. Alternatively, PDF documentation can be built with make latexpdf. The available output format options can be seen with make help.

Vulnerability Remediation

Visit the Smart Contract Vulnerability Classification Registry to find detailed information and remediation guidance for the vulnerabilities reported.