Module Options

Provides custom predicates that specify information about the behavior of the program being analyzed.

By default they fall back to the reasonable defaults provided in DefaultOptions.qll, but by modifying this file, you can customize the standard Semmle analyses to give better results for your project.

Import path

Options

Imports

cpp

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

Predicates

alwaysCheckReturnValue

DEPRECATED: customize CustomOptions.alwaysCheckReturnValue instead.

exits

DEPRECATED: customize CustomOptions.exits instead.

exprExits

DEPRECATED: customize CustomOptions.exprExits instead.

okToIgnoreReturnValue

DEPRECATED: customize CustomOptions.okToIgnoreReturnValue instead.

overrideReturnsNull

DEPRECATED: customize CustomOptions.overrideReturnsNull instead.

returnsNull

DEPRECATED: customize CustomOptions.returnsNull instead.

Classes

CustomMutexType

A type that acts as a mutex.

CustomOptions

Customizable predicates that specify information about the behavior of the program being analyzed.