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

Class SummaryCall

A synthesized call inside a callable with a flow summary.

For example, consider the function:

int myFunction(int (*funPtr)());

with an accompanying models-as-data flow summary involving funPtr (for example from Argument[0].ReturnValue to ReturnValue). A SummaryCall will be synthesized representing a call to funPtr inside myFunction, so that flow can be connected as described in the model.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate

Direct supertypes

Indirect supertypes

Predicates

getEnclosingCallable

Gets the enclosing callable, if any.

getLocation

Gets the location of this call.

getReceiver

Gets the data flow node that holds the address of the function this call targets.

toString

Gets a textual representation of this call.

Inherited predicates

asCallInstruction

Gets the underlying data flow call instruction, if any.

from DataFlowCall
getArgument

Gets the argument at the specified index, or this if index is -1.

from DataFlowCall
getArgumentOperand

Gets the index’th argument operand. The qualifier is considered to have index -1.

from DataFlowCall
getCallTargetOperand

Gets the operand the specifies the target function of the call.

from DataFlowCall
getNumberOfArguments

Gets the number of arguments of the call, including the this pointer, if any.

from DataFlowCall
getStaticCallTarget

Gets the Function that the call targets, if this is statically known.

from DataFlowCall
totalorder

Gets a best-effort total ordering.

from DataFlowCall

Charpred