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

Crytic-Properties

模糊/屬性測試

View on GitHub (在新分頁開啟)Crytic-Properties on X (在新分頁開啟)

See next

AuditHub

About Crytic-Properties

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

標籤

  • 安全性
  • ERC-721
  • 模糊測試
  • Solidity

儲存庫crytic

Info

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

相關資源

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.