Predicate MustFlow::Global::PathGraph::nodes

Holds if n is a node in the graph of data flow path explanations.

Import path

import semmle.code.cpp.ir.dataflow.MustFlow

predicate nodes(PathNode n, string key, string val)