Mythril
Featured₿ Crypto Tracing · Python
Mythril is a security analysis tool for Ethereum Virtual Machine (EVM) bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron, and other EVM-compatible blockchains. Mythril uses symbolic execution, SMT solving, and taint analysis to detect a variety of security vulnerabilities including reentrancy, integer overflow/underflow, unprotected self-destruct, and more.
Installation
pip
$ pip install mythrildocker
$ docker pull mythril/mythUse Cases
- Smart contract security auditing
- Automated vulnerability detection in Solidity code
- Pre-deployment security verification
- Bug bounty hunting on DeFi protocols
- Analyzing deployed contracts for known vulnerabilities
Tags
Details
- Category
- ₿ Crypto Tracing
- Language
- Python
- Repository
- Consensys/mythril
Platforms
Alternatives & Comparisons
More in Crypto Tracing
Chainalysis Reactor (Free)
JavaScriptBlockchain investigation tool. Transaction graph visualization, wallet clustering, and entity identification.
Breadcrumbs
TypeScriptBlockchain analytics and investigation tool. Trace Bitcoin and Ethereum transactions through multiple hops.
BlockScout
ElixirOpen-source blockchain explorer for Ethereum and EVM chains. Full-featured with smart contract verification.
Whale Alert CLI
PythonTrack large cryptocurrency transactions in real time across all major blockchains. API and alerting.
Ethtective
JavaScriptEthereum transaction explorer and visualizer. Graph-based exploration of addresses and transaction flows.
Bitcoin-Abe
PythonBlock chain browser for Bitcoin and similar currencies. Self-hosted explorer with search and API.