Module DataFlow
Provides an implementation of global (interprocedural) data flow. This file
adds a global analysis, mainly exposed through the Global
and GlobalWithState
modules.
Import path
import codeql.dataflow.DataFlow
Imports
Modules
Module signatures
InputSig | Provides language-specific data flow parameters. |