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

Class ControlFlow::SuccessorTypes::ExceptionSuccessor

An exceptional control flow successor.

Example:

int M(string s)
{
    if (s == null)
        throw new ArgumentNullException(nameof(s));
    return s.Length;
}

The callable exit node of M is an exceptional successor (of type ArgumentNullException) of the node throw new ArgumentNullException(nameof(s));.

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

getExceptionClass

Gets the type of exception.

toString

Gets a textual representation of successor type.