CodeQL library for C/C++
codeql/cpp-all 0.12.9 (changelog, source)
Search

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

Known direct subtypes

Predicates

getIndirectionInput

INTERNAL: Do not use.

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