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.DataFlowImports
Module signatures
| InputSig | Provides language-specific data flow parameters. |