Type signature DataFlowMake::GlobalFlowSig::PathNode
A Node
augmented with a call context (except for sinks) and an access path.
Only those PathNode
s that are reachable from a source, and which can reach a sink, are generated.
A Node
augmented with a call context (except for sinks) and an access path.
Only those PathNode
s that are reachable from a source, and which can reach a sink, are generated.