CodeTracer

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

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

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

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 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.

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.