Skip to main content
Join the official Python Developers Survey 2018 and win valuable prizes: Start the survey!

Security analysis tool for Ethereum smart contracts

Project description

Mythril OSS Tweet

Discord PyPI Master Build Status - Columns and their card count Sonarcloud - Maintainability


Mythril OSS is the classic security analysis tool for Ethereum smart contracts. It uses concolic analysis, taint analysis and control flow checking to detect a variety of security vulnerabilities.

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!

Oh and by the way, we're now building a whole security tools ecosystem with Mythril Platform API. You should definitely check that out as well.

Installation and setup

Get it with Docker:

$ docker pull mythril/myth

Install from Pypi:

$ pip3 install mythril

See the Wiki for more detailed instructions.


Instructions for using the 'myth' tool are found on the Wiki.

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

Presentations, papers and videos

Project details

Release history Release notifications

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Filename, size & hash SHA256 hash help File type Python version Upload date
mythril-0.18.12.tar.gz (65.1 kB) Copy SHA256 hash SHA256 Source None Sep 22, 2018

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN SignalFx SignalFx Supporter DigiCert DigiCert EV certificate StatusPage StatusPage Status page