@@ -0,0 +1,428 @@
+package npe;%0Aclass TrackFields %7B%0A    Object x;%0A    TrackFields(Object x) %7B%0A            this.x = x;%0A            %7D%0A%0A    int f() %7B%0A            if (x == null) return x.hashCode();%0A            return 42;%0A            %7D%0A    int g() %7B%0A            if (x != null) return 42;%0A            return x.hashCode();%0A            %7D%0A    int doNotReport() %7B%0A        if (x == null) %0A        %09x = new Object();%0A        return x.hashCode();%0A        %7D%0A%7D%0A

Test case for tracking fields in NP analysis