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