Predicate SsaFlow::localFlowStep
Import path
import semmle.code.java.dataflow.internal.DataFlowNodespredicate localFlowStep(SsaSourceVariable v, Node nodeFrom, Node nodeTo, boolean isUseStep)import semmle.code.java.dataflow.internal.DataFlowNodespredicate localFlowStep(SsaSourceVariable v, Node nodeFrom, Node nodeTo, boolean isUseStep)