CodeQL library for C/C++
Search

Module ArrayFunction

Provides an abstract class for accurate modeling of input and output buffers in library functions when source code is not available. To use this QL library, create a QL class extending ArrayFunction with a characteristic predicate that selects the function or set of functions you are trying to model. Within that class, override the predicates provided by ArrayFunction to match the flow within that function. Finally, add a private import statement to Models.qll

Import path

import semmle.code.cpp.models.interfaces.ArrayFunction

Imports

Function

Provides classes for working with functions, including template functions.

Models

Classes

ArrayFunction

A library function with input and/or output buffer parameters