跳至主要內容
安全性與測試

hevm

模糊/屬性測試

View on GitHub (在新分頁開啟)

See next

Crytic-Properties

About hevm

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

標籤

  • CLI
  • Foundry
  • 安全性
  • 符號執行

儲存庫ethereum

Info

類型
模糊/屬性測試
GitHub stars
360
License
AGPL-3.0
Listing reviewed
2026年6月

相關資源

Chimera

Chimera

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

Slither

Slither

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

Echidna

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.