Java程序静态分析能检查以下方面：
代码风格和规范
检查类名是否以大写字母开头，变量命名是否清晰易懂等。
检查代码是否符合特定的编码规范，例如PMD可以通过内置的编码规则对Java代码进行静态检查。
潜在的运行时错误
检测可能导致空指针异常、内存泄漏、代码优化等问题。
识别可能导致程序运行异常的问题，如空指针异常、未处理的异常等。
性能瓶颈
通过静态分析，开发人员可以发现可能导致性能问题的代码。
安全漏洞
检查代码中的安全漏洞，例如FindBugs可以发现一些和安全相关的漏洞。
代码质量度量
静态分析还可以包括代码质量度量，例如代码的可读性、逻辑表达的正确性、代码结构的合理性等。
其他常见问题
检查未使用的变量、参数、私有方法等。
识别重复的代码、拷贝/粘贴的bugs。
检查潜在的bug，如空的try/catch/finally/switch语句。
常用的Java静态分析工具包括：
Checkstyle：专注于检查代码是否符合预定的编码标准。
FindBugs：用于检测Java代码中的bug和潜在问题。
PMD：通过其内置的编码规则对Java代码进行静态检查，包括潜在的bug、未使用的代码、重复的代码等。
Jtest：按照内置的Java编码规范自动检查并纠正编码错误。
通过这些工具，开发人员可以在编译或部署之前发现代码中的缺陷，从而提前修复这些问题，确保软件的质量和可维护性。