Module DefaultOptions

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

This can be overridden for particular code bases in Options.qll.

Import path

DefaultOptions

Imports

Dataflow

Provides a simple data flow analysis to find expressions that are definitely null or that may be null.

Synchronization

Utilities for analyzing synchronization primitives, such as mutexes and semaphores.

cpp

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

Predicates

Classes

Options

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