caracal: Static Analyzer for Starknet smart contracts
Caracal Caracal is a static analyzer tool over the SIERRA representation for Starknet smart contracts. Features Detectors to detect vulnerable Cairo code Printers to report information Taint analysis Data flow analysis framework Easy to...
The post caracal: Static Analyzer for Starknet smart contracts appeared first on Penetration Testing Tools.