CodeQL library for C/C++
Search

Module SAL

Provides classes for identifying and reasoning about Microsoft source code annotation language (SAL) macros.

Import path

import Microsoft.SAL

Imports

cpp

Provides classes and predicates for working with C/C++ code.

Classes

SALAnnotation

An invocation of a SAL macro (excluding invocations inside other macros).

SALCheckReturn

A SAL macro indicating that the return value of a function should always be checked.

SALElement

A SAL element, that is, a SAL annotation or a declaration entry that may have SAL annotations.

SALMacro

A SAL macro defined in sal.h or a similar header file.

SALMaybeNull

A SAL macro indicating that a value may be NULL.

SALNotNull

A SAL macro indicating that a pointer variable or return value should not be NULL.

SALParameter

A parameter annotated by one or more SAL annotations.