question: int fp1 ( int level ) { Object x = null ; if ( level > 0 ) x = new Object ( ) ; if ( level > 4 ) return x . hashCode ( ) ; return 0 ; }
target:  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