CodeQL library for Java/Kotlin
codeql/java-all 7.8.0 (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>