Member predicate IntentUriPermissionManipulationConf :: isSanitizer
Holds if the node node
is a taint sanitizer.
predicate
isSanitizer
(
Node
barrier
)