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

Member predicate FunctionInput::isParameter

Holds if this is the input value of the parameter with index index.

Example:

void func(int n, char* p, float& r);
  • isParameter(0) holds for the FunctionInput that represents the value of n (with type int) on entry to the function.
  • isParameter(1) holds for the FunctionInput that represents the value of p (with type char*) on entry to the function.
  • isParameter(2) holds for the FunctionInput that represents the “value” of the reference r (with type float&) on entry to the function, not the value of the referred-to float.
predicate isParameter(ParameterIndex index)