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

DataFlow

Module DataFlow


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

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 `Make` and `MakeWithState` modules.
DataFlowImpl1	DEPRECATED: Use `Make` and `MakeWithState` instead.