contract explorer

合同資源管理器（Visual Studio代碼擴展）

Slither的Visual Studio代碼集成，一個堅固的靜態分析框架。

該擴展名為Slither提供了視覺工作室代碼集成，這是一個固體性靜態分析框架，編寫了Python 3。使用Slither用於Visual Studio代碼，用戶可以在其堅固的智能合約上運行一套漏洞檢測器，以註釋潛在的危險代碼並獲得建議的修復程序。

特徵

• 分析開放工作區
• 探索自定義樹的結果，按發行類型或嚴重性排序
• 將結果視為本地視覺工作室代碼信息/警告/錯誤
• 有關每個問題的相關源代碼，請參見註釋
• 打印詳細的問題描述和建議
• 按類型進行過濾問題（每個工作區配置）
• 指定自定義SOLC路徑（每個工作區配置）
• 堅固性語法突出顯示

要求

• Slither-lsp
• Visual Studio代碼
• 可選：Slither支持的任何所需的構建/測試框架，例如松露。

筆記

必須通過Slither-LSP命令訪問slither-lsp ，以使其調用。使用pip install slither-lsp將其安裝。

安裝

來自視覺工作室市場

在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 。

通過...菜單下的Extensions安裝VSIX文件。

入門

安裝擴展程序後，只需打開一個包含任何堅固性（*.sol）文件的工作區。擴展名將激活，從而在動作欄上揭示Slither徽標。單擊它以顯示設置窗格，您可以從中選擇工作區文件夾完成分析後將顯示哪些檢測器結果。

一旦完成了文件夾的分析，您將能夠使用熟悉的VSCODE工具“轉到實現”，“轉到定義”，“查找所有參考”，並顯示呼叫和鍵入層次結構來探索代碼庫。

執照

AGPL-3.0