Member predicate TaintTracking :: Configuration :: isSanitizerGuard
DEPRECATED: Use isSanitizer
and BarrierGuard
module instead.
Holds if taint propagation through nodes guarded by guard
is prohibited.
predicate
isSanitizerGuard
(
BarrierGuard
guard
)