Alternatives and similar repositories for fuzzlib

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

• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated 2 years ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated last week
• crytic / roundme
  ☆93Updated last year
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆27Updated last year
• spearbit-audits / audit-template
  ☆35Updated last year
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆109Updated 7 months ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• 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 5 months ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• electisec / fellowship-audits
  ☆55Updated last week
• RareSkills / uniswap-v2-puzzles
  ☆61Updated last week
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆28Updated last year
• chainlight-io / publications
  ☆89Updated 4 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 5 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆123Updated 2 weeks ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 11 months ago
• crytic / secureum-medusa
  ☆46Updated last year
• magnetto90 / tokens-decimals
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆31Updated last year
• MrToph / ctf-lending
  ☆99Updated 2 years ago
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆42Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 7 months ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆20Updated 2 years ago
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆73Updated 3 weeks ago
• MiloTruck / sorella-notes
  ☆12Updated 9 months ago