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

Member predicate DataFlow :: Configuration :: isBarrierEdge

Holds if flow from pred to succ is prohibited.

predicate isBarrierEdge ( Node pred , Node succ )