Predicate DataFlowMakeCore::MergePathGraph3::PathGraph::edges
Holds if (a,b) is an edge in the graph of data flow path explanations.
Import path
import codeql.dataflow.DataFlowHolds if (a,b) is an edge in the graph of data flow path explanations.
import codeql.dataflow.DataFlow