Member predicate Configuration::isSanitizer

Holds if the intermediate node node is a taint sanitizer, that is, tainted values can not flow into or out of node.

Note that this only blocks flow through nodes that operate directly on the tainted value. An object containing a tainted value in a property can still flow into and out of node. To block such objects, override isBarrier or use a labeled sanitizer to block the data flow label.

For operations that check if a value is tainted or safe, use isSanitizerGuard instead.