Predicate alwaysNullDeref
A dereference of a variable that is always null.
Import path
import semmle.code.java.dataflow.Nullnesspredicate alwaysNullDeref(SsaSourceVariable v, VarAccess va)A dereference of a variable that is always null.
import semmle.code.java.dataflow.Nullnesspredicate alwaysNullDeref(SsaSourceVariable v, VarAccess va)