CodeQL library for Python

codeql/python-all 5.0.4-dev (changelog, source)

Class DataFlowExtension::DataFlowVariable

A data flow variable that modifies the basic data-flow.

Import path

import semmle.python.dataflow.old.TaintTracking

Direct supertypes

EssaVariable

Indirect supertypes

TEssaDefinition

Predicates

getASuccessorNode	Gets a successor node for data-flow. Data (all forms) is assumed to flow from `this` to `result` Note: This is an unlikely form of flow. See `DataFlowNode.getASuccessorNode()`
getASuccessorVariable	Gets a successor variable for data-flow. Data (all forms) is assumed to flow from `this` to `result`.
prunedSuccessor	Holds if data cannot flow from `this` to `succ`, even though it would normally do so.

Inherited predicates

getASourceUse	Gets a use of this variable, where a “use” is defined by `SsaSourceVariable.getASourceUse()`. Note that this differs from `EssaVariable.getAUse()`.	from EssaVariable
getAUse	Gets a use of this variable, where a “use” is defined by `SsaSourceVariable.getAUse()`. Note that this differs from `EssaVariable.getASourceUse()`.	from EssaVariable
getDefinition	Gets the (unique) definition of this variable.	from EssaVariable
getLocation	Gets the location of this variable.	from EssaVariable
getName	Gets the name of this variable.	from EssaVariable
getRepresentation	Gets a string representation of this variable. WARNING: The format of this may change and it may be very inefficient to compute. To used for debugging and testing only.	from EssaVariable
getScope	Gets the scope of this variable.	from EssaVariable
getSourceVariable	Gets the source variable from which this variable is derived.	from EssaVariable
isMetaVariable	Holds if this the meta-variable for a scope. This is used to attach attributes for undeclared variables implicitly defined by `from ... import *` and the like.	from EssaVariable
toString	Gets a textual representation of this element.	from EssaVariable