@@ -0,0 +1,372 @@
+package npe;%0A%0A%0Apublic class GuaranteedDereferenceInteractionWithAssertionMethods %7B%0A%0A%09public Object x;%0A%0A%09public boolean b;%0A%0A%09public int falsePositive() %7B%0A%0A%09%09if (x == null)%0A%09%09%09System.out.println(%22x is null%22);%0A%09%09if (b) %7B%0A%09%09%09x = bar();%0A%09%09%09checkForError();%0A%09%09%7D%0A%0A%09%09return x.hashCode();%0A%09%7D%0A%0A%09public void checkForError() %7B%0A%0A%09%7D%0A%0A%09public Object bar() %7B%0A%09%09return new Object();%0A%09%7D%0A%0A%7D%0A

Add false positive test case for interaction with assertion methods