使用 Diffusc 对可升级智能合约进行差分模糊测试

Trail of Bits 发布 Diffusc 工具：结合基于 Slither 的静态分析与差分模糊测试（Echidna），在链上升级前发现可升级智能合约版本间的行为差异；文章以 SafeMoon 因升级引入缺陷损失 890 万美元 BNB 及 Compound 为例说明实战价值。