crytic / caracal
Static Analyzer for Starknet smart contracts
☆135Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for caracal
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 8 months ago
- Cairo/Starknet smart contract fuzzer☆118Updated 8 months ago
- ☆114Updated 2 years ago
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆112Updated 3 weeks ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆93Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆193Updated last year
- A collection of my security audits☆54Updated 2 weeks ago
- ☆82Updated 4 months ago
- This repository represents my portfolio of smart contract security audits and audit contest findings☆50Updated 4 months ago
- Security Reviews and Audit Checklists☆89Updated 6 months ago
- Collection of security reviews of ZK Protocols☆219Updated last week
- ☆50Updated 2 weeks ago
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆133Updated 10 months ago
- Sharpen your smart contract auditing skills with this Training Ground - a platform to practice identifying vulnerabilities discovered in …☆97Updated 9 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆205Updated 10 months ago
- Practical fuzzing examples for the mastering fuzzing talk☆107Updated last year
- A framework for assessing the security of L2s☆45Updated last year
- ☆57Updated last month
- easy POC template generation from the command line☆76Updated 2 months ago
- ☆127Updated this week
- ☆161Updated last year
- This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce d…☆86Updated 2 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆89Updated last month
- ☆38Updated 6 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆109Updated 2 months ago
- A recreation of capturetheether.com using Solidity 0.8.0 and the foundry environment.☆77Updated 2 months ago
- Hacks/Vulns/Audits Compilation☆154Updated 2 months ago
- ☆217Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆42Updated 2 weeks ago
- Public reports of audits performed by Nethermind Security☆37Updated last week