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.DataFlowPrivateDirect 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 | 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 | from DataFlowCallable |