echidna

There are 2 repositories under echidna topic.

• crytic / optik

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

  echidnaevmfuzzingmaatsecurity-toolssmart-contractssymbolic-execution
  Language:Python 90

• devdacian / solidity-fuzzing-comparison

  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

  echidnafuzz-testingfuzz-testing-foundryfuzzingsmart-contractssolidity
  Language:Solidity 89

• perimetersec / public-fuzzing-campaigns-list

  A list of public fuzzing campaigns

  echidnaevmfoundryfuzzingmedusasolidity
  45
• chimera

  Recon-Fuzz / chimera

  Smart Contract Property-Based Testing Framework

  echidnafoundryfuzzermedusasmart-contractshalmos
  Language:Solidity 38

• w3c / spec-prod

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

  respecw3cgithub-pagesbikeshedechidnavalidatorspec-generatorgithub-actionshacktoberfest
  Language:TypeScript 33

• ChmielewskiKamil / foundry2echidna

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

  cliechidnafoundryfuzzingseeding
  Language:Rust 11

• xternet / ethernaut-with-security-tools

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

  ctfechidnaethereumevmfoundrymanticoreslithersolidity
  Language:Solidity 10

• naszam / echidnup

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

  scriptechidnaethereumfuzzing
  Language:Shell 9

• perimetersec / drips-fuzzing

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

  echidnaethereumfuzzingmedusasolidity
  Language:Solidity 9

• RiccardoBiosas / constant-sum-amm

  constant-sum automated market maker implementation

  ammautomated-market-makerdefiechidnaethereumsolidity
  Language:Solidity 9

• xternet / echidna-etheno-hh-template

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

  echidnaethereumhardhatsmart-contract-securitysmart-contract-toolssmart-contracts-auditetheno
  Language:Solidity 9

• aviggiano / fuzzy-fyi

  We help protocols improve their invariant tests

  echidnafoundryfuzz-testingsmart-contractssolidity
  Language:TypeScript 8

• d3adspace / echidna

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

  restechidnalightweight-frameworkwebhttpnettywebsitesasukesasukekawaii
  Language:Java 4

• devgeeks / echidna.js

  Crypton is dead, long live Echidna.js

  pouchdbcryptographycryptoechidnatweetnacl
  Language:JavaScript 4

• vino333 / eth-auto

  ethereum automation

  blockchain-technologysolidity-contractsblockchain-automationblockchain-securityechidnaethereum-contractsinstallerslithersmart-contract-scannersmart-contract-securitysmart-contract-toolssmart-contracts-auditsmartchecksolctruffle-frameworkguidelines
  Language:Solidity 3

• w3c / respec-w3c-auto-publish

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

  github-actionsrespecw3cechidna
  Language:JavaScript 3

• jrkosinski / evm-bond-vault

  Framework for an on-chain credit investment instrument

  binancedefiethereumethereum-contractfinancehardhathardhat-upgradesnodejssmart-contractssolidityupgradeable-smart-contractbinance-smart-chainechidnaphilosophysmart-contract-securitytdd
  Language:JavaScript 2

• cjabradshaw / EchidnaPopModel

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

  echidnamonotremetachyglossus-aculeatuspopulation-modelleslie-matrixpopulation-projectionsaustraliademographydemographic-model
  Language:R 1

• contractshark / echidna

  Echidna GitHub Action Workfllow

  echidnagithub-actionactionsworkflowslitherethereumcici-cdsolidity
  Language:Shell 1

• JavierQuintana / Echidna

  Curso de Aularagon Echidna

  arduinomblockechidna
  1

• perimetersec / origin-oeth-fuzzing

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

  echidnaethereumfuzzingmedusasolidity
  Language:Solidity 1

• phomea / Echidna

  PHP Framework with Automatic CMS

  echidnacomposerphpphp7php-frameworkcmscms-frameworkhtmlcssjavascripttwigdockerdocker-compose
  Language:PHP 1

• alanstenhouse / echidnaCSI-app

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

  livecodeecologycitizen-scienceconservationechidna
  Language:HTML 0

• jrkosinski / Smart-Contract-Architect-Developer

  Root for blockchain projects

  architecturebinance-smart-chainblockchainblockchain-securityblockchain-technologyechidnaethereumhardhatsmart-contractssolanasoliditysuiwaffleweb3
  0

• Owanesh / SSA2324

  Code for Security in Software Application course

  echidnasolidity
  Language:TeX 0

• ivanzhelyazkov / fuzzing-solidity

  Fuzzing with Echidna

  ctfechidnaethereumsolidity
  Language:Solidity

• Lukman-01 / Contract-Auditing

  An audit of Smart contract with a small vulnerability report.

  echidnaethereumsecurity-auditslithersmart-contractssolidityvulnerability-detection
  Language:JavaScript

• MichaelPlug / SSA-Taxpayer-Project

  Project for Security in Software Application @Sapienza

  echidnasecurity
  Language:Solidity

• MikeSpa / Echidna

  Simple Repo to Test Echidna

  blockchainsecurity-auditsecurity-toolssecurity-vulnerabilityechidnafuzzingtrailofbitssolidity
  Language:Solidity

• RiccardoBiosas / echidna-string-manipulation

  echidnasolidityethereumfuzzingassembly
  Language:Solidity

• xternet / echidna-template

  Simple Echidna Fuzz Template

  dappechidnaethereumfuzzingsecurtiysmart-contract-securitytemplatetest
  Language:Solidity