hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: add message column to qltest

Browse Source
This commit is contained in:
Jami Cogswell
2022-12-16 08:51:18 -05:00
parent bf6148c477
commit 640b450c47
2 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/test/ext/TopJdkApis/TopJdkApisTest.expected
View File

@@ -1,3 +1,3 @@
| java.lang.String#valueOf(Object) |
| java.lang.Throwable#printStackTrace() |
| java.util.stream.Stream#collect(Collector) |
| java.lang.String#valueOf(Object) | no manual model |
| java.lang.Throwable#printStackTrace() | no manual model |
| java.util.stream.Stream#collect(Collector) | no manual model |

10
java/ql/test/ext/TopJdkApis/TopJdkApisTest.ql
View File

@@ -2,11 +2,12 @@ import java
import semmle.code.java.dataflow.ExternalFlow
import TopJdkApis
from string apiName
from string apiName, string message
where
// top jdk api names for which there is no callable
topJdkApiName(apiName) and
not hasCallable(apiName)
not hasCallable(apiName) and
message = "no callable"
or
// top jdk api names for which there isn't a manual model
exists(TopJdkApi topApi |
@@ -14,6 +15,7 @@ where
apiName =
topApi.asCallable().getDeclaringType().getPackage() + "." +
topApi.asCallable().getDeclaringType().getSourceDeclaration() + "#" +
topApi.asCallable().getName() + paramsString(topApi.asCallable())
topApi.asCallable().getName() + paramsString(topApi.asCallable()) and
message = "no manual model"
)
select apiName order by apiName
select apiName, message order by apiName