Member predicate Dereference::isAlwaysNull
Holds if this expression dereferences SSA source variable v
, which is
always null
.
predicate isAlwaysNull(SourceVariable v)
Holds if this expression dereferences SSA source variable v
, which is
always null
.
predicate isAlwaysNull(SourceVariable v)