← All repos

caracal

Static Analyzer for Starknet smart contracts

GitHub
Browse cluster: Cosmos blockchain and smart contract languages →
131commits
5contributors
2languages

Tech stack & purpose

Caracal is a static analyzer for Starknet smart contracts that operates on the SIERRA intermediate representation. Built in Rust using Cargo, it provides detectors to identify vulnerable Cairo code patterns, data flow and taint analysis capabilities, and printers to export control flow graphs and call graphs. The tool is developed by Crytic and can be easily integrated into Scarb projects, supporting both standalone Cairo files and multi-file Cairo projects.

Languages

Cairo
66.2%
Rust
33.8%

Contributors