mythril/myth repository overview

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.

The source code and documentation are available here: https://github.com/ConsenSys/mythril⁠