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

Class DataFlowExtension::DataFlowVariable

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

Import path

import semmle.python.dataflow.old.TaintTracking

Direct supertypes

Indirect supertypes

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