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 data flow edge that should be followed by type tracking.
Summary of the steps needed to back-track a use of a value to a given dataflow node.
Summary of the steps needed to track a value to a given dataflow node.