CodeQL library for JavaScript
Search

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

TPathSummary

A summary of an inter-procedural data flow path.

Modules