Module VariableCapture::CaptureInput
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatePredicates
| basicBlockGetEnclosingCallable | Gets the enclosing callable of the basic block. |
Classes
| 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. |