Java チューニングチュートリアル 3 - 誤検知を低減するための NPE.RET のチューニング

次の抜粋があるとします。

package com.klocwork.jdefects.checkers.dfa.binding_walkthrough;


public class CheckSample1 {
   public String toString() {   
      final Object o = get();   
      return o.toString();  
   }
 
   private Object get() {   
      if (hashCode() > 0 ) {      
         return new Object();  
      }    
      return null;  
   }
}

kwcheck の解析では NPE.RET 指摘が検出されます。フィールドは get()and から null が返され、o.toString() で逆参照されています。