Module NonThrowing

Provides an abstract class for modeling functions that never throw.

Import path

import semmle.code.cpp.models.interfaces.NonThrowing

Function	Provides classes for working with functions, including template functions.
Models

A function that is guaranteed to never throw a C++ exception

A function that is guaranteed to never throw.