"这个漏洞基本上通过测试和手动代码检查几乎不可能被发现。它是通过一个自动检查同步算法的工具发现的。"
643