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 analyses to give better results for your project.

Import path

import Options

Imports

cpp	Provides classes and predicates for working with C/C++ 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.