smlxl / storage-layout-extractor
A tool that performs extraction of storage layouts based on EVM bytecode.
☆134Updated last year
Alternatives and similar repositories for storage-layout-extractor:
Users that are interested in storage-layout-extractor are comparing it to the libraries listed below
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆117Updated 11 months ago
- ☆73Updated 5 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- A collection of gas optimizations for the EVM.☆90Updated 2 years ago
- Solidity snippets too edgy to be in Solady☆111Updated 5 months ago
- ☆113Updated 6 months ago
- Python wrapper around https://github.com/bluealloy/revm/ using PyO3☆170Updated 6 months ago
- Simulate cross-chain protocols txs, easily.☆144Updated last week
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆119Updated 4 months ago
- Diff your Github against Etherscan.☆135Updated last week
- like htop for Ethereum and other EVM chains☆144Updated last year
- A DSL for generating optimal EVM bytecode☆186Updated 2 months ago
- ☆157Updated last year
- Optimised Uniswap V2 contracts written in Huff language☆110Updated 9 months ago
- Replay and track historical state☆204Updated 6 months ago
- A forkable template repo for easily writing and testing toy contracts☆147Updated last year
- simulates MEV activity from an array of unique searchers; used for testing infra☆117Updated 4 months ago
- Symbolic stack CFG generator for EVM☆181Updated 8 months ago
- ☆102Updated 2 years ago
- Dotenv parser for solidity & foundry☆157Updated 2 years ago
- Foundry + Yul template☆94Updated last year
- Generate invariants for Foundry projects with LLM☆92Updated 5 months ago
- ☆163Updated last year
- A Foundry plugin that enables you to plot charts within solidity.☆156Updated last year
- Zero-fuss smart contracts☆142Updated 6 months ago
- A VSCode extension offering utilities for solidity smart-contract development.☆128Updated 4 months ago
- MESC is a specification for how crypto tools configure their RPC endpoints☆173Updated 4 months ago
- ERC4626 Property Tests☆175Updated 2 years ago
- List of Halmos resources.☆50Updated 4 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago