echidna

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