CodeQL library for C#

codeql/csharp-all 0.10.0 (changelog, source)

Module signature OutputSig

Import path

import codeql.dataflow.VariableCapture

Predicates

capturePostUpdateNode	Holds if `post` is a `PostUpdateNode` for `pre`.
clearsContent	Holds if captured variable `v` is cleared at `node`.
heuristicAllowInstanceParameterReturnInSelf	Holds if this-to-this summaries are expected for `c`.
localFlowStep	Holds if there is a local flow step from `node1` to `node2`.
readStep	Holds if there is a read step from `node1` to `node2`.
storeStep	Holds if there is a store step from `node1` to `node2`.

Types

ClosureNode	A data flow node that we need to reference in the step relations for captured variables.
ExprNode	A data flow node for an expression.
ExprPostUpdateNode	A data flow node for the `PostUpdateNode` of an expression.
MallocNode	A data flow node for the instance parameter argument of a constructor call.
ParameterNode	A data flow node for a parameter.
SynthesizedCaptureNode	A synthesized data flow node representing the storage of a captured variable.
ThisParameterNode	A data flow node for an instance parameter.
VariableWriteSourceNode	A node representing the incoming value about to be written at the given assignment.

Parameters

Location		LocationSig
I		InputSig<OutputSig::Location>