Module DataFlowMake

Import path

import codeql.dataflow.DataFlow

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.

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

GlobalFlowSig	The output of a global data flow computation.
PathGraphSig

Location		LocationSig
Lang		InputSig<DataFlowMake::Location>