NPE.COND

NullPointerException は、NULL 値を逆参照しようとした場合にスローされます。この逆参照は、関数呼び出し、フィールドの読み取りまたは作成、または配列アクセスなどがあります。事前の NULL チェックの結果、値が NULL である可能性が確認されたローカル変数が逆参照される場合、そのローカル変数に対して NPE.COND エラーが報告されます。

例 1

15
16
17
18
19
20
21
22
23
24
     static void printPoint(Point p) {
         if (p == null) {
             System.err.println("p is null");
         }
         if (p.x < 0 || p.y < 0) {
             System.out.println("Invalid point");
             return;
         }
         System.out.println(p);
     }

16 行目のチェックで 'p' がNULL である可能性があるため、19 行目での 'p' の逆参照に対して NPE.COND が報告されています。

関連チェッカー

• NPE.CONST
• NPE.RET
• NPE.RET.UTIL
• NPE.STAT

外部参考資料

• CWE-476: null ポインター逆参照

セキュリティトレーニング

Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。

• 「Null Dereference (null 逆参照)」トレーニングビデオ - トレーニングサンプルを使用して自分のスキルをテストできます

拡張機能

このチェッカーは、Klocwork knowledge base (ナレッジベース) を利用して拡張できます。詳細については、Java 解析のチューニングを参照してください。