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. observed · 2026-08-28
Health v2 · maintenance only
58/100
- Activity 79
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 3271
- days_rel: n/a
- days_push: 128
- n_releases_24m: 0
Adoption not part of the score
4265 stars · 819 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
Mythril is a symbolic-execution-based security analysis tool for EVM bytecode that detects vulnerabilities in Ethereum and other EVM-compatible smart contracts. It is distributed as a Python CLI (also via Docker and pre-commit hooks) and analyzes Solidity source files or on-chain contract addresses.
Use cases
- scan solidity smart contracts for security vulnerabilities
- analyze deployed ethereum contract bytecode for exploits
- find reentrancy and selfdestruct bugs in smart contracts
- run automated security checks in CI before a smart contract audit
- disassemble and inspect EVM bytecode
- audit solidity code against the SWC vulnerability registry
When to choose
- you need free, local, open-source static/symbolic analysis of EVM contracts
- you want to analyze contracts without submitting source code to a SaaS
- you work with Ethereum or other EVM-compatible chains
- you want a pre-commit or CI-integrated smart contract security scanner
When to avoid
- you need the broadest coverage and hosted performance of a commercial SaaS scanner
- you need fuzzing rather than symbolic execution (consider Diligence Fuzzing)
- your contracts target non-EVM blockchains
- you require guaranteed up-to-date support for the newest Solidity versions
Facets
cli-tool · maturity active
security vulnerability-scanning cli penetration-testing security blockchain developer-tools python cli windows ethereum evm solidity symbolic-execution static-analysis smart-contract-security program-analysis smart-contracts docker linux macos
5 sources
- readme: https://github.com/ConsenSysDiligence/mythril · fetched 2026-08-28 · 217bcb743f86
- homepage: https://mythx.io/ · fetched 2026-08-29 · 75797affa46c
- site_page: https://mythx.io/about · fetched 2026-08-29 · b40ec2cb2fd9
- site_page: https://mythx.io/faq · fetched 2026-08-29 · 8da55f827e54
- site_page: https://mythx.io/tools · fetched 2026-08-29 · 8f83d981145b
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| ConsenSysDiligence/mythril | main | 58 |
For agents
markdown · JSON · MCP: product_card(name="ConsenSysDiligence/mythril")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem