caracal

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