Member predicate TaintTracking::TaintTracking::Configuration2::isAdditionalTaintStep

Holds if the additional taint propagation step from source to target must be taken into account in the analysis. This step will only be followed if target is not in the isSanitizer predicate.

predicate isAdditionalTaintStep(Node source, Node target)