Member predicate TaintTracking::WhitelistContainmentCallSanitizer::blocksExpr
Holds if this node blocks expression e, provided it evaluates to outcome.
predicate blocksExpr(boolean outcome, Expr e)Holds if this node blocks expression e, provided it evaluates to outcome.
predicate blocksExpr(boolean outcome, Expr e)