Module signature InputSig
Import path
import codeql.dataflow.VariableCapturePredicates
| entryBlock | Holds if |
| exitBlock | Holds if |
| getABasicBlockSuccessor | Gets an immediate successor of basic block |
| getImmediateBasicBlockDominator | Gets the basic block that immediately dominates basic block |
Types
| 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. |
| ControlFlowNode | A control flow node. |
| Expr | An expression with a value. That is, we expect these expressions to be represented in the data flow graph. |
| VariableRead | A read of a captured variable. |
| VariableWrite | A write to a captured variable. |
Parameters
| Location | LocationSig |