Java: annotate a query as not selecting sources

jbj · jbj · commit eacc600b29a2 · 2025-01-21T12:56:06.000+01:00
This is for performance in diff-informed mode but also for avoiding
spurious entries in the code scanning timeline and alert list.
diff --git a/java/ql/lib/semmle/code/java/security/WebviewDebuggingEnabledQuery.qll b/java/ql/lib/semmle/code/java/security/WebviewDebuggingEnabledQuery.qll
@@ -46,6 +46,12 @@ module WebviewDebugEnabledConfig implements DataFlow::ConfigSig {
   }
 
   predicate observeDiffInformedIncrementalMode() { any() }
+
+  Location getASelectedSourceLocation(DataFlow::Node source) {
+    // This module is only used in `WebviewDebuggingEnabled.ql`, which doesn't
+    // select the source in any "$@" column.
+    none()
+  }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -46,6 +46,12 @@ module WebviewDebugEnabledConfig implements DataFlow::ConfigSig {`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`predicate observeDiffInformedIncrementalMode() { any() }`
	`49`	`+`
	`50`	`+ Location getASelectedSourceLocation(DataFlow::Node source) {`
	`51`	+ // This module is only used in `WebviewDebuggingEnabled.ql`, which doesn't
	`52`	`+ // select the source in any "$@" column.`
	`53`	`+ none()`
	`54`	`+ }`
`49`	`55`	`}`
`50`	`56`
`51`	`57`	`/**`