Java: Rewrite most telemetry queries to restrict the number of produced results.

Author: michaelnebel

java/ql/src/Telemetry/SupportedExternalSinks.ql

@@ -10,13 +10,16 @@ import java
 import ExternalApi
 import semmle.code.java.GeneratedFiles
 
-from ExternalApi api, int usages
-where
+private predicate getRelevantUsages(ExternalApi api, int usages) {
   not api.isUninteresting() and
   api.isSink() and
   usages =
     strictcount(Call c |
       c.getCallee().getSourceDeclaration() = api and
       not c.getFile() instanceof GeneratedFile
     )
+}
+
+from ExternalApi api, int usages
+where Results<getRelevantUsages/2>::restrict(api, usages)
 select api.getApiName() as apiname, usages order by usages desc

java/ql/src/Telemetry/SupportedExternalSources.ql

@@ -10,13 +10,16 @@ import java
 import ExternalApi
 import semmle.code.java.GeneratedFiles
 
-from ExternalApi api, int usages
-where
+private predicate getRelevantUsages(ExternalApi api, int usages) {
   not api.isUninteresting() and
   api.isSource() and
   usages =
     strictcount(Call c |
       c.getCallee().getSourceDeclaration() = api and
       not c.getFile() instanceof GeneratedFile
     )
+}
+
+from ExternalApi api, int usages
+where Results<getRelevantUsages/2>::restrict(api, usages)
 select api.getApiName() as apiname, usages order by usages desc

java/ql/src/Telemetry/SupportedExternalTaint.ql

@@ -10,13 +10,16 @@ import java
 import ExternalApi
 import semmle.code.java.GeneratedFiles
 
-from ExternalApi api, int usages
-where
+private predicate getRelevantUsages(ExternalApi api, int usages) {
   not api.isUninteresting() and
   api.hasSummary() and
   usages =
     strictcount(Call c |
       c.getCallee().getSourceDeclaration() = api and
       not c.getFile() instanceof GeneratedFile
     )
+}
+
+from ExternalApi api, int usages
+where Results<getRelevantUsages/2>::restrict(api, usages)
 select api.getApiName() as apiname, usages order by usages desc

java/ql/src/Telemetry/UnsupportedExternalAPIs.ql

@@ -10,13 +10,16 @@ import java
 import ExternalApi
 import semmle.code.java.GeneratedFiles
 
-from ExternalApi api, int usages
-where
+private predicate getRelevantUsages(ExternalApi api, int usages) {
   not api.isUninteresting() and
   not api.isSupported() and
   usages =
     strictcount(Call c |
       c.getCallee().getSourceDeclaration() = api and
       not c.getFile() instanceof GeneratedFile
     )
+}
+
+from ExternalApi api, int usages
+where Results<getRelevantUsages/2>::restrict(api, usages)
 select api.getApiName() as apiname, usages order by usages desc