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