Class MakeImpl::Impl::MkStage::Stage::SummaryCtx

A context for generating flow summaries. This represents flow entry through a specific parameter with an access path of a specific shape.

Summaries are only created for parameters that may flow through.

Import path

import codeql.dataflow.internal.DataFlowImpl

getLocation
isASinkCtx	Holds if this context is valid as a sink context.
isSourceCtx	Holds if this context is the unique context used at flow sources.
isValidForFlowInNoThrough	Holds if this context is valid as a flow-in context when no flow-through is possible, in which case `innerSummaryCtx` is the summary context to be used when entering the callable.
isValidForFlowThrough	Holds if this context is valid as a flow-in context when flow-through is possible.
toString