CodeQL library for Go
codeql/go-all 5.0.3 (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>