Module TypeTracker

Step Summaries and Type Tracking

Import path

import codeql.ruby.typetracking.TypeTracker

StepSummary	INTERNAL: Use `TypeTracker` or `TypeBackTracker` instead.
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.

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.