echidna
安装命令
brew install echidnaEthereum 智能合约模糊测试器
https://github.com/crytic/echidna
许可： AGPL-3.0-only
公式 JSON API： /api/formula/echidna.json
公式代码： echidna.rb 在 GitHub 上
支持以下平台的瓶装（二进制包）安装
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 2.2.4 |
| 最新版 | ⚡️ | HEAD |
依赖项
| crytic-compile | 0.3.7 | 智能合约构建系统抽象层 |
| gmp | 6.3.0 | GNU 多精度算术库 |
| libff | 0.2.1 | C++ 算术域和椭圆曲线库 |
| secp256k1 | 0.5.1 | 针对 secp256k1 曲线上 EC 操作的优化 C 库 |
| slither-analyzer | 0.10.3 | 用 Python 3 编写的 Solidity 静态分析框架 |
从源代码构建时依赖项
| [email protected] | 9.4.8 | 辉煌的格拉斯哥哈斯克编译系统 |
| haskell-stack | 3.1.1 | 跨平台 Haskell 项目开发程序 |
分析
| 安装（30天） | |
|---|---|
echidna |
170 |
echidna --HEAD |
1 |
| 请求安装（30天） | |
echidna |
170 |
echidna --HEAD |
1 |
| 构建错误（30天） | |
echidna |
1 |
| 安装（90天） | |
echidna |
605 |
echidna --HEAD |
10 |
| 请求安装（90天） | |
echidna |
605 |
echidna --HEAD |
10 |
| 安装（365天） | |
echidna |
1,835 |
echidna --HEAD |
71 |
| 请求安装（365天） | |
echidna |
1,835 |
echidna --HEAD |
71 |
