使用 Slither 避免智能合约“僵局”（Gridlock）漏洞

Trail of Bits 演示其 Slither 的 dangerous-strict-equality 检测器可识别 Edgeware 智能合约的 Gridlock 拒绝服务漏洞：对余额的严格相等断言让攻击者能向未来合约地址预打款，从而永久冻结 lock() 函数。