ENNAENNA

Mythril

FeaturedMIT

₿ 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.

4.2kstars
810forks
127issues
Updated 13d ago
+I use this
View on GitHubOfficial WebsiteDocumentation

Installation

pip

$ pip install mythril

docker

$ docker pull mythril/myth

Use 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

smart-contractsecurityevmvulnerability-detectionblockchainethereumprogram-analysissecurity-analysissmart-contractssoliditysymbolic-execution

Details

Category
₿ Crypto Tracing
Language
Python
License
MIT
Platforms
🐧linux🍎macos🪟windows

Links

GitHub Repository

github.com/Consensys/mythril

Official Website

mythx.io

Documentation

mythril-classic.readthedocs.io

Releases

github.com/Consensys/mythril/releases

Issues

github.com/Consensys/mythril/issues

Sponsored

Your ad here

Reach security professionals and developers - ads@en-na.com

Community Reviews

Alternatives & Comparisons

Slither

Python

Solidity static analysis framework. Detects vulnerabilities, prints contract info, and suggests optimizations.

Compare Mythril vs Slither

More in Crypto Tracing

Chainalysis Reactor (Free)

JavaScript

Blockchain investigation tool. Transaction graph visualization, wallet clustering, and entity identification.

blockchaingraphwallet-clustering

Breadcrumbs

TypeScript

Blockchain analytics and investigation tool. Trace Bitcoin and Ethereum transactions through multiple hops.

bitcoinethereumtrace

BlockScout

Elixir

Open-source blockchain explorer for Ethereum and EVM chains. Full-featured with smart contract verification.

explorerethereumevm

Whale Alert CLI

Python

Track large cryptocurrency transactions in real time across all major blockchains. API and alerting.

whale-watchingreal-timealerting

Ethtective

JavaScript

Ethereum transaction explorer and visualizer. Graph-based exploration of addresses and transaction flows.

ethereumgraphvisualization

Bitcoin-Abe

Python

Block chain browser for Bitcoin and similar currencies. Self-hosted explorer with search and API.

bitcoinexplorerself-hosted