3

ここ数か月、Coverity Static Analysis for Java (バージョン 5.5.1) をテストしています。これらの潜在的な RESOURCE_LEAK を見つけられるのは素晴らしいことですが、不適切な例外処理も見つけられるようにしたいと考えています。最も簡単に言えば、例外が無視されるすべての場所を見つけたいだけです。次に例を示します。

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

最上位の例外がキャッチされる場所。たとえば、次のようになります。

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

Coverity のマニュアルでは、カスタム モデリングの使用について説明していますが、これが適切な解決策であるかどうかはわかりません。前もって感謝します。

4

1 に答える 1

0

現在、C/C++ のように Java 用のカスタム チェッカーを作成する機能はサポートされていませんが、将来的には利用できるようになると思います。これは、検出 (および修正) したい特定の動作にフラグを付けるチェッカーを作成するための最良の方法です。

Coverity Java 解析では、FindBugs もその一部として実行されます。FB には、スローされない例外をキャッチするための警告が表示されませんか? これで 2 番目のケースを解決できると思います。空の catch ブロックにも 1 つあると思いますが、現在はリンクが見つかりません。

于 2012-07-16T22:06:22.283 に答える