CodeQL library for JavaScript
Search

Member predicate DataFlow::Configuration::isBarrierEdge

Holds if flow from pred to succ is prohibited.

predicate isBarrierEdge(Node pred, Node succ)