CodeQL library for JavaScript
Search

Member predicate DataFlow::BarrierGuardNode::blocks

Holds if this node blocks expression e from flow of type label, provided it evaluates to outcome.

predicate blocks(boolean outcome, Expr e, FlowLabel label)