A synthetic parameter representing the values of the variables captured by the callable being called. This parameter represents a single object where all the values are stored as attributes. This is also known as the environment part of a closure.
This is used for tracking flow through captured variables.
Import path
import semmle.python.dataflow.new.internal.DataFlowDispatchDirect supertypes
Predicates
| getCallable | |
| getLocation | Gets the location of this node |
| getParameter | Gets the |
| getScope | Gets the scope of this node. |
| isParameterOf | Holds if this node is the parameter of callable |
| toString | Gets a textual representation of this element. |
Inherited predicates
| asCfgNode | Gets the control-flow node corresponding to this node, if any. | from Node |
| asExpr | Gets the expression corresponding to this node, if any. | from Node |
| getALocalSource | Gets a local source node from which data may flow to this node in zero or more local data-flow steps. | from Node |
| getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |