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

Member predicate TaintTracking::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)