Member predicate TaintTracking::Configuration::isBarrierIn
Holds if flow into node is prohibited for the flow label lbl.
predicate isBarrierIn(Node node, FlowLabel lbl)Holds if flow into node is prohibited for the flow label lbl.
predicate isBarrierIn(Node node, FlowLabel lbl)