Type signature DataFlowMake::GlobalFlowSig::PathNode
A Node augmented with a call context (except for sinks) and an access path.
Only those PathNodes 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 PathNodes that are reachable from a source, and which can reach a sink, are generated.