perimetersec / fuzzlib

Related projects ⓘ

Alternatives and complementary repositories for fuzzlib

• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆30Updated this week
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆50Updated 3 months ago
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆32Updated last year
• iphelix / euler-exploit-poc
  ☆46Updated last year
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆22Updated 8 months ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆26Updated 8 months ago
• audit-quality / security-checklist
  ☆41Updated last month
• spearbit-audits / audit-template
  ☆35Updated last year
• crytic / secureum-medusa
  ☆43Updated last year
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated last year
• yAudit / reports
  yAudit Completed Reports
  ☆27Updated this week
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆43Updated 8 months ago
• teddav / ethernaut-yul
  ☆38Updated last year
• bbresearcher / ZK
  ☆19Updated 3 months ago
• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆26Updated 4 months ago
• zeroknots / boilerplate.sol
  ☆15Updated last year
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆74Updated 7 months ago
• Consensys / secureum-diligence-bootcamp
  ☆35Updated 4 months ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆60Updated last year
• ahmedovv123 / audits
  ☆22Updated last year
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆26Updated 7 months ago
• 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
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated last year
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated 11 months ago
• jtriley-eth / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆29Updated 7 months ago
• Jesserc / Secp256k1-huff
  Secp256k1 Elliptic Curve Library Written In Huff
  ☆5Updated last year
• theredguild / devcontainer
  The Red Guild's devcontainer focused in web3 and security.
  ☆35Updated 3 weeks ago
• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated 11 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆28Updated 6 months ago