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)