Member predicate TaintTracking::TaintFlow::additionalFlowStepVar

Holds if the given kind of taint passes from variable fromvar to variable tovar. This predicate is present for completeness. Most TaintFlow implementations will not need to override it.

predicate additionalFlowStepVar(EssaVariable fromvar, EssaVariable tovar, TaintKind kind)