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

Datatype TNode

IPA type for data flow nodes.

Flow between SSA variables are computed in Essa.qll

Flow from SSA variables to control flow nodes are generally via uses.

Flow from control flow nodes to SSA variables are generally via assignments.

The current implementation of these cross flows can be seen in EssaTaintTracking.

Import path

import semmle.python.dataflow.new.internal.DataFlowPublic

Known direct subtypes

Branch types

TCfgNode

A node corresponding to a control flow node.

TEssaNode

A node corresponding to an SSA variable.

TIterableElementNode

A synthetic node representing that there may be an iterable element for consumer to consume.

TIterableSequenceNode

A synthetic node representing that an iterable sequence flows to consumer.

TModuleVariableNode

A node representing a global (module-level) variable in a specific module.

TStarPatternElementNode

A synthetic node representing element content in a star pattern.

TSummaryNode
TSummaryParameterNode
TSynthDictSplatArgumentNode

A synthetic node to capture keyword arguments that are passed to a **kwargs parameter.

TSynthDictSplatParameterNode

A synthetic node to allow flow to keyword parameters from a **kwargs argument.

TSynthStarArgsElementParameterNode

A synthetic node to capture positional arguments that are passed to a *args parameter.

TSyntheticOrmModelNode

INTERNAL: Do not use.

TSyntheticPostUpdateNode

A synthetic node representing the value of an object after a state change. See QLDoc for PostUpdateNode.

TSyntheticPreUpdateNode

A synthetic node representing the value of an object before a state change.

Injectors

TCfgNode

A node corresponding to a control flow node.

TEssaNode

A node corresponding to an SSA variable.

TIterableElementNode

A synthetic node representing that there may be an iterable element for consumer to consume.

TIterableSequenceNode

A synthetic node representing that an iterable sequence flows to consumer.

TModuleVariableNode

A node representing a global (module-level) variable in a specific module.

TStarPatternElementNode

A synthetic node representing element content in a star pattern.

TSummaryNode
TSummaryParameterNode
TSynthDictSplatArgumentNode

A synthetic node to capture keyword arguments that are passed to a **kwargs parameter.

TSynthDictSplatParameterNode

A synthetic node to allow flow to keyword parameters from a **kwargs argument.

TSynthStarArgsElementParameterNode

A synthetic node to capture positional arguments that are passed to a *args parameter.

TSyntheticOrmModelNode

INTERNAL: Do not use.

TSyntheticPostUpdateNode

A synthetic node representing the value of an object after a state change. See QLDoc for PostUpdateNode.

TSyntheticPreUpdateNode

A synthetic node representing the value of an object before a state change.