Predicate Make::Private::relevantSummary
Holds if c has 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.FlowSummaryImplpredicate relevantSummary(SummarizedCallable c, string input, string output, boolean preservesValue, Provenance p, boolean isExact, string model)