caracal

Static analyzer for Starknet smart contracts

brewmacoslinux
Try with needOr install directly
Source

About

Static analyzer for Starknet smart contracts

Commands

caracal

Examples

Analyze a Starknet contract file for vulnerabilities$ caracal path/to/contract.cairo
Analyze all contracts in a directory$ caracal path/to/contracts/
Run analysis with verbose output$ caracal --verbose path/to/contract.cairo