infer icon indicating copy to clipboard operation
infer copied to clipboard

java.util.Objects.isNull not recognized?

Open System25 opened this issue 2 years ago • 0 comments

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

System25 avatar Dec 14 '22 08:12 System25