CodeQL library for JavaScript/TypeScript

codeql/javascript-all 2.6.22 (changelog, source)

Module BarrierGuards

A copy of the barrier guard logic from Configuration.qll in the JS data flow library.

This version considers all barrier guards to be relevant.

Import path

import semmle.javascript.dataflow.internal.BarrierGuards

Modules

ExternalBarrierGuard	Provides access to barrier guards defined via models-as-data.
MakeBarrierGuard	Converts a barrier guard class to a set of nodes to include in an implementation of `isBarrier(node)`.
MakeLabeledBarrierGuard	Converts a barrier guard class to a set of nodes to include in an implementation of `isBarrier(node, label)`.
MakeLegacyBarrierGuard	Converts a barrier guard class to a set of nodes to include in an implementation of `isBarrier(node)` in a `DataFlow::ConfigSig` implementation.
MakeLegacyBarrierGuardLabeled	Converts a labeled barrier guard class to a set of nodes to include in an implementation of `isBarrier(node)` and `isBarrier(node, label)` in a `DataFlow::StateConfigSig` implementation.
MakeStateBarrierGuard	Converts a barrier guard class to a set of nodes to include in an implementation of `isBarrier(node, state)`.