cdump / evmole
Extracts function selectors, arguments and state mutability from EVM bytecode, even for unverified contracts
☆258Updated last week
Related projects: ⓘ
- Pre-built security properties for common Ethereum operations☆276Updated last month
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆290Updated last week
- ☆271Updated last month
- A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.☆258Updated 2 months ago
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆437Updated 2 months ago
- Foundry Test Suit to test weird ERC20 behavior☆235Updated last year
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)☆265Updated last year
- Temper your expectations - Ethereum Transaction Simulator☆344Updated 4 months ago
- Symbolic stack CFG generator for EVM☆173Updated 4 months ago
- easy POC template generation from the command line☆317Updated 8 months ago
- Slither Detectors by Pessimistic.io☆353Updated 2 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆104Updated last month
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆427Updated 10 months ago
- Bugs in commonly forked DeFi protocols☆425Updated 4 months ago
- These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.☆361Updated last week
- 🍋 An open dataset containing smart contract audit issues from various sources.☆172Updated 5 months ago
- a collection of EVM tracing information for easy reference☆149Updated 10 months ago
- Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors☆232Updated this week
- ☆280Updated last year
- An ether-rs middleware to access reth's db directly, bypassing JSON-RPC☆267Updated 11 months ago
- Generate tests based on the Branching Tree Technique.☆258Updated 2 weeks ago
- Code examples in Yul☆253Updated 3 weeks ago
- A collection of EVM related information.☆322Updated last year
- A tool for analyzing the security and parameters of a solidity smart contract☆669Updated last week
- Diff EVM-compatible chains in a friendly format☆277Updated last week
- Resources for the budding field of risk modelling and analysis in DeFi☆142Updated 4 months ago
- Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.☆513Updated 5 months ago
- ☆405Updated 2 months ago
- A curated list of resources for Huff language☆307Updated 8 months ago
- ☆185Updated last year