安全性與測試

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

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

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

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

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

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

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

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

forge-stack-tracer 透過 Swiss-Knife 解碼來傳送詳細的 Foundry 測試輸出，因此失敗的測試會返回互動式堆疊追蹤，而不是不透明的十六進位資料。

Chimera 是一個在 foundry 中編寫 Solidity 測試的框架，並能夠與 Echidna、Medusa、Halmos 和 Kontrol 等其他開源工具重複使用

斯立瑟 (Slither) 是 Trail of Bits 針對 Solidity 和 Vyper 的 Python 靜態分析引擎：在 CI 中執行它以觸發偵測器、列印合約的結構視圖，或編寫腳本對整個程式碼庫進行自訂檢查。

Synpress 將 Playwright 與具備以太坊感知能力的瀏覽器自動化相結合，讓您可以在 CI 中對去中心化應用程式 (dapp) 進行端到端測試，包括錢包彈出視窗和鏈切換。

Aderyn 是 Cyfrin 基於 Rust 的開源 Solidity 智能合約靜態分析器，旨在幫助協定工程師和安全研究人員在 Solidity 程式碼庫中尋找漏洞。

Titanoboa 是一個互動式 Vyper 直譯器和測試工具，當您在完整的 Foundry 迴圈之外試驗合約時，可提供快速的回饋迴圈。

Medusa 是一個受 Echidna 啟發的有狀態智能合約模糊測試工具。它提供智能合約的平行化模糊測試以及進階智能合約不變數的驗證。

solidity-coverage 為 Hardhat 開發人員平台提供智能合約程式碼覆蓋率。它非常準確，支援完整的 viaIR Solidity 編譯以及大量特定於 Solidity 的程式碼分支模式。它安裝在約 23 萬個 Github 專案上，每週從 NPM 下載約 10 萬次。

hevm 是一個開源、最先進、快速的符號和具體 EVM 執行引擎，可以發現智能合約中的問題。透過其符號執行和分析系統，hevm 可以符號化、半具體化或具體化地執行合約以尋找錯誤，或者比較兩個不同的合約以找出差異，從而執行等價性檢查。

Crytic-Properties 是一套可重複使用的安全測試套件，適用於一些最廣泛使用的代幣標準，例如 ERC-20、ERC-721、ERC-4626 等。

Wallet Test Framework 是一個自動化套件，可執行核心錢包流程（轉帳、餘額讀取、基本的去中心化應用程式 (dapp) 互動），以便團隊可以在 CI 中對共享的使用者體驗期望進行回歸測試。

一個基於分支樹技術 (Branching Tree Technique) 的智能合約測試產生器。

ERCx 是一個全面的開源測試函式庫，適用於 ERC 代幣標準，包含超過 500 個針對 ERC-20、ERC-721、ERC-1155 和 ERC-4626 實作的獨立測試。

Solidity/EVM 智能合約安全稽核工具，具備 104 種漏洞模式和 8 種分析工具。在 CTF 和 EVMBench 基準測試中達到 100% (120/120)。用於偵測智能合約漏洞的靜態分析。

foundry-storage-check 是一個適用於 Foundry 專案的 GitHub Action，它會在每個拉取請求上執行，以確保可升級代理儲存佈局保持防碰撞安全，並確保新附加的儲存槽在合併發布之前在鏈上被初始化為零。

blocksmith.js 是一個圍繞 forge 和 anvil 的輕量級 JavaScript 測試框架，當單個本地 EVM 不夠用時，可用於編寫多鏈或多實例 Foundry 測試的腳本。

KEVM 是 EVM 的 K 框架可執行語意：當您需要一致性檢查執行、符號探索、燃料推論或密切追蹤以太坊規則的證明時，可以將其指向位元組碼。

Kontrol 將 Foundry 屬性測試提升為由 KEVM 支援的證明，因此您可以追求形式化保證，而所需的手寫規範工作比單獨使用原始 KEVM 更少。

hax 是一個工具，用於將大部分 Rust 高保證地翻譯成 F* 或 Rocq 等形式化語言。

Act 是以太坊的宣告式規範語言和工具鏈，用於描述 EVM 程式的所有行為，以便 SMT 求解器、定理證明器或經濟分析工具能夠推論位元組碼層級的正確性和誘因相容性，包括針對具體實作的自動精煉證明。

Verifereum 將以太坊智能合約連接到由 HOL4 支援的定理證明，因此當自動化 SMT 方法不足時，您可以追求非常強大的正確性聲明。