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