Recon-Fuzz / chimera
Smart Contract Property-Based Testing Framework
☆112Updated last month
Alternatives and similar repositories for chimera:
Users that are interested in chimera are comparing it to the libraries listed below
- ☆131Updated 11 months ago
- A list of public fuzzing campaigns☆109Updated 2 weeks ago
- ☆70Updated 2 weeks ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆125Updated 8 months ago
- Pre-built security properties for commonly forked DeFi protocols☆193Updated last year
- ☆114Updated last year
- A forkable template repo for easily writing and testing toy contracts☆148Updated last year
- Security Reviews and Audit Checklists☆115Updated 2 months ago
- A simple template to perform whitehacks safely☆178Updated last year
- ☆57Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated last month
- ☆92Updated last year
- The critical bug writeups☆118Updated 6 months ago
- ☆164Updated last year
- ☆107Updated last week
- CTF challenges made by MiloTruck☆68Updated 8 months ago
- ☆51Updated 4 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆125Updated last year
- easy POC template generation from the command line☆75Updated 8 months ago
- Solidity Audit Report Generator☆85Updated last year
- ☆46Updated last year
- Readiness Assessment for CARE Endeavour☆52Updated last year
- Resources for the budding field of risk modelling and analysis in DeFi☆156Updated last year
- weird ERC721 (NFTs) tokens☆80Updated 3 months ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆156Updated 3 months ago
- Use cursed ERC20s in foundry unit tests☆145Updated 2 years ago
- A collection of my personal security audits☆66Updated 2 weeks ago
- List of Halmos resources.☆54Updated 2 months ago
- ☆36Updated 2 years ago
- ☆32Updated 2 years ago