Member predicate TaintTracking::Configuration::isSanitizer
DEPRECATED: Use isSanitizerEdge
instead.
Holds if the edge from source
to sink
is a taint sanitizer for data labelled with lbl
.
predicate isSanitizer(Node source, Node sink, FlowLabel lbl)