CodeQL library for C/C++

codeql/cpp-all 0.12.12-dev (changelog, source)

Class SummarizedCallable

A summarized callable, that is, a function synthesized from one or more models-as-data models as a place to contain the corresponding FlowSummaryNodes.

Import path

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

Direct supertypes

Indirect supertypes

TDataFlowCallable

Fields

Predicates

getLocation	Gets the location of this callable.
toString	Gets a textual representation of this callable.

Inherited predicates

asSourceCallable	Gets the `Declaration` corresponding to this callable if it exists in the database. For summarized callables (which may not exist in the database), use `asSummarizedCallable`.	from DataFlowCallable
asSummarizedCallable	Gets the underlying summarized callable, if this callable is generated from a models-as-data model.	from DataFlowCallable
getUnderlyingCallable	Gets the underlying `Declaration` of this `DataFlowCallable`. This predicate returns a result for both source and summarized callables.	from DataFlowCallable

Charpred

SummarizedCallable