You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
However, if I use androidx.annotation.Nullable instead of com.android.annotations.Nullable, Infer can report a warning at line 6. Hence, I think it is a false negative.
error: Null Dereference object `obj` last accessed on line 6 could be null and is dereferenced at line 6.
The text was updated successfully, but these errors were encountered:
LynnBroe
changed the title
[java] False negative about NULL_DEREFERENCE and @Nullable
[java] False negative about the rule NULL_DEREFERENCE
Sep 28, 2023
LynnBroe
changed the title
[java] False negative about the rule NULL_DEREFERENCE
[java] A false negative about the rule NULL_DEREFERENCE
Sep 28, 2023
Version.
Infer version v1.1.0
OS.
Ubuntu 22.04.3 LTS
Command.
infer run -- mvn clean compile
I found a false negative about the rule NULL_DEREFERENCE.
In the example below, Infer report no warnings, but there is a NULL_DEREFERENCE bug at line 6.
However, if I use
androidx.annotation.Nullable
instead ofcom.android.annotations.Nullable
, Infer can report a warning at line 6. Hence, I think it is a false negative.error: Null Dereference object `obj` last accessed on line 6 could be null and is dereferenced at line 6.
The text was updated successfully, but these errors were encountered: