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