facebook / facebook/infer

NPE not detected

Open
#500 1 comment 0 reactions 0 assignees View on GitHub
false-negative java wishlist
Dominant language
OCaml
Stars
15.7k
Forks
2.1k
Avg merge
19h 36m
Merged PRs (30d)
13

Description

Analyze the following class:
```java
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.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.