该工具使用静态分析来帮助确定Java代码中数百种不同类型的错误，包括空指针解引用，无限递归循环，Ja