contract explorer

契約エクスプローラー（ビジュアルスタジオコード拡張機能）

SlitherのVisual Studioコード統合、Solidity Static Analysis Framework。

この拡張機能は、Python 3に記述されたSolidity Static Analysis FrameworkであるSlitherのVisual Studioコード統合を提供します。SlitherVisual Studioコードを使用すると、ユーザーはSolidity Smart Contractsで一連の脆弱性検出器を実行して、潜在的に危険なコードに注釈を付け、提案された修正を受信できます。

特徴

• オープンワークスペースを分析します
• 問題の種類または重大度でソートされたカスタムツリーで結果を探索します
• 結果をネイティブのビジュアルスタジオコード情報/警告/エラーとして表示します
• 各号の関連ソースコードについては、注釈を参照してください
• 詳細な問題の説明と推奨事項を印刷します
• タイプごとに問題をフィルタリングします（ワークスペース構成ごと）
• カスタムソルクパスを指定します（ワークスペース構成ごと）
• SOLIDITY構文強調表示

要件

• slither-lsp
• ビジュアルスタジオコード
• オプション：トリュフなどのスリザーによってサポートされる希望のビルド/テストフレームワーク。

注記

Slither-LSPは、この拡張機能を呼び出すために、 slither-lspコマンドからアクセスできる必要があります。 pip install slither-lspを使用してインストールします。

インストール

Visual Studio Marketplaceから

Visual Studioコードの[拡張]タブ内に、Visual Studio MarketplaceからContract Explorerをインストールします。

ソースから

git clone https://github.com/crytic/contract-explorer
cd contract-explorer
npm i
npm install -g vsce
vsce package

contract-explorer-XXXvsixが作成されます。

vsixファイルを、 Extensionsを介して、 ...メニューの下にインストールします。

はじめる

拡張機能をインストールした後、Solidity（*.SOL）ファイルを含むワークスペースを開くだけです。拡張機能がアクティブになり、アクションバーのスリザーロゴが表示されます。それをクリックして設定ペインを表示します。そこから、ワークスペースフォルダーが分析が終了した後に表示される検出器の結果を選択できます。

フォルダーの分析が完了したら、馴染みのあるVSCODEツール「実装に移動する」、「定義に移動」、「すべての参照を見つける」、呼び出しとタイプの階層を表示することにより、コードベースを探索できます。

ライセンス

AGPL-3.0