Member predicate Sanitizer::sanitizingNode
Holds if taint cannot flow through node.
predicate sanitizingNode(TaintKind taint, ControlFlowNode node)Holds if taint cannot flow through node.
predicate sanitizingNode(TaintKind taint, ControlFlowNode node)