facebook / facebook/infer

NPE not detected

Ouverte
#500 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
false-negative java wishlist
Langage dominant
OCaml
Étoiles
15.7k
Forks
2.1k
Merge moyen
19 h 36 min
PR mergées (30 j)
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.

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.