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