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