Module TypeTrackingImpl
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImplImports
| TypeTracking<TypeTrackingImpl::TypeTrackingInput> | Given a set of step relations, this module provides classes and predicates for simple data-flow reachability suitable for tracking types. |
| Unit | Provides the |
Modules
Aliases
| Shared | Provides classes and predicates for simple data-flow reachability suitable for tracking types. |
| SharedImpl | Provides classes and predicates for simple data-flow reachability suitable for tracking types. |