CodeQL library for C/C++
codeql/cpp-all 2.0.2 (changelog, source)
Search

Module DataFlowMake

Import path

import codeql.dataflow.DataFlow

Imports

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 PathGraphs by disjoint union.

MergePathGraph3

Constructs a PathGraph from three PathGraphs 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

GlobalFlowSig

The output of a global data flow computation.

Parameters