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 |