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