Here are
36 public repositories
matching this topic...
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Updated
Mar 15, 2024
Solidity
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Updated
Jul 6, 2023
Python
A list of public fuzzing campaigns
Smart Contract Property-Based Testing Framework
Updated
Apr 19, 2024
Solidity
GitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C
Updated
May 29, 2024
TypeScript
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
Updated
Jul 15, 2024
Solidity
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.
Updated
Feb 20, 2023
Rust
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
Updated
Jun 16, 2024
Solidity
Updated
Jan 22, 2024
Solidity
Echidna, Etheno, and HardHat template for fuzzing complex systems.
Updated
Jan 9, 2023
Solidity
Solving CTF with Foundry, Slither, Echidna, and Manticore.
Updated
Sep 22, 2022
Solidity
constant-sum automated market maker implementation
Updated
Jan 24, 2022
Solidity
Install a specific Echidna version or revert to a specific commit.
Updated
Feb 8, 2022
Shell
We help protocols improve their invariant tests
Updated
Feb 20, 2024
TypeScript
The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.
Updated
Jul 20, 2024
JavaScript
Crypton is dead, long live Echidna.js
Updated
Oct 17, 2023
JavaScript
Simple and lightweight framework to create RESTful services. Built on mantikor HTTP server.
Updated
Apr 20, 2023
Java
Updated
Feb 3, 2023
Solidity
[DEPRECATED] GitHub action to validate a ReSpec document and publish it using Echidna.
Updated
Mar 15, 2021
JavaScript
Improve this page
Add a description, image, and links to the
echidna
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
echidna
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.