Predicate nullDeref
A potential null dereference that has not been proven safe.
Import path
import semmle.code.java.dataflow.Nullness
predicate
nullDeref
(
SsaSourceVariable
v
,
VarAccess
va
,
string
msg
,
Expr
reason
)