CodeQL library for C#

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

Module Guards

Provides classes for working with guarded expressions.

Import path

import semmle.code.csharp.controlflow.Guards

Imports

The default C# QL library.

Classes

AccessOrCallExpr	An expression that accesses/calls a declaration.
DereferenceableExpr	An expression that evaluates to a value that can be dereferenced. That is, an expression that may evaluate to `null`.
EnumerableCollectionExpr	An expression that evaluates to a collection. That is, an expression whose (transitive, reflexive) base type is `IEnumerable`.
Guard	An expression whose value may control the execution of another element.
GuardedControlFlowNode	A guarded control flow node. A guarded control flow node is like a guarded expression (`GuardedExpr`), except control flow graph splitting is taken into account. That is, one control flow node belonging to an expression may be guarded, while another split need not be guarded:
GuardedDataFlowNode	A guarded data flow node. A guarded data flow node is like a guarded expression (`GuardedExpr`), except control flow graph splitting is taken into account. That is, one data flow node belonging to an expression may be guarded, while another split need not be guarded:
GuardedExpr	A guarded expression.
NullGuardedDataFlowNode	A data flow node guarded by a `null` check.
NullGuardedExpr	An expression guarded by a `null` check.

Modules

AbstractValues	DEPRECATED: Use `GuardValue` member predicates instead.
Internal	INTERNAL: Do not use.

Aliases

AbstractValue	DEPRECATED: Use `GuardValue` instead.
CollectionExpr	DEPRECATED: Use `EnumerableCollectionExpr` instead.
GuardValue	An abstract value that a `Guard` may evaluate to.
Guards	Provides the `Guard` class with suitable ‘controls’ predicates augmented with logical implications based on SSA.