TypeTracker class for tracking types interprocedurally.
This provides an alternative to
for tracking certain types interprocedurally without computing which source
a given value came from.
A representative for a set of property names.
A data flow edge that should be followed by type tracking.
A summary of the steps needed to back-track a use of a value to a given dataflow node.
A summary of the steps needed to track a value to a given dataflow node.