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