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.

4,275Stars

819Forks

PythonPrimary language

Apr 27, 2026Last pushed

Solana × Meteora

Launch a repository token.

Create a community token linked to this repository using Meteora’s bonding curve on Solana.

Start a token launch Explore Solana launches →

A community launch does not establish ownership or endorsement of this repository.

Behind the repository

Default branch: develop

License: MIT

Open issues / PRs: 130

Created: Sep 18, 2017

blockchainethereumprogram-analysissecuritysecurity-analysissmart-contractssoliditysymbolic-execution

Top contributors

Contributors are shown as project information, not fee recipients.