混合模糊测试：磨利 Echidna 的尖刺

Hybrid Echidna 将 Trail of Bits 的智能合约模糊测试器 Echidna 与 Maat 符号执行框架结合，能触达随机模糊测试无法企及的漏洞——例如需要特定 256 位整数输入才能触发的断言失败，纯随机方式几乎不可能命中。