int fp1(int level){
  Object x=null;
  if (level > 0)   x=new Object();
  if (level > 4)   return x.hashCode();
  return 0;
}

int fp1 ( int level ) { Object x = null ; if ( level > 0 ) x = new Object ( ) ; if ( level > 4 ) return x . hashCode ( ) ; return 0 ; }
benchmark tests for null pointer defect detectors this benchmark tests local variable tracking tracking fp1 , fp2 , fp3 : false positives tp1 : true positive ifp1 : interprocedural false positives itp1 , itp2 , itp3 : interprocedural true positives
