Mythril

Open Source

Symbolic execution tool for EVM bytecode analysis. Detects security vulnerabilities in Ethereum smart contracts.

About

Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron, and other EVM-compatible blockchains. It uses symbolic execution, SMT solving, and taint analysis to detect a variety of security vulnerabilities including integer overflows, reentrancy, and unprotected self-destructs.

Categories

Static Analyzers Vulnerability Scanners

Chains

ethereum polygon arbitrum optimism base bnb-chain avalanche

Install

pip3 install mythril

Related Tools

Slither

Pairs with Mythril

Echidna

Pairs with Mythril

Semgrep (Solidity)

Alternative to Mythril

Quick Info

Pricing
free
Open Source
Yes
Last Updated
2026-04-01

Links

Website GitHub Documentation