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
Get it with Docker:
$ docker pull mythril/myth
Install from Pypi:
$ pip3 install mythril
See the Wiki for more detailed instructions.
Also, don't forget to join the Mythril community for the latest news, announcements and discussions: