From eacc600b29a241f6ec434daf1f13c6c143f7cbd0 Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Mon, 20 Jan 2025 14:55:35 +0100 Subject: [PATCH] Java: annotate a query as not selecting sources This is for performance in diff-informed mode but also for avoiding spurious entries in the code scanning timeline and alert list. --- .../code/java/security/WebviewDebuggingEnabledQuery.qll | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/java/ql/lib/semmle/code/java/security/WebviewDebuggingEnabledQuery.qll b/java/ql/lib/semmle/code/java/security/WebviewDebuggingEnabledQuery.qll index 90e47521bf0..080a7bb482f 100644 --- 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() + } } /**