caracal

Caracal Caracal est un outil d'analyse statique basé sur la représentation SIERRA pour les contrats intelligents Starknet. Fonctionnalités Détecteurs pour repérer du code Cairo vulnérable Imprimantes pour rapporter des informations Analyse de flux de données contaminé taint analysis Cadre d'analy...