Module DataFlowPublic
Provides Python-specific definitions for use in the data flow library.
Import path
import semmle.python.dataflow.new.internal.DataFlowPublic
Imports
Attributes |
This module provides an API for attribute reads and writes. |
LocalSources |
Provides support for intra-procedural tracking of a customizable set of data flow nodes. |
TypeTracker |
This file acts as a wrapper for |
Predicates
exprNode |
Gets a node corresponding to expression |
guardNode |
Gets a node that controls whether other nodes are evaluated. |
parameterNode |
Gets a node corresponding to parameter |
Classes
ArgumentNode |
A data flow node that represents a call argument. |
AttributeContent |
An object attribute. |
BarrierGuard |
DEPRECATED: Use |
CallCfgNode |
A data-flow node corresponding to a |
CfgNode |
A data-flow node corresponding to a control-flow node. |
Content |
A data-flow value can have associated content. If the value is a collection, it can have elements, if it is an object, it can have attribute values. |
ContentSet |
An entity that represents a set of |
DictionaryElementAnyContent |
An element of a dictionary under any key. |
DictionaryElementContent |
An element of a dictionary under a specific key. |
EssaNode |
A data-flow node corresponding to an SSA variable. |
ExprNode |
An expression, viewed as a node in a data flow graph. |
ExtractedArgumentNode |
A data flow node that represents a call argument found in the source code. |
ExtractedParameterNode |
A parameter node found in the source code (not in a summary). |
GuardNode |
A node that controls whether other nodes are evaluated. |
IterableElementNode |
A synthetic node representing an iterable element. Used for changing content type for instance from a |
IterableSequenceNode |
A synthetic node representing an iterable sequence. Used for changing content type for instance from a |
ListElementContent |
An element of a list. |
LocalSourceParameterNode | |
MethodCallNode |
A data-flow node corresponding to a method call, that is |
ModuleVariableNode |
A data flow node corresponding to a module-level (global) variable that is accessed outside of the module scope. |
Node |
An element, viewed as a node in a data flow graph. Either an SSA variable ( |
ParameterNode |
The value of a parameter at function entry, viewed as a node in a data flow graph. |
PostUpdateNode |
A node associated with an object after an operation that might have changed its state. |
SetElementContent |
An element of a set. |
StarPatternElementNode |
A synthetic node representing element content of a star pattern. |
TupleElementContent |
An element of a tuple at a specific index. |
Datatypes
Modules
BarrierGuard |
Provides a set of barrier nodes for a guard that validates a node. |
Predicate signatures
guardChecksSig |
Holds if the guard |