fuzzland / girlfriend
Girl Friend <- Generate Foundry Fork Test from Attack Transaction
☆116Updated 6 months ago
Alternatives and similar repositories for girlfriend:
Users that are interested in girlfriend are comparing it to the libraries listed below
- Generate invariants for Foundry projects with LLM☆95Updated 6 months ago
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆102Updated 2 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆148Updated last month
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated last year
- A smart contract security search utility☆73Updated 2 months ago
- A list of public fuzzing campaigns☆88Updated 3 months ago
- List of Halmos resources.☆53Updated 2 weeks ago
- Security Reviews and Audit Checklists☆106Updated 2 months ago
- A curated list of blockchain security Capture the Flag (CTF) competitions☆85Updated last year
- Foundry template to run Proof of Concept (PoC) fork tests on any EVM compatible chain.☆50Updated last year
- Symbolic stack CFG generator for EVM☆181Updated 3 weeks ago
- ☆92Updated last year
- Smart Contract Property-Based Testing Framework☆99Updated 3 weeks ago
- 🍋 An open dataset containing smart contract audit issues from various sources.☆212Updated 11 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆206Updated last year
- template for efficient paradigm ctf testing & scripts☆154Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆42Updated 4 months ago
- easy POC template generation from the command line☆76Updated 6 months ago
- ☆130Updated 8 months ago
- ☆163Updated last year
- Public profile of my adventure as a blockchain and smart contract security auditor.☆68Updated last week
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆139Updated last year
- Use cursed ERC20s in foundry unit tests☆147Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆57Updated 10 months ago
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆125Updated last month
- Foundry Test Suit to test weird ERC20 behavior☆237Updated last year
- Resources for the budding field of risk modelling and analysis in DeFi☆153Updated 10 months ago
- Challenges and Solutions of Blaz CTF 2023☆42Updated last year
- ☆70Updated last year