Module TypeTracking
Provides classes and predicates for simple data-flow reachability suitable for tracking types.
Import path
import semmle.python.dataflow.new.TypeTrackingImports
| TypeTracking<TypeTrackingImpl::TypeTrackingInput> | Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types. |
Classes
| TypeTracker | A summary of the steps needed to track a value to a given dataflow node. |
Aliases
| AttributeName | DEPRECATED. |