question: @ NoWarning ( "NP" ) 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 tp1, tp2, tp3, tp4, tp5, tp6 : true positive cases fp1, fp2, fp3, fp4 : false positives versions of the above ifp1, ifp2, ifp3 : interprocedural false positives itp1 : true versions of the ifp1