@@ -0,0 +1,375 @@
+package npe;%0A%0Apublic class IdentifyCorrectBranchPlease %7B%0A%09%0A%09int f(boolean b) %7B%0A%09%09Object x = null;%0A%09%09if (b) %7B%0A%09%09%09x = new Object();%0A%09%09%7D else %7B%0A%09%09%09b = true;%0A%09%09%7D%0A%09%09return x.hashCode();%0A%09%7D%0A%09int f(boolean b1, boolean b2) %7B%0A%09%09Object x = null;%0A%09%09if (b1) %7B%0A%09%09%09x = new Object();%0A%09%09%7D else %7B%0A%09%09%09b1 = true;%0A%09%09%7D%0A%09%09if (b2) %0A%09%09%09System.out.println(%22b2 is true%22);%0A%09%09return x.hashCode();%0A%09%7D%0A%0A%7D%0A

Test cases for whether we can correctly identify the path leading to the NPE