mythril/README.md

Mythril

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

Installation and setup

Build the Docker image:

$ git clone https://github.com/ConsenSys/mythril/
$ docker build mythril

Install from Pypi:

$ pip3 install mythril

See the Wiki for more detailed instructions.

Usage

Documentation has moved to the Wiki page.

Publications and Videos

• HITBSecConf 2018 conference paper
• HITBSecConf 2018 - Smashing Ethereum smart contracts for fun and real profit
• EDCon Toronto 2018 - Mythril: Find bugs and verify security properties in your contracts

Mythril is Hiring

ConsenSys Diligence is building a dedicated Mythril team. If you're a coder and/or Ethereum security enthusiast who wants to do interesting and challenging work for a decentralized organization, check out the open positions below. Please visit the links below to apply.

• Developer - Security Analysis Tools
• Developer - Security Analysis Tools (Part Time)
• Lead Developer - Security Tools for Auditors
• Lead Developer - Secure SDLC Tools
• Product Manager - Security Tools