For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

DataFlowImpl

Import path
Imports
Modules
Module signatures

Module DataFlowImpl

INTERNAL: Do not use.

Provides an implementation of global (interprocedural) data flow.

Import path


                                import semmle.code.cpp.dataflow.internal.DataFlowImpl

Imports

DataFlow

Provides an implementation of global (interprocedural) data flow. This file re-exports the local (intraprocedural) data flow analysis from DataFlowImplSpecific::Public and adds a global analysis, mainly exposed through the Global and GlobalWithState modules.

Modules

DefaultState	Provides default `FlowState` implementations given a `StateConfigSig`.
Impl	Constructs a data flow computation given a full input configuration.

Module signatures

FullStateConfigSig

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