A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

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

A list of public fuzzing campaigns

Smart Contract Property-Based Testing Framework

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.

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

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

The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.

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

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

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

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

constant-sum automated market maker implementation

We help protocols improve their invariant tests

Crypton is dead, long live Echidna.js

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

ethereum automation

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