Class Make::Public::RelevantSummarizedCallable
A callable with a relevant flow summary.
A flow summary is relevant if:
- It is manual exact model, or
- It is a manual inexact model and there is no exact manual (neutral) model, or
- It is a generated model and (a) there is no source code available for the modeled callable, (b) there is no manual (neutral) model, and (c) the model is inexact and there is no generated exact (neutral) model.
Import path
import codeql.dataflow.internal.FlowSummaryImplDirect supertypes
Indirect supertypes
Predicates
| hasManualModel | Holds if there exists a manual summary that applies to this callable. |
Inherited predicates
| propagatesFlow | Holds if data may flow from | from SummarizedCallable |
| toString | from SummarizedCallableBase |