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

Java: Fix external flow perofrmance with future optimiser.

Browse Source
This commit is contained in:
alexet
2021-08-23 15:50:06 +01:00
parent 726feb3f4d
commit be1d4c04f2
1 changed files with 12 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll
View File

@@ -616,16 +616,21 @@ private predicate elementSpec(
summaryModel(namespace, type, subtypes, name, signature, ext, _, _, _)
}
private predicate relevantCallable(Callable c) { elementSpec(_, _, _, c.getName(), _, _) }
private string paramsStringPart(Callable c, int i) {
i = -1 and result = "("
or
exists(int n, string p | c.getParameterType(n).getErasure().toString() = p |
i = 2 * n and result = p
relevantCallable(c) and
(
i = -1 and result = "("
or
i = 2 * n - 1 and result = "," and n != 0
exists(int n, string p | c.getParameterType(n).getErasure().toString() = p |
i = 2 * n and result = p
or
i = 2 * n - 1 and result = "," and n != 0
)
or
i = 2 * c.getNumberOfParameters() and result = ")"
)
or
i = 2 * c.getNumberOfParameters() and result = ")"
}
private string paramsString(Callable c) {