Skip to content
Nikhil Parasaram edited this page May 6, 2020 · 11 revisions

Mythril is a security analysis tool for EVM-based smart contracts. It was introduced at HITBSecConf 2018.

Mythril detects a range of security issues, including integer underflows, owner-overwrite-to-Ether-withdrawal, and others. However, the analysis will not detect business logic issues and is not equivalent to formal verification.