CodeQL library for JavaScript/TypeScript

codeql/javascript-all 0.8.15-dev (changelog, source)

Module FlowSteps

INTERNAL: Do not use directly.

Provides auxiliary predicates for defining inter-procedural data flow configurations.

Import path

import semmle.javascript.dataflow.internal.FlowSteps

Imports

CachedSteps	Implements a set of data flow predicates that are used by multiple predicates and hence should only be computed once.
CallGraphs	Internal predicates for computing the call graph.
Configuration	Provides a class for performing customized inter-procedural data flow.
javascript	Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Predicates

getThrowTarget	Gets the dataflow-node that an exception thrown at `thrower` will flow to.
localExceptionStep	Holds if an exception thrown from `pred` can propagate locally to `succ`.
localExceptionStepWithAsyncFlag	Holds if an exception thrown from `pred` can propagate locally to `succ`.
localFlowStep	Holds if data can flow in one step from `pred` to `succ`, taking additional steps from the configuration into account.
returnExpr	Holds if `source` corresponds to an expression returned by `f`, and `sink` equals `source`.
shouldTrackProperties	Holds if flow should be tracked through properties of `obj`.

Classes

Boolean	A utility class that is equivalent to `boolean` but does not require type joining.
PathSummary	A summary of an inter-procedural data flow path.

Datatypes

A summary of an inter-procedural data flow path.

Modules