CodeQL library for C#
codeql/csharp-all 0.9.2-dev (changelog, source)
Search

Module VariableCapture

Provides a module for synthesizing data-flow nodes and related step relations for supporting flow through captured variables.

Import path

import codeql.dataflow.VariableCapture

Modules

Flow

Constructs the type ClosureNode and associated step relations, which are intended to be included in the data-flow node and step relations.

Module signatures