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

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 TypeTracker or TypeBackTracker instead.

StepSummary

Provides predicates for updating step summaries (StepSummarys).

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 TypeBackTrackers.

TypeTracker

Provides predicates for implementing custom TypeTrackers.