Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

安全性 · 教育 · 符號執行 · VSCode 擴充功能 · 執行階段驗證 · 形式化驗證

網站社群 runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Abi Ninja

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

Walnut

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

evmc

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

solizard

用於與智能合約互動的超簡單互動式 shell