facebook / facebook/infer

How to fix org.apache.commons.collections.CollectionUtils Check error

Ouverte
#1,454 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
question
Langage dominant
OCaml
Étoiles
15.7k
Forks
2.1k
Merge moyen
19 h 36 min
PR mergées (30 j)
13

Description

version: Infer version v0.17.0
cmd: infer -o ./output --keep-going -- mvn ...

`
.../test.java:35: error: NULL_DEREFERENCE
object `testArray` last assigned on line 33 could be null and is dereferenced at line 35.
33. if (CollectionUtils.isNotEmpty(testArray)) {
34. List list = new ArrayList<>();
35. > for (Test test: testArray) {
36. list.add(test.getName());
37. }`

here, user `org.apache.commons.collections.CollectionUtils` to check [testArray] is not empty,But Infer still report a error ‘NULL_DEREFERENCE’

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.