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

Module DataFlowMakeOverlay

Import path

import codeql.dataflow.DataFlow

Imports

DataFlowMake<DataFlowMakeOverlay::Location, DataFlowMakeOverlay::Lang>

Modules

Global

Constructs a global data flow computation.

GlobalWithState

Constructs a global data flow computation using flow state.

Parameters

LocationLocationSig
LangInputSig<DataFlowMakeOverlay::Location>