@@ -0,0 +1,405 @@
+package deref;%0A%0Aimport java.io.IOException;%0Aimport java.io.OutputStream;%0A%0Apublic class DereferenceByCalledBuggyMethod %7B%0A%09%0A%09/** This method is buggy and we should report a NP warning here */%0A%09%0A%09public void closeit(OutputStream out) throws IOException %7B%0A%09%09if (out == null) %0A%09%09%09out.close();%0A%09%7D%0A%09%0A%09/** Nothing wrong with this method */%0A%09public void falsePositive() throws IOException %7B%0A%09%09closeit(null);%0A%09%7D%0A%0A%7D%0A

Add a test case, for whether a buggy method should be marked as having an unconditionally dereferenced parameter.