16次运行全部通过检查，所有代码审查都准确找出了3个植入bug且无误报。