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

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

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.

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