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