Module VariableCapture::CaptureInput
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatePredicates
| 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 captured local scope variable. Includes captured |
| 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. |
| VariableRead | A read of a captured variable. |
| VariableWrite | A write to a captured variable. |