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)