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