codeql/java-all
2.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
A potential null dereference that has not been proven safe.
null
import semmle.code.java.dataflow.Nullness
predicate nullDeref(SsaSourceVariable v, VarAccess va, string msg, Expr reason)