Predicate hasFlow
Import path
import semmle.python.dataflow.new.internal.DataFlowImpl2
predicate
hasFlow
(
Node
source
,
Node
sink
,
Configuration
config
)