Fix naming

This commit is contained in:
Benjamin Muskalla
2021-09-03 10:59:35 +02:00
parent 6ede08e3c9
commit 2edb32f344
6 changed files with 8 additions and 8 deletions

View File

@@ -16,7 +16,7 @@ class ExternalAPI extends Callable {
/**
* Gets information about the external API in the form expected by the CSV modeling framework.
*/
string asCSV(ExternalAPI api) {
string asCsv(ExternalAPI api) {
result =
api.getDeclaringType().getPackage() + ";?;" + api.getDeclaringType().getSourceDeclaration() +
";" + api.getName() + ";" + paramsString(api)

View File

@@ -9,13 +9,13 @@
import java
import ExternalAPI
from int Usages, string jarname
from int usages, string jarname
where
Usages =
usages =
strictcount(Call c, ExternalAPI a |
c.getCallee() = a and
not c.getFile() instanceof GeneratedFile and
a.jarContainer() = jarname and
not a.isTestLibrary()
)
select jarname, Usages order by Usages desc
select jarname, usages order by usages desc

View File

@@ -15,7 +15,7 @@ from ExternalAPI api
where
not api.isTestLibrary() and
supportKind(api) = "sink"
select api.asCSV(api) as csv,
select api.asCsv(api) as csv,
strictcount(Call c |
c.getCallee() = api and
not c.getFile() instanceof GeneratedFile

View File

@@ -15,7 +15,7 @@ from ExternalAPI api
where
not api.isTestLibrary() and
supportKind(api) = "source"
select api.asCSV(api) as csv,
select api.asCsv(api) as csv,
strictcount(Call c |
c.getCallee() = api and
not c.getFile() instanceof GeneratedFile

View File

@@ -15,7 +15,7 @@ from ExternalAPI api
where
not api.isTestLibrary() and
supportKind(api) = ["summary", "taint-preserving"]
select api.asCSV(api) as csv,
select api.asCsv(api) as csv,
strictcount(Call c |
c.getCallee() = api and
not c.getFile() instanceof GeneratedFile

View File

@@ -15,7 +15,7 @@ from ExternalAPI api
where
not api.isTestLibrary() and
not api.isSupported()
select api.asCSV(api) as csv,
select api.asCsv(api) as csv,
strictcount(Call c |
c.getCallee() = api and
not c.getFile() instanceof GeneratedFile