CodeQL library for Java/Kotlin
codeql/java-all 0.11.0 (changelog, source)
Search

Class Make::Public::SummarizedCallable

A callable with a flow summary.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Direct supertypes

Predicates

applyGeneratedModel

Holds if all the summaries that apply to this callable are auto generated and not manually created. That is, only apply generated models, when there are no manual models.

applyManualModel

Holds if there exists a manual summary that applies to this callable. Always apply manual models if they exist.

hasGeneratedModel

Holds if there exists a generated summary that applies to this callable.

hasManualModel

Holds if there exists a manual summary that applies to this callable.

hasProvenance

Holds if there exists a summary that applies to this callable that has provenance provenance.

propagatesFlow

Holds if data may flow from input to output through this callable.

Inherited predicates

Charpred