CodeQL library for C#

codeql/csharp-all 4.0.1-dev (changelog, source)

Module AssignableDefinitions

Provides different types of AssignableDefinitions.

Import path

import csharp

Predicates

isUncertainRefCall

Holds if the ref assignment to aa via call c is uncertain.

Classes

AddressOfDefinition	An indirect address-of definition, for example `&x`.
AssignmentDefinition	A non-tuple definition by direct assignment, for example `x = 0`.
ImplicitParameterDefinition	An implicit parameter definition at the entry point of the associated callable.
InitializerDefinition	An initializer definition for a field or a property, for example line 2 in
LocalVariableDefinition	A local variable definition without an initializer, for example `int i`.
MutationDefinition	A definition by mutation, for example `x++`.
OutRefDefinition	A definition via an `out`/`ref` argument in a call, for example `M(out x, ref y)`.
PatternDefinition	A local variable definition in a pattern, for example `x is int i`.
TupleAssignmentDefinition	A tuple definition by direct assignment, for example the definition of `x` in `(x, y) = (0, 1)`.