caracal

Caracal Caracal は、Starknet スマートコントラクトの SIERRA 表現に対する静的解析ツールです。 機能 脆弱な Cairo コードを検出する検出器 情報を報告するプリンター テイント解析 データフロー解析フレームワーク Scarb プロジェクトで簡単に実行可能 インストール プリコンパイル済みバイナリ プリコンパイル済みバイナリはリリースページから入手できます。Cairo コンパイラ 1.x.x を使用している場合は v0.1.x のバイナリを、Cairo コンパイラ 2.x.x を使用している場合は v0.2.x を使用してください。 ソースからビルド Ru...

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...