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

Aderyn

模糊/屬性測試

造訪網站 (在新分頁開啟)X 上的 Aderyn (在新分頁開啟)GitHub 上的 Aderyn (在新分頁開啟)

查看下一個

ItyFuzz

關於 Aderyn

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

標籤

  • CLI
  • 安全性
  • 教育
  • Solidity
  • 靜態分析
  • VSCode 擴充功能
  • 社群驅動

儲存庫Cyfrin

資訊

類型
模糊/屬性測試
GitHub 星數
805
授權條款
GPL-3.0
資訊審查日期
2026年6月

類似工具

Chimera

Chimera

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

Slither
CROPS 原生

Slither

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

Echidna
CROPS 原生

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.