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

DataFlow

Module 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.

Import path


                                import semmle.code.cpp.ir.dataflow.internal.DataFlow

Imports

DataFlowImplCommonPublic
Public

Modules

Global	Constructs a global data flow computation.
GlobalWithState	Constructs a global data flow computation using flow state.
Make	DEPRECATED: Use `Global` instead.
MakeWithState	DEPRECATED: Use `GlobalWithState` instead.
MergePathGraph	Constructs a `PathGraph` from two `PathGraph`s by disjoint union.
MergePathGraph3	Constructs a `PathGraph` from three `PathGraph`s by disjoint union.

Predicate signatures

explorationLimitSig

Gets the exploration limit for partialFlow and partialFlowRev measured in approximate number of interprocedural steps.

Type signatures

PathNodeSig

Module signatures

ConfigSig	An input configuration for data flow.
GlobalFlowSig	The output of a global data flow computation.
PathGraphSig
StateConfigSig	An input configuration for data flow using flow state.