Alternatives and similar repositories for fuzzlib

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

• 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
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated last week
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆110Updated this week
• crytic / roundme
  ☆93Updated last year
• 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
• electisec / fellowship-audits
  ☆55Updated last month
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 6 months ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆123Updated last month
• berndartmueller / audits
  Public profile of my adventure as a blockchain and smart contract security auditor.
  ☆73Updated last month
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆63Updated 3 weeks ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆76Updated 2 weeks ago
• iphelix / euler-exploit-poc
  ☆50Updated 2 years ago
• csanuragjain / ImmunefiBugFinder
  Immunefi Contract DB - Search Bugs
  ☆32Updated 8 months ago
• nevillehuang / Portfolio
  ☆41Updated 2 weeks ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• MiloTruck / regast
  A static analyzer for Solidity, built upon regex and ASTs.
  ☆26Updated last year
• chainlight-io / publications
  ☆88Updated last week
• perimetersec / arachne
  Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
  ☆17Updated 6 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• one-hundred-proof / notional-flash-attack
  Proof of Concept of (now fixed) vulnerability in Notional smart contracts
  ☆41Updated 2 years ago
• MiloTruck / sorella-notes
  ☆12Updated 9 months ago
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆20Updated 5 months ago
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆119Updated 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
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• spearbit-audits / audit-template
  ☆35Updated last year