CodeQL library for JavaScript
Search

Module TypeTracking

Provides the TypeTracker class for tracking types interprocedurally.

This provides an alternative to AbstractValue for tracking certain types interprocedurally without computing which source a given value came from.

Import path

import semmle.javascript.dataflow.TypeTracking

Classes

SharedTypeTrackingStep

A data flow edge that should be followed by type tracking.

TypeBackTracker

Summary of the steps needed to back-track a use of a value to a given dataflow node.

TypeTracker

Summary of the steps needed to track a value to a given dataflow node.

Modules

SharedTypeTrackingStep

Provides access to the steps contributed by subclasses of SharedTypeTrackingStep.

TypeBackTracker
TypeTracker

Aliases

AdditionalTypeTrackingStep

DEPRECATED. Use SharedTypeTrackingStep instead.