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)