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

Module Internal

INTERNAL: Do not use.

Import path

import semmle.code.csharp.controlflow.Guards

Imports

Predicates

getANullImplyingChild

Gets a child expression of e which is null only if e is null.

getNullEquivParent

Gets the parent expression of e which is null iff e is null, if any. For example, result = x?.y and e = x, or result = x + 1 and e = x.

nonNullValue

Holds if expression e is a non-null value.

nonNullValueImpliedUnary

Holds if expression e2 is a non-null value whenever e1 is.

nullValue

Holds if expression e is a null value.

nullValueImpliedBinary

Holds if expression e3 is a null value whenever e1 and e2 are.

nullValueImpliedUnary

Holds if expression e2 is a null value whenever e1 is.

Datatypes