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

TCfgNode	A node corresponding to a control flow node.
TEssaNode	A node corresponding to an SSA variable.
TFlowSummaryNode
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.
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.

TCfgNode	A node corresponding to a control flow node.
TEssaNode	A node corresponding to an SSA variable.
TFlowSummaryNode
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.
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.