CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.9.1 (changelog, source)
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

PropertySet

A representative for a set of property names.

SharedTypeTrackingStep

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

TypeBackTracker

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

TypeTracker

A 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