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 talks & discussion resources from evm-fuzzing-resources"
Installation instructions →What's inside
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
- 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
- Find Highs Using Invariant Fuzz TestingTalks & Discussion
Articles
- A Guide to Crafting Robust InvariantsTutorials & Guides
- 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
- Creating Invariant Tests for an AMM Smart ContractTutorials & Guides
- Debugging Echidna CoverageTutorials & Guides
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
Benchmarking
- Daedaluzz
Benchmark generator for smart-contract fuzzers using generated Solidity maze contracts, by
- Fuzzing Evaluation Guidelines
General guidelines for fair and reproducible fuzzing evaluations, by
- Property-based Testing Benchmark
Benchmark for comparing property-based testing tools against real-world DeFi projects, by
- scfuzzbench
Practical benchmark suite for smart-contract fuzzers focused on stateful invariant testing across realistic targets, by
- Solidity Fuzzing Comparison
Comparison of Foundry, Echidna, Medusa, Halmos, and Certora on Solidity fuzzing challenges, by
Fuzzing Software
AI
- Fizz
AI skill for generating Solidity fuzzing suites, by
- Recon Magic Framework
Autonomous Solidity fuzzing via a multi-agent orchestration framework, by
- Ultrafuzz: end-to-end agentic fuzzing for Solidity smart contracts
- Vibe Fuzzing Guide for Wake's Manually-Guided Fuzzing
Showing a sample of 100 resources. View the full list on GitHub →