codeql/java-all
7.7.3
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if the dereference of v at va might be null.
v
va
null
import semmle.code.java.dataflow.Nullness
predicate nullDeref(SsaSourceVariable v, VarAccess va, string msg, Expr reason)