Member predicate DataFlowExtension::DataFlowNode::getAReturnSuccessorNode
Gets a successor node for data-flow with a change of context from callee to caller
(going up the call-stack) across call-site call
.
Data (all forms) is assumed to flow from this
to result
Extensions to DataFlowNode
should override this to provide additional taint steps.