Member predicate TaintTracking::AdHocWhitelistCheckSanitizer::blocksExpr

Holds if this node blocks flow through e, provided it evaluates to outcome.

predicate blocksExpr(boolean outcome, Expr e)