CodeQL library for C/C++
Search

Module FunctionInputsAndOutputs

Provides a set of QL classes for indicating dataflows through a particular parameter, return value, or qualifier, as well as flows at one level of pointer indirection.

Import path

import semmle.code.cpp.models.interfaces.FunctionInputsAndOutputs

Imports

Parameter

Provides a class that models parameters to functions.

Classes

FunctionInput

An input to a function. This can be: - The value of one of the function’s parameters - The value pointed to by one of function’s pointer or reference parameters - The value of the function’s this pointer - The value pointed to by the function’s this pointer

FunctionOutput

An output from a function. This can be: - The value pointed to by one of function’s pointer or reference parameters - The value pointed to by the function’s this pointer - The function’s return value - The value pointed to by the function’s return value, if the return value is a pointer or reference

InParameter

The input value of a parameter.

InParameterDeref

The input value pointed to by a pointer parameter to a function, or the input value referred to by a reference parameter to a function.

InQualifierAddress

The input value of the this pointer of an instance member function.

InQualifierObject

The input value pointed to by the this pointer of an instance member function.

InReturnValueDeref

The input value pointed to by the return value of a function, if the function returns a pointer, or the input value referred to by the return value of a function, if the function returns a reference.

OutParameterDeref

The output value pointed to by a pointer parameter to a function, or the output value referred to by a reference parameter to a function.

OutQualifierObject

The output value pointed to by the this pointer of an instance member function.

OutReturnValue

The value returned by a function.

OutReturnValueDeref

The output value pointed to by the return value of a function, if the function returns a pointer, or the output value referred to by the return value of a function, if the function returns a reference.