Module CaptureInput
Import path
import semmle.python.dataflow.new.internal.VariableCapturePredicates
| getABasicBlockSuccessor | Gets an immediate successor of basic block |
| getImmediateBasicBlockDominator | Gets the basic block that immediately dominates basic block |
Classes
| BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
| Callable | |
| CapturedParameter | A parameter that is captured in a closure. |
| CapturedVariable | A variable that is captured in a closure. |
| ClosureExpr | An expression constructing a closure that may capture one or more variables. This can for example be a lambda or a constructor call of a locally defined object. |
| Expr | An expression with a value. That is, we expect these expressions to be represented in the data flow graph. |
| ExprCfgNode | |
| VariableRead | A read of a captured variable. |
| VariableWrite | A write to a captured variable. |
Aliases
| ControlFlowNode | A control flow node. Control flow nodes have a many-to-one relation with syntactic nodes, although most syntactic nodes have only one corresponding control flow node. Edges between control flow nodes include exceptional as well as normal control flow. |