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)
An expression that is being dereferenced. These are the points where NullPointerException
s can occur.
import semmle.code.java.dataflow.Nullness
predicate dereference(Expr e)