Skip to content

@Recon-Fuzz Recon

Change the repository type filter

All

    Repositories list

    22 repositories

    • vaults-fuzzing-example

      Public
      An example repo with properties defined for ERC4626 vaults (see Recon substack for accompanying post).
      Solidity
      •0•0•0•0•Updated Dec 17, 2024Dec 17, 2024

    • liquity-governance-fuzzing

      Public
      Solidity
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • ebtc

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •27•0•0•0•Updated Dec 8, 2024Dec 8, 2024

    • properties-table

      Public template
      A template for creating tables to track properties implemented for an invariant testing suite
      0•0•0•0•Updated Dec 7, 2024Dec 7, 2024

    • create-chimera-app

      Public template
      One click magically working Foundry + Medusa + Echidna Starter
      Solidity
      •5•27•0•1•Updated Nov 27, 2024Nov 27, 2024

    • prank-echidna-vs-foundry

      Public
      Repro of issues with pranking when comparing echidna and foundry
      Solidity
      •0•1•0•0•Updated Nov 27, 2024Nov 27, 2024

    • hevm-precompile-crash-unexpected

      Public
      Repro of an unexpected crash, we would expect the compiler to prevent calling into a pre-compile, however HEVM crashes echidna either way
      Solidity
      •0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • ERC4626Tester

      Public
      ERC4626 mock with functions to register yield and losses
      Solidity
      •
      MIT License
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • psm3-demo

      Public
      Solidity
      •1•0•0•0•Updated Nov 13, 2024Nov 13, 2024

    • chimera

      Public
      Smart Contract Property-Based Testing Framework
      smart-contractsmedusafuzzerfoundryechidnahalmos
      Solidity
      •9•83•0•0•Updated Nov 7, 2024Nov 7, 2024

    • .github

      Public
      0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • audits

      Public
      Public Report from Security Reviews, and Invariant Testing Engagements
      0•1•0•0•Updated Nov 5, 2024Nov 5, 2024

    • aura-locker-module-review

      Public
      1•1•5•1•Updated Oct 24, 2024Oct 24, 2024

    • Invariants

      Public
      A public collection of invariants to reuse, learn and kickstart a new project
      0•0•0•0•Updated Oct 12, 2024Oct 12, 2024

    • echidna

      Public
      Ethereum smart contract fuzzer
      Haskell
      •
      GNU Affero General Public License v3.0
      •376•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • foundry-default-example

      Public
      This repository is meant to be a simple example for setting up an invariant testing suite on
      Solidity
      •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • erc7540-properties-example

      Public
      Solidity
      •
      GNU Lesser General Public License v3.0
      •0•2•0•0•Updated Aug 19, 2024Aug 19, 2024

    • erc7540-reusable-properties

      Public
      Solidity
      •1•5•0•0•Updated Aug 16, 2024Aug 16, 2024

    • eigenlayer-fuzzing

      Public
      Solidity
      •
      Other
      •0•3•0•0•Updated Aug 9, 2024Aug 9, 2024

    • renzo-fuzzing

      Public
      Solidity
      •
      Other
      •0•2•0•0•Updated Jul 31, 2024Jul 31, 2024

    • call-test-undo

      Public
      CallTestAndUndo - a simple abstract contract to help you write invariant tests that do not influence the story
      Solidity
      •
      GNU General Public License v2.0
      •0•3•0•0•Updated May 2, 2024May 2, 2024

    • demo-recon-twap

      Public
      Solidity
      •0•1•0•0•Updated Jan 19, 2024Jan 19, 2024