Echidna：以太坊智能模糊测试器 - Trail of Bits博客

Trail of Bits博客
Echidna：以太坊智能模糊测试器
Trail of Bits
2018年3月9日
区块链，模糊测试

今天我们于EthCC大会上发布了Echidna，这是我们新一代的EVM智能模糊测试器。这是首个专门针对智能合约的模糊测试工具，具备抽象状态机建模和自动最小测试用例生成等强大功能。我们已为此投入相当长时间，非常兴奋能最终与大家分享。

不同应用的不同接口

Echidna附带echidna-test可执行文件，可在几分钟内开始发现Solidity代码中的错误，同时提供强大而全面的库用于编写自定义分析。echidna-test仅需简单的Solidity断言即可发现深层错误，并配有清晰界面使其输出易于理解。观看实际操作视频：

作为库，Echidna提供大量工具为更复杂的合约编写自定义分析。想要模拟时间推移来测试代币发行合约？Echidna可以做到。想要编写合约底层状态机的符号模型？Echidna可以做到。想要实现更高级的功能？虽不能保证，但在Empire Hacking上询问，很可能Echidna也能胜任。

开箱即用

轻松上手

Echidna使用stack，设置应非常简便，唯一需要的依赖是合约使用的solc版本（当然还有stack本身）。若遇到问题，我们已尝试记录处理过程和潜在解决方案。

安装后，您只需运行echidna-test solidity/cli.sol即可开始测试！如有任何问题，请在Github上提交或于Empire Hacking Slack的#ethereum频道询问，我们将尽力提供帮助。

若喜欢本文，请分享至： Twitter LinkedIn GitHub Mastodon Hacker News

页面内容
不同应用的不同接口
开箱即用
轻松上手
近期文章
构建安全消息传递很难：对Bitchat安全辩论的细致看法
使用Deptective调查依赖项
做好准备，Buttercup，AIxCC评分轮正在进行中！
使智能合约成熟超越私钥风险
Go解析器中意想不到的安全隐患
© 2025 Trail of Bits。
使用Hugo和Mainroad主题生成。