mythril
Vulnerability detector
Detects security vulnerabilities in smart contracts written in EVM bytecode.
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
54 stars
3 watching
1 forks
Language: Python
last commit: over 2 years agoLinked from 1 awesome list
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cleanunicorn/karl | Monitors smart contracts for security vulnerabilities on blockchain networks | 315 |
| muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 cdump/evmole | Extracts information from Ethereum Virtual Machine bytecode | 294 |
 jon-becker/heimdall-rs | An advanced toolkit for analyzing and extracting information from smart contracts written in the Ethereum Virtual Machine (EVM) bytecode | 1,224 |
 crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 844 |
| muellerberndt/laser-ethereum | A symbolic virtual machine for executing Ethereum smart contracts with accurate modeling of the Ethereum VM's features | 68 |
 a16z/metamorphic-contract-detector | An automated tool to identify potential smart contract vulnerabilities on the Ethereum blockchain | 160 |
 vulnplanet/l3x | An AI-driven tool for detecting vulnerabilities in code written in Rust and Solidity. | 63 |
 quilt/etk | A toolkit for working with EVM bytecode and analyzing Ethereum contracts. | 361 |
 ivicanikolicsg/maian | Automated tool for detecting bugs in smart contracts on the Ethereum blockchain | 557 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,685 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 ethereum/evmlab | Utilities for interacting with the Ethereum virtual machine | 367 |
 13o-bbr-bbq/machine_learning_security | An open-source project that explores the intersection of machine learning and security to develop tools for detecting vulnerabilities in web applications. | 1,987 |
 mrphrazer/obfuscation_detection | Automatically detects obfuscated code and other complex code constructs in binaries to aid reverse engineering. | 580 |