fuzzland / girlfriendLinks
Girl Friend <- Generate Foundry Fork Test from Attack Transaction
☆121Updated last year
Alternatives and similar repositories for girlfriend
Users that are interested in girlfriend are comparing it to the libraries listed below
Sorting:
- Pre-built security properties for commonly forked DeFi protocols☆196Updated last year
- Generate invariants for Foundry projects with LLM☆101Updated 11 months ago
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆76Updated last month
- Challenges and Solutions of Blaz CTF 2023☆45Updated last year
- ☆52Updated last year
- Symbolic stack CFG generator for EVM☆187Updated 6 months ago
- A list of public fuzzing campaigns☆119Updated 2 months ago
- Hacks/Vulns/Audits Compilation☆163Updated 11 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆110Updated 8 months ago
- A curated list of blockchain security Capture the Flag (CTF) competitions☆90Updated last year
- ☆80Updated last year
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆169Updated 6 months ago
- Security Reviews and Audit Checklists☆123Updated last month
- Daily activity feed of bug fixes and code changes in GitHub repositories listed as assets in scope for bug bounty programs in Immunefi.☆56Updated last month
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆72Updated last year
- Download sources of deployed contracts from etherscan☆85Updated 3 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆68Updated 3 weeks ago
- A smart contract security search utility☆74Updated 8 months ago
- Resources for the budding field of risk modelling and analysis in DeFi☆160Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆223Updated last year
- CTF challenges made by MiloTruck☆95Updated last month
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆141Updated last year
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆105Updated 2 years ago
- easy POC template generation from the command line☆74Updated 11 months ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆73Updated last year
- My swiss army knife for reversing EVM bytecodes (super experimental)☆119Updated last week
- template for efficient paradigm ctf testing & scripts☆154Updated 2 years ago
- Workshop about the different types of reentrancy attacks☆132Updated 5 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆98Updated last year
- ☆136Updated last year