echidna
There are 36 repositories under echidna topic.
devdacian/solidity-fuzzing-comparison
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
crytic/optik
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Recon-Fuzz/chimera
Smart Contract Property-Based Testing Framework
perimetersec/public-fuzzing-campaigns-list
A list of public fuzzing campaigns
w3c/spec-prod
GitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C
rappie/echidna-curve-reentrancy-hack
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
perimetersec/resources
Public resources on fuzzing services, methodologies, and benefits for protocol security.
ChmielewskiKamil/foundry2echidna
CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
Kerala-Blockchain-Academy/ethereum-developer-program
The code in this repository is a part of the Ethereum Developer Program. Kindly check the wiki to access the course content.
rappie/echidna-rari-hack
Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna
perimetersec/drips-fuzzing
Fuzzing campaign for https://github.com/drips-network/contracts
xternet/echidna-etheno-hh-template
Echidna, Etheno, and HardHat template for fuzzing complex systems.
xternet/ethernaut-with-security-tools
Solving CTF with Foundry, Slither, Echidna, and Manticore.
naszam/echidnup
Install a specific Echidna version or revert to a specific commit.
RiccardoBiosas/constant-sum-amm
constant-sum automated market maker implementation
aviggiano/fuzzy-fyi
We help protocols improve their invariant tests
d3adspace/echidna
Simple and lightweight framework to create RESTful services. Built on mantikor HTTP server.
devgeeks/echidna.js
Crypton is dead, long live Echidna.js
vino333/eth-auto
ethereum automation
w3c/respec-w3c-auto-publish
[DEPRECATED] GitHub action to validate a ReSpec document and publish it using Echidna.
jrkosinski/evm-bond-vault
Framework for an on-chain credit investment instrument
perimetersec/origin-oeth-fuzzing
Fuzzing campaign for https://github.com/OriginProtocol/origin-dollar
rappie/fuzz-vs-fv
Solution to Certora's Fuzzing Challenge
cjabradshaw/EchidnaPopModel
Leslie matrix projection model for the short-beaked echidna (Tachyglossus aculeatus)
contractshark/echidna
Echidna GitHub Action Workfllow
JavierQuintana/Echidna
Curso de Aularagon Echidna
phomea/Echidna
PHP Framework with Automatic CMS
alanstenhouse/echidnaCSI-app
Cross-platform app developed using Livecode for the echidnaCSI citizen science project
jrkosinski/Smart-Contract-Architect-Developer
Root for blockchain projects
Owanesh/SSA2324
Code for Security in Software Application course
ivanzhelyazkov/fuzzing-solidity
Fuzzing with Echidna
Lukman-01/Contract-Auditing
An audit of Smart contract with a small vulnerability report.
MichaelPlug/SSA-Taxpayer-Project
Project for Security in Software Application @Sapienza
MikeSpa/Echidna
Simple Repo to Test Echidna
xternet/echidna-template
Simple Echidna Fuzz Template