Member predicate TaintTracking::TaintTracking::SanitizerGuardNode::sanitizes

Holds if this node sanitizes expression e, provided it evaluates to outcome.

predicate sanitizes(boolean outcome, Expr e)