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

Member predicate DataFlow::Configuration::isBarrierGuard

Holds if data flow node guard can act as a barrier when appearing in a condition.

For example, if guard is the comparison expression in if(x == 'some-constant'){ ... x ... }, it could block flow of x into the “then” branch.

predicate isBarrierGuard(BarrierGuardNode guard)