Module Throwing

Provides an abstract class for modeling whether a function may throw an exception. To use this QL library, create a QL class extending ThrowingFunction with a characteristic predicate that selects the function or set of functions you are modeling the exceptional flow of.

Import path

import semmle.code.cpp.models.interfaces.Throwing

Imports

Function	Provides classes for working with functions, including template functions.
FunctionInputsAndOutputs	Provides a set of QL classes for indicating dataflows through a particular parameter, return value, or qualifier, as well as flows at one level of pointer indirection.
Models

Classes

ThrowingFunction

A class that models the exceptional behavior of a function.