Module TypeTracker
This file acts as a wrapper for internal.TypeTracker, exposing some of the functionality with
names that are more appropriate for Python.
Import path
import semmle.python.dataflow.new.TypeTracker
Classes
| TypeTracker |
The summary of the steps needed to track a value to a given dataflow node. |
Aliases
| AttributeName |
A string that may appear as the name of an attribute or access path. |
| OptionalAttributeName |
An attribute name, or the empty string (representing no attribute). |
| StepSummary |
INTERNAL: Use |
| StepSummary |
Provides predicates for updating step summaries ( |
| TypeBackTracker |
A summary of the steps needed to back-track a use of a value to a given dataflow node. |
| TypeBackTracker |
Provides predicates for implementing custom |
| TypeTracker |
Provides predicates for implementing custom |