evm-fuzzing-resources
github.com/perimetersec/evm-fuzzing-resources ↗A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me tutorials & guides resources from evm-fuzzing-resources"
Installation instructions →What's inside
Articles
- 10 Steps To Easily Use 3 FuzzersTutorials & Guides
- Advanced Fuzzing Tips using ChimeraTutorials & Guides
- A Guide to Crafting Robust InvariantsResearch & Background
- Benefits of FuzzingTutorials & Guides
- Certora vs Echidna: a case study on invariant testing in eBTCResearch & Background
- Corn Engagement Retrospective: Lessons learned from our engagement fuzzing the Corn protocolResearch & Background
Reusable properties
- ABDKMath64x64
- ERC20
- ERC4626
- ERC721
- ERC7540
- ERCx Token Test Library
A reusable collection of Foundry tests for several ERC token standards, by
Videos
- Advanced Fuzzing Techniques: An eBTC Case StudyTalks & Discussion
- A glimpse into the future of invariant testingTalks & Discussion
- All Things Fuzzing with Victor MartinezTalks & Discussion
- bloqarlTutorials & Guides
- Echidna Made Me Do It!Talks & Discussion
- Euler v2 Fuzzing Workshop by Víctor MartinezTalks & Discussion
Tooling
- ArachneLibraries & Frameworks
Scaffolding framework for large-scale fuzzing suites, by
- ChimeraLibraries & Frameworks
Smart Contract Property-Based Testing Framework, by
- CloudExecUtils
A general purpose foundation for cloud-based fuzzing, by
- Echidna Coverage ReporterUtils
A TypeScript tool to parse and analyze Echidna code coverage reports for Solidity smart contracts, by
- Echidna Logs ScraperUtils
Scrape echidna logs for broken properties repros, by
- echidna-trace-parserUtils
A parser that converts echidna call traces into foundry PoC tests, by
Fuzzing Background
- Awesome Fuzzing
A curated list of fuzzing resources for learning Fuzzing, by
- The Fuzzing Book
Tools and Techniques for Generating Software Tests, by
Fuzzing Software
Practical Code Samples
- Fuzzer Gas Metric Benchmark
- List of Public Fuzzing Campaigns
- Property-based testing benchmark
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
- Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
- Solidity Fuzzing Challenge: Foundry vs Echidna vs Medusa (plus Halmos & Certora)
Showing a sample of 89 resources. View the full list on GitHub →