Member predicate TaintTracking::DataFlowExtension::DataFlowNode::getASuccessorVariable

Gets a successor variable for data-flow. Data (all forms) is assumed to flow from this to result. Note: This is an unlikely form of flow. See DataFlowVariable.getASuccessorVariable()

EssaVariable getASuccessorVariable()