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

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

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
totalorder

Gets a best-effort total ordering.

from DataFlowCallable

Charpred