Module Customizations

Contains customizations to the standard library.

This module is imported by cpp.qll, so any customizations defined here automatically apply to all queries.

Typical examples of customizations include adding new subclasses of abstract classes such as the RemoteFlowSource class to model frameworks that are not covered by the standard library.

Import path

import Customizations

Imports

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