Synpress

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

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

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

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

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

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