安全性與測試

sol2uml

除錯與檢查

視覺化 · Solidity · 儲存佈局 · CLI

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.

相關資源

CodeTracer

CodeTracer 是一個使用者友善的時間旅行除錯器，旨在支援廣泛的 web3 程式語言。

EDB: The Ethereum Project Debugger

EDB 是一個用於 Solidity 執行的原始碼層級除錯器，提供單步執行、區域變數、監看式和中斷點功能，當您需要對鏈上或測試中的合約行為進行 IDE 等級的檢視時，它會是您的理想選擇。

Simbolik - Solidity Debugger

Simbolik 是一個強大的 Solidity 除錯器，它將傳統的中斷點除錯與符號執行相結合，使開發人員能夠探索每個可能的執行路徑並精確地發現漏洞。Simbolik 作為 VSCode 擴充功能提供，可無縫整合到現有工作流程中，提供中斷點風格的除錯、Solidity 和 EVM 級別的檢查以及形式化驗證功能。

Abi Ninja

Abi Ninja 是一個瀏覽器使用者介面，用於透過已知 ABI、貼上的 ABI 或反編譯的位元組碼來呼叫合約，並支援跨多個網路（包括您本地運行的 Hardhat 或 Anvil 節點）進行具備代理感知 (proxy-aware) 的讀取。

Tenderly

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.