Member predicate TaintTracking::DataFlowExtension::DataFlowVariable::getASuccessorVariable

Gets a successor variable for data-flow. Data (all forms) is assumed to flow from this to result.

EssaVariable getASuccessorVariable()