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

Module LocalSources

Provides support for intra-procedural tracking of a customizable set of data flow nodes.

Note that unlike TypeTracker.qll, this library only performs local tracking within a function.

Import path

import semmle.python.dataflow.new.internal.LocalSources

Imports

DataFlowPublic

Provides Python-specific definitions for use in the data flow library.

Classes

LocalSourceNode

A data flow node that is a source of local flow. This includes things like - Expressions - Function parameters

LocalSourceNodeNotModuleVariableNode

A LocalSourceNode that is not a ModuleVariableNode This class provides a positive formulation of that in its charpred.

Aliases

TypeTrackingNode

A node that can be used for type tracking or type back-tracking.