Member predicate Configuration :: isSanitizer
Holds if the node node
is a taint sanitizer when the flow state is
state
.
predicate
isSanitizer
(
Node
node
,
FlowState
state
)