hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix sum of rows

Browse Source
This commit is contained in:
Benjamin Muskalla
2021-11-23 10:42:24 +01:00
parent cd39d15b40
commit 50518b5622
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/src/Diagnostics/CoverageDiagnostics.ql
View File

@@ -11,8 +11,7 @@ import semmle.code.java.dataflow.ExternalFlow
from string packageAndType, int rows
where
exists(string package, string type |
modelCoverage(package, _, _, type, _) and
packageAndType = package + ";" + type and
rows = sum(int n | modelCoverage(package, _, _, type, n) | n)
rows = strictsum(int n, string kind | modelCoverage(package, _, kind, type, n) | n)
)
select packageAndType, rows