NPE not detected

[trulex]

Analyze the following class:

public class Hello {

    private static Integer i;

  static Integer getInteger() {
      return i;
  }


  public static void main(String[] args) {
    Integer i = getInteger();
    i = i + 2;
  }

}

NPE is not detected. If you execute the program it will throw java.lang.NullPointerException.

[sblackshear]

This is a known issue because Infer doesn't model invocation of class initializers (where the implicit assignment to null happens). Modeling class initializers correctly is tricky and can cause noise, so we do not bother with it.

For fully exhaustive checking of NPE related issues that will detect this case, I recommend you give Eradicate (infer -a eradicate) a try.