hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-20 22:44:52 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #15783 from github/smowton/fix/extractor-information-fractional-percentage

Browse Source 
Java: extractor information: tolerate fractional percentages
This commit is contained in:
Chris Smowton
2024-03-04 11:09:42 +00:00
committed by GitHub
parent 0c93641b54 040395485e
commit 83cef78200
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/ql/integration-tests/all-platforms/java/buildless-erroneous/ExtractorInformation.expected
View File

@@ -12,6 +12,7 @@
| Number of lines of code | 7 |
| Number of lines of code with extension java | 7 |
| Percentage of calls with call target | 20 |
| Percentage of expressions with known type | 14 |
| Total number of diagnostics from CodeQL Java extractor | 12 |
| Total number of lines | 13 |
| Total number of lines with extension java | 13 |

4
java/ql/src/Telemetry/ExtractorInformation.ql
View File

@@ -159,9 +159,9 @@ where
extractorTotalDiagnostics(key, value) or
CallTargetStatsReport::numberOfOk(key, value) or
CallTargetStatsReport::numberOfNotOk(key, value) or
CallTargetStatsReport::percentageOfOk(key, value) or
CallTargetStatsReport::percentageOfOk(key, any(float x | value = x.floor())) or
ExprTypeStatsReport::numberOfOk(key, value) or
ExprTypeStatsReport::numberOfNotOk(key, value) or
ExprTypeStatsReport::percentageOfOk(key, value)
ExprTypeStatsReport::percentageOfOk(key, any(float x | value = x.floor()))
)
select key, value