Echidna：面向以太坊的智能模糊测试工具

今天我们发布了Echidna——在EthCC大会上亮相的下一代EVM智能模糊测试工具。这是首款针对智能合约的模糊测试器，拥有抽象状态机建模和自动生成最小测试用例等强大功能。经过长期开发，我们终于能向世界分享这一成果。

为不同应用设计的多样化接口

Echidna提供两种使用方式：

1. echidna-test可执行文件：无需复杂配置，仅需简单Solidity断言即可在几分钟内开始检测代码漏洞，并配备直观的结果展示界面（观看演示视频）
2. 功能完备的分析库：支持为复杂合约编写定制化分析方案，包括：
   • 模拟时间推移测试代币发行合约
   • 构建合约底层状态机的符号模型
   • 通过Empire Hacking社区实现更高级用例

开箱即用的完整解决方案

Echidna不仅具备强大的模糊测试能力，还包含：

• 精心设计的用户界面
• 最小化测试用例生成
• 持续集成测试支持
• 详尽的示例文档

极简入门指南

通过stack工具安装Echidna后，只需运行：

1

echidna-test solidity/cli.sol

唯一依赖是合约对应的solc编译器版本。安装问题可查阅文档或通过GitHub及Empire Hacking Slack的#ethereum频道寻求支持。