Member predicate TaintTracking::Configuration::isLabeledBarrier
Holds if flow with label lbl cannot flow into node.
predicate isLabeledBarrier(Node node, FlowLabel lbl)Holds if flow with label lbl cannot flow into node.
predicate isLabeledBarrier(Node node, FlowLabel lbl)