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