使用 Slither 检测 MISO 与 Opyn 的 msg.value 重用漏洞

samczsun 披露的 SushiSwap MISO 与 Opyn msg.value 重用漏洞曾危及约 3.5 亿美元资金。Trail of Bits 据此为 Slither 新增 msg-value-loop 与 delegatecall-loop 两个开源检测器，基于 SlithIR 识别在循环中重复使用 msg.value 或 delegatecall 的 payable 函数。