Alternatives and similar repositories for fuzzlib

Users that are interested in fuzzlib are comparing it to the libraries listed below

• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated this week
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆110Updated 3 weeks ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 6 months ago
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆76Updated this week
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• electisec / fellowship-audits
  ☆55Updated last month
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 7 months ago
• crytic / roundme
  ☆93Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆28Updated last year
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated 2 years ago
• spearbit-audits / audit-template
  ☆35Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆68Updated last month
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆122Updated last month
• nevillehuang / Portfolio
  ☆41Updated last month
• chainlight-io / publications
  ☆87Updated 2 weeks ago
• csanuragjain / ImmunefiBugFinder
  Immunefi Contract DB - Search Bugs
  ☆32Updated 9 months ago
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆68Updated last month
• perimetersec / arachne
  Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
  ☆17Updated 6 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• MiloTruck / evm-ctf-challenges
  CTF challenges made by MiloTruck
  ☆95Updated 2 months ago
• GianfrancoBazzani / awesome-advanced-smart-contracts-testing-and-verification
  A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
  ☆73Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆73Updated 8 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆30Updated 8 months ago
• infosec-us-team / csm
  A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…
  ☆39Updated 9 months ago