跳转到主要内容
安全与测试

Aderyn

模糊/属性测试

访问网站 （在新标签页中打开）X 上的 Aderyn （在新标签页中打开）GitHub 上的 Aderyn （在新标签页中打开）

查看下一个

eth-tester

关于 Aderyn

Aderyn 是 Cyfrin 开源的、基于 Rust 的 Solidity 智能合约静态分析器，旨在帮助协议工程师和安全研究人员在 Solidity 代码库中发现漏洞。

标签

  • CLI
  • 安全性
  • 教育
  • Solidity
  • 静态分析
  • VSCode 扩展
  • 社区驱动

代码库Cyfrin

信息

类型
模糊/属性测试
GitHub 星标数
802
许可证
GPL-3.0
收录审核时间
2026年6月

类似工具

Chimera

Chimera

Chimera 是一个在 Foundry 中编写 Solidity 测试的框架，并能够与其他开源工具（如 Echidna、Medusa、Halmos 和 Kontrol）一起重用它们。

Slither
CROPS 原生

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.