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.TypeTrackingClasses
| AdditionalTypeTrackingStep | 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. |