Module DataFlowImplStage1
INTERNAL: Do not use.
Provides an implementation of a fast initial pruning of global (interprocedural) data flow reachability (Stage 1).
Import path
import codeql.dataflow.internal.DataFlowImplStage1INTERNAL: Do not use.
Provides an implementation of a fast initial pruning of global (interprocedural) data flow reachability (Stage 1).
import codeql.dataflow.internal.DataFlowImplStage1