codeql/java-all
8.1.1
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)