java - Java : Find Inappropriate Exception Handling 的 Coverity 静态分析

Question

几个月来，我们一直在测试 Coverity Static Analysis for Java(5.5.1 版)。很高兴发现那些潜在的 RESOURCE_LEAK，但我们也希望能够找到不适当的异常处理。最简单的，我们只想找到所有忽略异常的地方，例如:

catch (SomeException se) {
    // TODO Auto-generated catch block
}

以及捕获顶级异常的位置，例如:

catch (Exception e) {
    e.printStackTrack();
}

Coverity 的手册谈到了使用自定义建模，但我不确定这是否是一个合适的解决方案。提前致谢。

Answer 1

目前不支持像 C/C++ 那样为 Java 编写自定义检查器的能力，但我相信它会在未来可用。这是创建标记您想要查找(并修复)的特定行为的检查器的最佳方式。

Coverity Java 分析还运行 FindBugs 作为它的一部分 - FB 是否有捕获未抛出的异常的警告？我相信这可能会处理您的第二个案例。我想他们也有一个用于空 catch block 的，尽管我现在找不到它的链接。