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

Module AbstractValues

Provides different types of AbstractValuess.

Import path

import semmle.code.csharp.controlflow.Guards

Classes

BooleanValue

A Boolean value.

EmptyCollectionValue

A value that represents an empty or non-empty collection.

IntegerValue

An integer value.

MatchValue

A value that represents match or non-match against a specific pattern.

NullValue

A value that is either null or non-null.