Class DataFlowCallable
A callable, which may be:
- a function (that may contain code)
- a summarized function (that may contain only
FlowSummaryNode
s) - a variable (this is used as context for global initialization, and also for the mid-point in interprocedural data flow between a write and read of a global variable in different functions). When flow crosses from one enclosing callable to another, the interprocedural data-flow library discards call contexts and inserts a node in the big-step relation used for human-readable path explanations.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
Direct supertypes
Known direct subtypes
Predicates
asSourceCallable | Gets the |
asSummarizedCallable | Gets the underlying summarized callable, if this callable is generated from a models-as-data model. |
getLocation | Gets the location of this callable. |
getUnderlyingCallable | Gets the underlying |
toString | Gets a textual representation of this callable. |