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 |