Member predicate TaintTracking::TaintKind::additionalFlowStepVar

DEPRECATED – Use TaintFlow.additionalFlowStepVar(EssaVariable fromvar, EssaVariable tovar, TaintKind kind) instead.

Holds if this kind of taint passes from variable fromvar to variable tovar This predicate is present for completeness. It is unlikely that any TaintKind implementation will ever need to override it.

predicate additionalFlowStepVar(EssaVariable fromvar, EssaVariable tovar)