echidna

面向以太坊智能合约的快速模糊测试工具，基于合约 ABI 生成调用序列来证伪不变量，支持多种测试模式、覆盖率收集与 CI 集成。