CodeQL library for Python
codeql/python-all 0.6.4 (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

A summary of the steps needed to back-track a use of a value to a given dataflow node.

TypeTracker

A summary of the steps needed to track a value to a given dataflow node.

Modules

StepSummary

Provides predicates for updating step summaries (StepSummarys).

TypeBackTracker

Provides predicates for implementing custom TypeBackTrackers.

TypeTracker

Provides predicates for implementing custom TypeTrackers.