Module Guards

Provides classes for working with guarded expressions.

Import path

semmle.code.csharp.controlflow.Guards

Imports

csharp

The default C# QL library.

Classes

AbstractValue

An abstract value.

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.

GuardedExpr

A guarded expression.

NullGuardedExpr

An expression guarded by a null check.

Modules

AbstractValues

Provides different types of AbstractValuess.

Internal

INTERNAL: Do not use.