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

Member predicate Ssa::ExplicitDefinition::isCapturedVariableDefinitionFlowOut

DEPRECATED.

Holds if this definition updates a captured local scope variable, and the updated value may be read from the implicit call definition cdef using one or more calls (as indicated by additionalCalls).

Example:

class C {
  void M1() {
    int i = 0;
    void M2() { i = 2; };
    M2();
    System.Console.WriteLine(i);
  }
}

If this definition is the update of i on line 4, then the value may be read outside of M2 via the call on line 5.

predicate isCapturedVariableDefinitionFlowOut(ImplicitCallDefinition cdef, boolean additionalCalls)