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

Module TypeTracker

Step Summaries and Type Tracking

Import path

import semmle.python.dataflow.new.internal.TypeTracker

Classes

StepSummary

INTERNAL: Use TypeTracker or TypeBackTracker instead.

TypeBackTracker

DEPRECATED: Use semmle.python.dataflow.new.TypeTracking instead.

TypeTracker

DEPRECATED: Use semmle.python.dataflow.new.TypeTracking instead.

Modules

CallGraphConstruction

INTERNAL: Do not use.

StepSummary

Provides predicates for updating step summaries (StepSummarys).

TypeBackTracker

Provides predicates for implementing custom TypeBackTrackers.

TypeTracker

Provides predicates for implementing custom TypeTrackers.