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

import DefaultOptions

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

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