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