mythril
Contract analyser
An EVM bytecode analysis tool that detects security vulnerabilities in smart contracts using symbolic execution and other techniques.
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
4k stars
79 watching
741 forks
Language: Python
last commit: about 1 month ago
Linked from 6 awesome lists
blockchainethereumprogram-analysissecuritysecurity-analysissmart-contractssoliditysymbolic-execution
offciercia/defi-developer-road-map
bkrem/awesome-solidity
saeidshirazi/awesome-smart-contract-security
ahmet/awesome-web3Related projects:
| Repository | Description | Stars |
|---|---|---|
 muellerberndt/mythril | Detects security vulnerabilities in smart contracts written in EVM bytecode. | 54 |
 cleanunicorn/karl | Monitors smart contracts for security vulnerabilities on blockchain networks | 315 |
 crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 842 |
 jon-becker/heimdall-rs | An advanced toolkit for analyzing and extracting information from smart contracts written in the Ethereum Virtual Machine (EVM) bytecode | 1,192 |
 ethereum/py-evm | An implementation of the Ethereum Virtual Machine in Python | 2,267 |
 blockscout/blockscout | A blockchain explorer and tool for analyzing EVM-based blockchains | 3,622 |
 cdump/evmole | Extracts information from Ethereum Virtual Machine bytecode | 282 |
 quilt/etk | A toolkit for working with EVM bytecode and analyzing Ethereum contracts. | 360 |
 its-a-feature/mythic | A collaborative, multi-platform red teaming framework with a web-based interface and support for plugins and extensions | 3,263 |
| crytic/rattle | An EVM binary static analysis framework that recovers the original control flow graph and optimizes it for better readability | 350 |
 trailofbits/manticore | Analyzes programs for potential vulnerabilities and exploits using symbolic execution techniques. | 3,695 |
 deepeth/mars | A platform to analyze and visualize data from blockchain, leveraging Rust and cloud storage. | 114 |
 coinculture/evm-tools | Tools for working with and analyzing the Ethereum Virtual Machine | 443 |
 tintinweb/ethereum-dasm | An ethereum bytecode disassembler and analysis tool | 219 |
 apeworx/evm-trace | A tool to analyze and visualize the execution of smart contract transactions on the Ethereum Virtual Machine | 301 |