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 |
exits |
DEPRECATED: customize |
exprExits |
DEPRECATED: customize |
okToIgnoreReturnValue |
DEPRECATED: customize |
overrideReturnsNull |
DEPRECATED: customize |
returnsNull |
DEPRECATED: customize |
Classes
CustomMutexType |
A type that acts as a mutex. |
CustomOptions |
Customizable predicates that specify information about the behavior of the program being analyzed. |