run add-overlay-annotations.py

ropwareJB · ropwareJB · commit 81f9e880403f · 2025-07-09T22:37:51.000-07:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/DataFlowStack.qll b/java/ql/lib/semmle/code/java/dataflow/DataFlowStack.qll
@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 import java
 private import semmle.code.java.dataflow.DataFlow
 private import semmle.code.java.dataflow.internal.DataFlowImplSpecific
diff --git a/java/ql/lib/semmle/code/java/dataflow/TaintTrackingStack.qll b/java/ql/lib/semmle/code/java/dataflow/TaintTrackingStack.qll
@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 import java
 private import semmle.code.java.dataflow.DataFlow
 private import semmle.code.java.dataflow.TaintTracking
diff --git a/shared/dataflowstack/codeql/dataflowstack/DataFlowStack.qll b/shared/dataflowstack/codeql/dataflowstack/DataFlowStack.qll
@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 private import codeql.dataflow.DataFlow as DF
 private import codeql.util.Location
 
diff --git a/shared/dataflowstack/codeql/dataflowstack/TaintTrackingStack.qll b/shared/dataflowstack/codeql/dataflowstack/TaintTrackingStack.qll
@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 private import codeql.dataflow.DataFlow as DF
 private import codeql.dataflow.TaintTracking as TT
 private import codeql.util.Location
diff --git a/shared/global-controlflow/codeql/globalcontrolflow/ControlFlow.qll b/shared/global-controlflow/codeql/globalcontrolflow/ControlFlow.qll
@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 private import codeql.util.Location
 
 /** Provides language-specific control flow parameters. */
diff --git a/shared/global-controlflow/codeql/globalcontrolflow/internal/ControlFlowImpl.qll b/shared/global-controlflow/codeql/globalcontrolflow/internal/ControlFlowImpl.qll
@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 private import codeql.util.Unit
 private import codeql.util.Location
 private import codeql.globalcontrolflow.ControlFlow
