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

Class SourceCallable

A source callable, conceptually, a function in the source code for the purpose of computing data flow. In practice this excludes functions that are summarized using models-as-data (as we don’t want to create unmodeled flows or duplicate paths), and includes variables (for reasons explained in DataFlowCallable).

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