CodeQL library for Python
codeql/python-all 0.11.13 (changelog, source)
Search

Module TypeTracking

Provides classes and predicates for simple data-flow reachability suitable for tracking types.

Import path

import semmle.python.dataflow.new.TypeTracking

Imports

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

A string that may appear as the name of an attribute or access path.