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