crytic / caracal
Static Analyzer for Starknet smart contracts
☆140Updated last year
Alternatives and similar repositories for caracal:
Users that are interested in caracal are comparing it to the libraries listed below
- Cairo/Starknet smart contract fuzzer☆123Updated this week
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated last week
- ☆115Updated 2 years ago
- ☆86Updated 7 months ago
- A collection of my security audits☆54Updated last month
- Security Reviews and Audit Checklists☆106Updated 2 months ago
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- ☆39Updated 10 months ago
- Collection of security reviews of ZK Protocols☆224Updated 2 months ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Database of public audits made by ABDK Consulting☆63Updated 3 weeks ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated last year
- ☆58Updated 3 months ago
- This repository represents my portfolio of smart contract security audits and audit contest findings☆50Updated 3 weeks ago
- Public reports of audits performed by Nethermind Security☆42Updated this week
- A Solidity code search tool with built-in static analysis detection☆75Updated 7 months ago
- ☆45Updated last year
- ☆50Updated 3 months ago
- ☆69Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆26Updated 7 months ago
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆56Updated 5 months ago
- Practical fuzzing examples for the mastering fuzzing talk☆108Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆102Updated last month
- ☆71Updated last month
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆206Updated last year
- Sherlock audit and coverage reports☆122Updated this week
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆226Updated last year
- ☆21Updated last year
- Hacks/Vulns/Audits Compilation☆159Updated 5 months ago
- Collection of past CTFs to play and practice locally.☆51Updated 6 months ago