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

摘要

Trail of Bits 在 EthCC 上发布 Echidna——首款面向智能合约的模糊测试器：echidna-test 只需 Solidity 断言即可挖掘深层漏洞，库模式支持自定义状态机建模与最小化测试用例生成。