echidna

Echidna: 快速智能合约模糊测试工具 Echidna 是一种奇怪的生物，以吃虫子为生，并且对电高度敏感（致歉 Jacob Stanley） 更严肃地说，Echidna 是一个 Haskell 程序，专为以太坊智能合约的模糊测试/基于属性的测试而设计。它利用基于合约 ABI 的复杂语法引导模糊测试活动，以证伪用户定义的谓词或 Solidity 断言。我们在设计 Echidna 时充分考虑了模块化，因此可以轻松扩展以包含新的变异方式或在特定情况下测试特定合约。 功能特性 生成针对实际代码定制的输入 可选的语料库收集、变异和覆盖率指导，以发现更深层次的漏洞 由 Slither...