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

Trail of Bits
2018年3月9日
区块链，模糊测试

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

不同应用的不同接口

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

作为库，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

页面内容
不同应用的不同接口
功能完备
轻松入门
近期文章
使用Deptective调查依赖项
准备就绪，Buttercup，AIxCC评分轮正在进行中！
使智能合约超越私钥风险成熟化
Go解析器中意外的安全陷阱
我们审查首批DKLs学到的经验
Silence Laboratories的23个库
© 2025 Trail of Bits。
使用Hugo和Mainroad主题生成。