hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 03:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: update notModeled for negative numbers

Browse Source
This commit is contained in:
Jami Cogswell
2022-12-07 21:46:52 -05:00
parent aa7e6d7811
commit e9e5f92603
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/src/Metrics/Summaries/GeneratedVsManualCoverage.ql
View File

@@ -91,7 +91,8 @@ float getNumApisWithoutMadModel(string package) {
count(DataFlowTargetApi d |
package = d.getDeclaringType().getPackage().toString() and
not exists(FunctionalExpr funcExpr | d = funcExpr.asMethod()) and // remove lambdas // ! remove this if DataFlowTargetApi itself is adjusted to exclude FunctionalExpr (see static-team slack thread)
not exists(SummarizedCallable sc | d = sc.asCallable()) // set minus with SummarizedCallables
not exists(SummarizedCallable sc | d = sc.asCallable()) and
not exists(FlowSummaryImpl::Public::NegativeSummarizedCallable nc | d = nc.asCallable())
)
)
}