NPE.CONST

NullPointerException は、NULL 値を逆参照しようとした場合にスローされます。この逆参照は、関数呼び出し、フィールドの読み取りまたは作成、または配列アクセスなどがあります。NPE.CONST は、NULL 定数で初期化された変数の逆参照に試行に対して報告されます。

例 1

15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
     static String searchForMaxString(final String text) {
         if (text == null) return null;
         int max = 0;
         StringTokenizer tok = new StringTokenizer(text, ":");
         String found = null;
         while (tok.hasMoreTokens()) {
             String x = tok.nextToken();
             if (x.length() >= max) {
                 max = x.length();
                 found = x;
             }
         }
         int len = found.length();
         System.err.println(len + " -> " + found);
         return found;
     }

19 行目で変数 'found' に NULL 値が代入されているため、NPE.CONST が 27 行目に対して報告されています。

関連チェッカー

• NPE.COND
• NPE.RET
• NPE.RET.UTIL
• NPE.STAT

外部参考資料

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

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

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

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

拡張機能

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