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