A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

Smart Contract Property-Based Testing Framework

A list of public fuzzing campaigns

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing

GitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C

Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna

Public resources on fuzzing services, methodologies, and benefits for protocol security.

Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna

CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.

Solving CTF with Foundry, Slither, Echidna, and Manticore.

constant-sum automated market maker implementation

Fuzzing campaign for https://github.com/drips-network/contracts

A CLI tool that converts Echidna fuzzer reproducer .txt files into executable Foundry test files.

Echidna, Etheno, and HardHat template for fuzzing complex systems.

Install a specific Echidna version or revert to a specific commit.

We help protocols improve their invariant tests

A clean, plug and play CLI tool for managing remote fuzzing jobs.

Offensive fuzzing suite for Origin Protocol WOETH.

Simple and lightweight framework to create RESTful services. Built on mantikor HTTP server.

Crypton is dead, long live Echidna.js

Fuzzing campaign for https://github.com/OriginProtocol/origin-dollar

[DEPRECATED] GitHub action to validate a ReSpec document and publish it using Echidna.

ethereum automation

Framework for an on-chain credit investment instrument

Formal verification effort for proving the ABDK Math 64.64 library properties using Echidna/hevm/Certora

Curso de Aularagon Echidna

PHP Framework with Automatic CMS

No description provided.