Static analyzer for Starknet smart contracts
caracal
$ caracal path/to/contract.cairo
$ caracal path/to/contracts/
$ caracal --verbose path/to/contract.cairo