Recon-Fuzz / chimera

Related projects ⓘ

Alternatives and complementary repositories for chimera

• spearbit-audits / audit-template
  ☆35Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆46Updated last month
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆115Updated 2 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆89Updated 6 months ago
• devtooligan / etherrealms-player-class-guide
  ☆56Updated 11 months ago
• karmacoma-eth / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆56Updated this week
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆84Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆60Updated 11 months ago
• secureum / RACE
  Readiness Assessment for CARE Endeavour
  ☆45Updated 8 months ago
• deliriusz / turbopoc
  easy POC template generation from the command line
  ☆76Updated 2 months ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated last year
• MiloTruck / evm-ctf-challenges
  CTF challenges made by MiloTruck
  ☆63Updated 2 months ago
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated 11 months ago
• yacademy / audits
  ☆54Updated 11 months ago
• crytic / roundme
  ☆88Updated 5 months ago
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆73Updated 2 months ago
• spearbit-audits / writing-exercise
  ☆103Updated 2 years ago
• theredguild / devcontainer
  The Red Guild's devcontainer focused in web3 and security.
  ☆29Updated 2 weeks ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆110Updated 6 months ago
• defi-wonderland / natspec-smells
  👃Automatically identify missing or incomplete natspec
  ☆91Updated 2 months ago
• lucas-manuel / invariant-examples
  ☆161Updated last year
• iphelix / euler-exploit-poc
  ☆46Updated last year
• RareSkills / uniswap-v2-puzzles
  ☆42Updated 3 months ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆64Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆42Updated 8 months ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated last year
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆93Updated 10 months ago
• GeorgeHNTR / oz-known-issues
  Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulne…
  ☆78Updated 11 months ago
• ustas-eth / zkEVM-Bootcamp
  My homework and notes on zkEVM Bootcamp by zkSync and Encode Club
  ☆66Updated 9 months ago