Member predicate TaintTracking::TypeOfUndefinedSanitizer::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)