How to fix org.apache.commons.collections.CollectionUtils Check error
- 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.