Predicate dereference
An expression that is being dereferenced. These are the points where NullPointerException
s can occur.
Import path
import semmle.code.java.dataflow.Nullness
predicate
dereference
(
Expr
e
)