Module TypeTracker

Step Summaries and Type Tracking

Import path

import semmle.python.dataflow.new.internal.TypeTracker

StepSummary	INTERNAL: Use `TypeTracker` or `TypeBackTracker` instead.
TypeBackTracker	DEPRECATED: Use `semmle.python.dataflow.new.TypeTracking` instead.
TypeTracker	DEPRECATED: Use `semmle.python.dataflow.new.TypeTracking` instead.

CallGraphConstruction	INTERNAL: Do not use.
StepSummary	Provides predicates for updating step summaries (`StepSummary`s).
TypeBackTracker	Provides predicates for implementing custom `TypeBackTracker`s.
TypeTracker	Provides predicates for implementing custom `TypeTracker`s.