Predicate DataFlowMake::MergePathGraph3::PathGraph::nodes
Holds if n is a node in the graph of data flow path explanations.
Import path
import codeql.dataflow.DataFlowHolds if n is a node in the graph of data flow path explanations.
import codeql.dataflow.DataFlow