CodeQL library for C/C++

codeql/cpp-all 0.12.0 (changelog, source)

Class 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

Import path

import cpp

Direct supertypes

TFunctionInput

Known direct subtypes

Predicates

isParameter	Holds if this is the input value of the parameter with index `index`.
isParameterDeref	Holds if this is 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, where the parameter has index `index`.
isParameterDeref	Holds if this is the input value pointed to (through `ind` number of indirections) by a pointer parameter to a function, or the input value referred to by a reference parameter to a function, where the parameter has index `index`.
isParameterDerefOrQualifierObject	Holds if `i >= 0` and `isParameterDeref(i)` holds for this value, or if `i = -1` and `isQualifierObject()` holds for this value.
isParameterDerefOrQualifierObject	Holds if `i >= 0` and `isParameterDeref(i, ind)` holds for this value, or if `i = -1` and `isQualifierObject(ind)` holds for this value.
isParameterOrQualifierAddress	Holds if `i >= 0` and `isParameter(i)` holds for this value, or if `i = -1` and `isQualifierAddress()` holds for this value.
isQualifierAddress	Holds if this is the input value of the `this` pointer of an instance member function.
isQualifierObject	Holds if this is the input value pointed to by the `this` pointer of an instance member function.
isQualifierObject	Holds if this is the input value pointed to by the `this` pointer of an instance member function.
isReturnValueDeref	Holds if this is 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.
isReturnValueDeref	Holds if this is 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.
toString