Echidna

Echidna 是一个用 Haskell 编写的程序，专为以太坊智能合约的模糊测试/基于属性的测试而设计。它会生成随机的合约调用序列，并检查用户定义的属性在每个序列执行后是否依然成立。这有助于开发者发现智能合约代码中的意外行为和潜在漏洞。