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
| 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 |
| TypeBackTracker | |
| TypeTracker |