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

Member predicate TaintTracking :: Configuration :: isBarrierEdge

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

predicate isBarrierEdge ( Node source , Node sink , FlowLabel lbl )