Member predicate Configuration::isSanitizerGuard
DEPRECATED: Use isSanitizer
and BarrierGuard
module instead.
Holds if taint propagation through nodes guarded by guard
is prohibited
when the flow state is state
.
predicate isSanitizerGuard(BarrierGuard guard, FlowState state)