Module MakeImpl::Impl::MkStage::Stage::LocalFlowBigStep

Provides a big-step relation for local flow steps.

The big-step releation is based on the localStep relation from the input module, restricted to nodes that are forwards and backwards reachable in this stage.

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

localFlowBigStep

Holds if node1 can step to node2 in one or more local steps and this path can occur as a maximal subsequence of local steps in a dataflow path.

Parameters

Input

LocalFlowBigStepInputSig