echidna | Topic | Ecosyste.ms: Repos

Topic: "echidna"

perimetersec/evm-fuzzing-resources

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

Size: 15.6 KB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 148 - Forks: 11

devdacian/solidity-fuzzing-comparison

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

Language: Solidity - Size: 232 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 146 - Forks: 26

perimetersec/public-fuzzing-campaigns-list

A list of public fuzzing campaigns

Size: 45.9 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 113 - Forks: 23

Recon-Fuzz/chimera

Smart Contract Property-Based Testing Framework

Language: Solidity - Size: 44.9 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 107 - Forks: 9

crytic/optik

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

Language: Python - Size: 594 KB - Last synced at: 29 days ago - Pushed at: 9 months ago - Stars: 94 - Forks: 12

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.

Language: JavaScript - Size: 30.9 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 59 - Forks: 46

w3c/spec-prod

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

Language: TypeScript - Size: 419 KB - Last synced at: 11 days ago - Pushed at: 22 days ago - Stars: 36 - Forks: 23

rappie/echidna-curve-reentrancy-hack

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

Language: Solidity - Size: 27.3 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 27 - Forks: 4

perimetersec/resources

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

Size: 1.34 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 22 - Forks: 2

rappie/echidna-rari-hack

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

Language: Solidity - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: 12 months ago - Stars: 13 - Forks: 4

perimetersec/drips-fuzzing

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

Language: Solidity - Size: 51.8 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 3

xternet/ethernaut-with-security-tools

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

Language: Solidity - Size: 12.1 MB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 0

xternet/echidna-etheno-hh-template

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

Language: Solidity - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0

naszam/echidnup

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

Language: Shell - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0

aviggiano/fuzzy-fyi

We help protocols improve their invariant tests

Language: TypeScript - Size: 2.68 MB - Last synced at: 29 days ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 1

RiccardoBiosas/constant-sum-amm 📦

constant-sum automated market maker implementation

Language: Solidity - Size: 185 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

ChmielewskiKamil/foundry2echidna

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

Language: Rust - Size: 3.01 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

devgeeks/echidna.js

Crypton is dead, long live Echidna.js

Language: JavaScript - Size: 28.2 MB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 1

d3adspace/echidna

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

Language: Java - Size: 95.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

vino333/eth-auto

ethereum automation

Language: Solidity - Size: 55.7 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

w3c/respec-w3c-auto-publish 📦

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

Language: JavaScript - Size: 66.4 KB - Last synced at: 4 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 5

jrkosinski/evm-bond-vault

Framework for an on-chain credit investment instrument

Language: JavaScript - Size: 1.65 MB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

JavierQuintana/Echidna

Curso de Aularagon Echidna

Size: 9.35 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

cjabradshaw/EchidnaPopModel

Leslie matrix projection model for the short-beaked echidna (Tachyglossus aculeatus)

Language: R - Size: 35.2 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 1

phomea/Echidna

PHP Framework with Automatic CMS

Language: PHP - Size: 129 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1

contractshark/echidna

Echidna GitHub Action Workfllow

Language: Shell - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

perimetersec/origin-woeth-fuzz

Offensive fuzzing suite for Origin Protocol WOETH.

Language: Solidity - Size: 110 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

alanstenhouse/echidnaCSI-app

Cross-platform app developed using Livecode for the echidnaCSI citizen science project

Language: HTML - Size: 2.12 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

jocoders/explode-dex-problem-22

This repository contains a solution to Dex Problem 22 from a Solidity challenge

Language: Solidity - Size: 152 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

jocoders/explode-token-whale

This repository contains the solution how to explode token contract with echidna fuzzy test tool

Language: Solidity - Size: 23.4 KB - Last synced at: 3 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

rappie/fuzzer-gas-metric-benchmark

Analyze and compare the gas usage metrics between Echidna, Medusa, and Foundry

Language: Solidity - Size: 10.7 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

rappie/fuzz-vs-fv Fork of Certora/fuzz-vs-fv

Solution to Certora's Fuzzing Challenge

Language: TypeScript - Size: 1.22 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 1

perimetersec/origin-oeth-fuzzing

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

Language: Solidity - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

MichaelPlug/SSA-Taxpayer-Project

Project for Security in Software Application @Sapienza

Language: Solidity - Size: 17.2 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Owanesh/SSA2324 📦

Code for Security in Software Application course

Language: TeX - Size: 2.14 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1