四季皆宜的 Echidna

摘要

开源两年后，Trail of Bits 盘点基于属性的智能合约模糊测试工具 Echidna 的新进展：经 crytic-compile 支持 Truffle 与 Vyper、新增断言测试与函数黑白名单、可保存复用覆盖率语料，该工具已用于约 35% 的智能合约审计。