Member predicate API::Node::getAValueReachableFromSource
Gets a data-flow node where this value may flow interprocedurally.
This is similar to asSource()
but additionally includes nodes that are transitively reachable by data flow.
See asSource()
for examples.