Overlay annotation script shouldn't manage overlay[local] and overlay[global]

Author: kaspersv

config/annotate-overlay-local.py

@@ -27,7 +27,7 @@ def filter_out_annotations(filename):
     Read the file and strip all existing overlay[...] annotations from the contents.
     Return the file modified file content as a list of lines.
     '''
-    overlays = ["local", "local?", "global", "caller"]
+    overlays = ["local?", "caller"]
     annotations = [f"overlay[{t}]" for t in overlays]
     with open(filename, 'r') as file_in:
         lines = [l for l in file_in if not l.strip() in annotations]

java/ql/lib/experimental/quantum/JCA.qll

@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 import java
 import semmle.code.java.dataflow.DataFlow
 import semmle.code.java.dataflow.TaintTracking

java/ql/lib/experimental/quantum/Language.qll

@@ -1,3 +1,6 @@
+overlay[local?]
+module;
+
 private import java as Language
 private import semmle.code.java.security.InsecureRandomnessQuery
 private import semmle.code.java.security.RandomQuery

shared/quantum/codeql/quantum/experimental/Model.qll

@@ -1,6 +1,8 @@
 /**
  * A language-independent library for reasoning about cryptography.
  */
+overlay[local?]
+module;
 
 import codeql.util.Location