infer
infer copied to clipboard
java.util.Objects.isNull not recognized?
Hi, it seems that Infer is not recognizing the "isNull" method in java.utils.Objects.
- Infer version v1.1.0
- Operating system MacOS Ventura
- Commands:
infer capture -- ./gradlew --offline clean assemble
infer analyze --fail-on-issue
- Example:
01. var client = getClient();
02. if (java.util.Objects.isNull(client)) {
03. throw new RuntimeException("client is null");
04. }
05. final var data = client.getData();
This codes produces a error: Null Dereference object client
last assigned on line 01 could be null and is dereferenced at line 05.
The same code does not produce error if I replace "java.util.Objects.isNull(client)" by "client == null".
Thanks