棘突线虫dna swMATH ID: 37693 软件作者： 古斯塔沃·格里科；等。 描述： Echidna：快速智能合约模糊器。Echidna是一种奇怪的生物，它吃虫子，并且具有高度的电敏感性（向雅各布·斯坦利道歉）。更严重的是，Echidna为Haskell程序设计，用于以太坊智能合约的模糊/基于属性的测试。它使用基于契约ABI的复杂的基于语法的模糊化活动来伪造用户定义的谓词或Solidity断言。我们在设计Echidna时考虑到了模块性，因此可以很容易地将其扩展到包括新的突变或特定情况下的测试特定合同。 主页： https://github.com/crytic/echidna 源代码： https://github.com/crytic/echidna 引用于： 0个文档