Member predicate TaintTracking::TaintTracking::Configuration::isAdditionalTaintStep

Holds if the additional taint propagation step from pred to succ must be taken into account in the analysis.

predicate isAdditionalTaintStep(Node pred, Node succ)