Java: add alert filtering helper

github · Aug 13, 2024 · aed9c89 · aed9c89
1 parent a8cdf1f
commit aed9c89
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/java/ql/lib/java.qll b/java/ql/lib/java.qll
@@ -4,6 +4,7 @@ import Customizations
 import semmle.code.FileSystem
 import semmle.code.Location
 import semmle.code.Unit
+import semmle.code.java.AlertFiltering
 import semmle.code.java.Annotation
 import semmle.code.java.Compilation
 import semmle.code.java.CompilationUnit

diff --git a/java/ql/lib/semmle/code/java/AlertFiltering.qll b/java/ql/lib/semmle/code/java/AlertFiltering.qll
@@ -0,0 +1,12 @@
+/**
+ * Provides a Java-specific instantiation of the `AlertFiltering` module.
+ */
+
+private import codeql.util.AlertFiltering
+private import semmle.code.Location
+
+module AlertFiltering {
+  import AlertFilteringImpl<Location>
+
+  predicate filterByLocatable(Top top) { filterByLocation(top.getLocation()) }
+}