echidna
There are 40 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
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.
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.
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/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
xternet/echidna-etheno-hh-template
Echidna, Etheno, and HardHat template for fuzzing complex systems.
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
perimetersec/origin-oeth-fuzzing
Fuzzing campaign for https://github.com/OriginProtocol/origin-dollar
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
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
jocoders/explode-dex-problem-22
This repository contains a solution to Dex Problem 22 from a Solidity challenge
jocoders/explode-token-whale
This repository contains the solution how to explode token contract with echidna fuzzy test tool
Owanesh/SSA2324
Code for Security in Software Application course
ivanzhelyazkov/fuzzing-solidity
Fuzzing with Echidna
jocoders/linear-bonding-curve-token
ERC-20 token implemented with a linear bonding curve
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
rappie/fuzzer-gas-metric-benchmark
Analyze and compare the gas usage metrics between Echidna, Medusa, and Foundry
xternet/echidna-template
Simple Echidna Fuzz Template