CodeQL library for C/C++

codeql/cpp-all 3.0.1-dev (changelog, source)

Module DataFlowMake

Import path

import codeql.dataflow.DataFlow

Imports

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

Modules

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

Module signatures

The output of a global data flow computation.

Parameters

Location		LocationSig
Lang		InputSig<DataFlowMake::Location>