Alternatives and similar repositories for fuzzlib:

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

• theredguild / 7702-goat
  Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.
  ☆31Updated last month
• spearbit-audits / audit-template
  ☆36Updated last year
• audit-quality / security-checklist
  ☆42Updated 5 months ago
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated 2 weeks ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆28Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆48Updated 3 months ago
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆27Updated 11 months ago
• iphelix / euler-exploit-poc
  ☆48Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated last year
• MiloTruck / evm-ctf-challenges
  CTF challenges made by MiloTruck
  ☆67Updated 6 months ago
• csanuragjain / ImmunefiBugFinder
  Immunefi Contract DB - Search Bugs
  ☆29Updated 3 months ago
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated 2 years ago
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated 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…
  ☆30Updated last year
• MiloTruck / regast
  A static analyzer for Solidity, built upon regex and ASTs.
  ☆25Updated last year
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆46Updated 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 last month
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆53Updated last month
• nevillehuang / Portfolio
  ☆40Updated 2 months ago
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆19Updated this week
• aviggiano / coypu
  Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…
  ☆9Updated last year
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆32Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 7 months ago
• crytic / secureum-medusa
  ☆46Updated last year
• GianfrancoBazzani / awesome-advanced-smart-contracts-testing-and-verification
  A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
  ☆68Updated 7 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated last year
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• Hexens / Smart-Contract-Review-Public-Reports
  List of the public smart contract audit reports and security reviews performed by Hexens.
  ☆32Updated last week
• 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…
  ☆32Updated 3 months ago