contract-fuzzer

面向 EVM 的 Python 智能合约模糊测试器，编译 Solidity、发现 echidna_* 属性函数并随机调用验证不变量。