Alternatives and similar repositories for girlfriend

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

• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆98Updated 9 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆121Updated 3 months ago
• 0xNazgul / fuzzydefi
  Pre-built security properties for commonly forked DeFi protocols
  ☆197Updated last year
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆106Updated 5 months ago
• SunWeb3Sec / blocksec-ctfs
  A curated list of blockchain security Capture the Flag (CTF) competitions
  ☆88Updated last year
• devdacian / solidity-fuzzing-comparison
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆158Updated 4 months ago
• 0xprinc / checks-while-hacks
  ☆30Updated last year
• fuzzland / blazctf-2023
  Challenges and Solutions of Blaz CTF 2023
  ☆44Updated last year
• paradigmxyz / paradigm-ctf-2023
  ☆79Updated last year
• 0xDatapunk / Bridge-Bug-Tracker
  Hacks/Vulns/Audits Compilation
  ☆164Updated 9 months ago
• secureum / AMAZEX-DSS-PARIS
  ☆91Updated last year
• solodit / solodit_content
  ☆110Updated this week
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆184Updated 3 months ago
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆113Updated last month
• SergeKireev / ethereum-sources-downloader
  Download sources of deployed contracts from etherscan
  ☆84Updated last week
• Deivitto / auditor-docker
  ☆132Updated 11 months ago
• MEDGA-eth / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆45Updated 7 months ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆208Updated last year
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆158Updated last year
• Zellic / EVM-trackooor
  A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
  ☆152Updated 3 weeks ago
• secureum / Secureum-Book
  ☆52Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 5 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.
  ☆70Updated 10 months ago
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆113Updated 2 months ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆72Updated last year
• SunWeb3Sec / DeFi-Security-Breach-RCA
  DeFi Security Breaches: Comprehensive Root Cause Analysis
  ☆61Updated last month
• jcsec-security / all-things-reentrancy
  Workshop about the different types of reentrancy attacks
  ☆127Updated 2 months ago
• perimetersec / evm-fuzzing-resources
  A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).
  ☆150Updated last month
• bEsPoKeN-tOkEns / token-tester
  Use cursed ERC20s in foundry unit tests
  ☆145Updated 2 years ago
• 0xriazaka / Move-Audit-Resources
  This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…
  ☆93Updated 3 weeks ago