Member predicate TaintTracking::Configuration::isAdditionalFlowStep
Holds if src -> dest is a flow edge converting taint from srckind to destkind.
predicate isAdditionalFlowStep(Node src, Node dest, TaintKind srckind, TaintKind destkind)Holds if src -> dest is a flow edge converting taint from srckind to destkind.
predicate isAdditionalFlowStep(Node src, Node dest, TaintKind srckind, TaintKind destkind)