CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.8 (changelog, source)
Search

Member predicate DataFlow::Configuration::isBarrierEdge

Holds if flow with label lbl cannot flow from pred to succ.

predicate isBarrierEdge(Node pred, Node succ, FlowLabel lbl)