Member predicate SymmetricKeyTaintTrackingConfiguration :: isSanitizer
Holds if the node is a key sanitizer.
predicate
isSanitizer
(
Node
sanitizer
)