Module DataFlowMakeCore

Import path

import codeql.dataflow.DataFlow

Configs<DataFlowMakeCore::Location, DataFlowMakeCore::Lang>
PathGraphSigMod

DeduplicatePathGraph	Generates a `PathGraph` in which equivalent path nodes are merged, in order to avoid duplicate paths.
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.

The output of a global data flow computation.

Location		LocationSig
Lang		InputSig<DataFlowMakeCore::Location>