diff --git a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql index bfd59e4cdf4..0b3c79e0d3b 100644 --- a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql +++ b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql @@ -20,7 +20,7 @@ private int getNumMadModeledApis(string package, string provenance) { result = count(SummarizedCallable sc | package = sc.asCallable().getCompilationUnit().getPackage().getName() and - exists(DataFlowTargetApi dataFlowTargApi | sc.asCallable() = dataFlowTargApi) and + sc.asCallable() instanceof DataFlowTargetApi and ( sc.isAutoGenerated() and // "auto-only" provenance = "generated"