Holds if (a,b)
is an edge in the graph of data flow path explanations.
Import path
import semmle.code.cpp.ir.dataflow.MustFlow
predicate
edges
(
MustFlowPathNode
a
,
MustFlowPathNode
b
)