caracal

Caracal Caracal ist ein statisches Analysewerkzeug für die SIERRA-Darstellung von Starknet-Smart-Contracts. Features Erkennungsmodule zur Erkennung von anfälligem Cairo-Code Drucker zur Berichterstattung von Informationen Taint-Analyse Datenflussanalyse-Framework Einfach in Scarb-Projekten...

caracal

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 run in Scarb projects Installation Precompiled binaries...