Module MakeImpl

Import path

import codeql.dataflow.internal.DataFlowImpl

Modules

DefaultState	Provides default `FlowState` implementations given a `StateConfigSig`.
Impl	Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning.

Module signatures

FullStateConfigSig

An input configuration for data flow using flow state. This signature equals StateConfigSig, but requires explicit implementation of all predicates.

Parameters

Location		LocationSig
Lang		InputSig<DataFlowImpl::MakeImpl::Location>