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

TDataFlowCallable

Fields

decl

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

SourceCallable