solizard

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

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

適用於 EVM 的網頁版交易除錯器和模擬器。開源且可自行託管。在每個步驟檢查變數狀態，在部署前模擬交易，並分析燃料使用情況。支援任何 RPC 供應商。

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

一個簡單的 CLI 工具，可立即將合約程式碼載入您的 IDE 中。

viem-tracer 增強了 Viem 客戶端，使失敗的 ethestimateGas 和 ethsendTransaction 呼叫自動包含使用 sourcify.dev 解碼的人類可讀追蹤輸出，並在 debug_traceCall 周圍新增了類型化輔助工具，讓開發人員無需離開現有的 RPC 堆疊即可檢查執行情況。