echidna

面向以太坊智能合约的属性模糊测试器，用随机调用序列验证不变式并发现合约漏洞。