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. |