Predicate FlowStepsInput::isNullValue
Holds if null is the only value that flows to n.
Import path
import semmle.code.java.dataflow.TypeFlowpredicate isNullValue(FlowNode n)Holds if null is the only value that flows to n.
import semmle.code.java.dataflow.TypeFlowpredicate isNullValue(FlowNode n)