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.

Get it with Docker:

$ docker pull mythril/myth

Install from Pypi:

$ pip3 install mythril

See the Wiki for more detailed instructions.

Documentation has moved to the Wiki page. For support, visit the Gitter channel or Telegram group.

• 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

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