Recon-Fuzz / recon-extensionView external linksLinks
Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recommend building from source.
☆32Updated this week
Alternatives and similar repositories for recon-extension
Users that are interested in recon-extension are comparing it to the libraries listed below
Sorting:
- ☆35Jul 4, 2025Updated 7 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated last month
- Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage p…☆30Oct 4, 2025Updated 4 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆58Jan 18, 2026Updated 3 weeks ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆25Jan 14, 2026Updated 3 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆117Aug 25, 2025Updated 5 months ago
- Content for yAudit Reports Site☆29Jan 27, 2026Updated 2 weeks ago
- A datasette dashboard and source code downloader for Immunefi bug bounty data☆31Jan 18, 2025Updated last year
- An workshop for learning libp2p programming from scratch☆12Feb 5, 2026Updated last week
- Nmap - the Network Mapper. Github mirror of official SVN repository.☆10Sep 5, 2018Updated 7 years ago
- ☆13Jun 6, 2022Updated 3 years ago
- The Red Guild's devcontainer focused in web3 and security.☆108Oct 10, 2025Updated 4 months ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆48Updated this week
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Sep 3, 2024Updated last year
- ☆18Sep 24, 2020Updated 5 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- Fast and lightweight persistent promise based JSON RPC 2.0 client implementation over TCP and Unix socket☆11Oct 27, 2015Updated 10 years ago
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Jul 27, 2023Updated 2 years ago
- Steam scripts for Outlands shard☆10Feb 15, 2020Updated 5 years ago
- CTF tasks created☆11Jan 12, 2023Updated 3 years ago
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- Sample fixed supply token contract on ERC20 standard.☆11Sep 7, 2017Updated 8 years ago
- ☆11Jun 9, 2020Updated 5 years ago
- A BurpSuite extension for beautifying .NET message parameters and hiding some of the extra clutter that comes with .NET web apps (i.e. __…☆10Feb 13, 2017Updated 9 years ago
- Pet dapp☆10Dec 16, 2020Updated 5 years ago
- ☆10Jul 15, 2022Updated 3 years ago
- C & Shellcode Playground..☆10Dec 2, 2017Updated 8 years ago
- Estimate how long it takes to read a text☆12Sep 6, 2025Updated 5 months ago
- Using mutations to improve specs and test suites☆204May 12, 2025Updated 9 months ago
- Example serverless project for AWS Lambda@Edge that adds Cache-Control headers to origin objects that doesn't already have one.☆13Nov 21, 2018Updated 7 years ago
- Pub/Sub MQ integrated with message delivery service☆13Nov 21, 2015Updated 10 years ago
- ☆16Jan 30, 2026Updated 2 weeks ago
- My attempt at writing exploit POCs for various CVEs☆16Feb 8, 2020Updated 6 years ago
- CVE-2018-13379 Script for Nmap NSE.☆12Sep 9, 2020Updated 5 years ago
- Burp Extender plugin that generates a sitemap of a website using Wayback Machine☆12Jun 18, 2018Updated 7 years ago
- ☆13Jan 13, 2024Updated 2 years ago
- Security Token (WIP)☆11Oct 2, 2018Updated 7 years ago
- ☆11Oct 17, 2020Updated 5 years ago
- ☆12Nov 3, 2024Updated last year