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