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