Module TypeTracking

Provides the TypeTracker class for tracking types interprocedurally.

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

Import path

semmle.javascript.dataflow.TypeTracking

Classes

AdditionalTypeTrackingStep

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

StepSummary

INTERNAL: Use TypeTracker or TypeBackTracker instead.

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