ConsenSysDiligence/mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

View on GitHub
Python
Stars 4.3k
Forks 819
License MIT
Open Issues 130
Updated 1d ago