分析以太坊智能合約漏洞 是做什麼的？
概述
智能合約漏洞已在 DeFi 協議中造成數十億美元的損失。與傳統軟體不同，已部署的智能合約不可變更且處理真實金融資產，因此部署前的安全分析至關重要。Slither 使用中間表示法進行快速靜態分析，可在數秒內偵測超過 90 種漏洞模式；而 Mythril 則使用符號執行與 SMT 求解器，探索如重入攻擊和整數溢位等複雜的執行路徑漏洞。此技能涵蓋對 Solidity 合約執行這兩種工具、解讀結果、依嚴重性分類發現，以及生成稽核報告。
使用時機
- 調查需要分析以太坊智能合約漏洞的安全事件時
- 為此領域建立偵測規則或威脅狩獵查詢時
- SOC 分析師需要此分析類型的結構化程序時
- 驗證相關攻擊技術的安全監控覆蓋範圍時
先決條件
- Python 3.10+ 與 pip
- Slither（pip install slither-analyzer）和 solc 編譯器
- Mythril（pip install mythril）與用於編譯器版本管理的 solc-select
- Solidity 原始碼或編譯後的合約位元組碼
- Foundry 或 Hardhat 開發框架（可選，用於專案層級分析）
步驟
步驟 1：執行 Slither 靜態分析
對合約程式碼庫執行 Slither，利用其 90+ 內建偵測器識別漏洞模式、最佳化機會與程式碼品質問題。
步驟 2：執行 Mythril 符號執行
執行 Mythril 深度分析，探索執行路徑以發現需要路徑敏感分析的重入攻擊、未檢查的外部呼叫及算術漏洞。
步驟 3：分類與關聯發現
結合兩個工具的結果，去重發現，根據可利用性與財務影響評估嚴重性，並過濾誤報。
步驟 4：生成稽核報告
產出一份結構化的稽核報告，包含漏洞描述、受影響的程式碼位置、利用場景以及修復建議。
預期輸出
JSON 格式報告，列出帶有 SWC（智能合約弱點分類）識別碼、嚴重性評級、受影響函式及建議修復的漏洞。