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. |
TFlowSummaryNode | |
TIterableElementNode | A synthetic node representing that there may be an iterable element for |
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 |
TSynthDictSplatParameterNode | A synthetic node to allow flow to keyword parameters from a |
TSynthStarArgsElementParameterNode | A synthetic node to capture positional arguments that are passed to a |
TSyntheticOrmModelNode | INTERNAL: Do not use. |
TSyntheticPostUpdateNode | A synthetic node representing the value of an object after a state change. See QLDoc for |
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. |
TFlowSummaryNode | |
TIterableElementNode | A synthetic node representing that there may be an iterable element for |
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 |
TSynthDictSplatParameterNode | A synthetic node to allow flow to keyword parameters from a |
TSynthStarArgsElementParameterNode | A synthetic node to capture positional arguments that are passed to a |
TSyntheticOrmModelNode | INTERNAL: Do not use. |
TSyntheticPostUpdateNode | A synthetic node representing the value of an object after a state change. See QLDoc for |
TSyntheticPreUpdateNode | A synthetic node representing the value of an object before a state change. |