Predicate hasFlow
Import path
import semmle.code.java.dataflow.internal.DataFlowImpl4
predicate hasFlow(Node source, Node sink, Configuration config)
import semmle.code.java.dataflow.internal.DataFlowImpl4
predicate hasFlow(Node source, Node sink, Configuration config)