Predicate defaultTaintSanitizer
Holds if node
should be a sanitizer in all global taint flow configurations
but not in local taint.
Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtil
predicate defaultTaintSanitizer(Node node)