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

JS: Use AccessPath as parameter type

Browse Source
This commit is contained in:
Asger F
2024-04-17 13:31:48 +02:00
parent 93a9c62e29
commit 5e7026c6c6
1 changed files with 5 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModelsExport.qll
View File

@@ -18,19 +18,14 @@ private import Shared
*/
bindingset[type, path]
private predicate partiallyEvaluatedModel(
string type, string path, API::Node node, string remainingPath
string type, AccessPath path, API::Node node, string remainingPath
) {
exists(int n, AccessPath accessPath |
accessPath = path and
getNodeFromPath(type, accessPath, n) = node and
exists(int n |
getNodeFromPath(type, path, n) = node and
n > 0 and
// Note that `n < accessPath.getNumToken()` is implied by the use of strictconcat()
// Note that `n < path.getNumToken()` is implied by the use of strictconcat()
remainingPath =
strictconcat(int k |
k = [n .. accessPath.getNumToken() - 1]
|
accessPath.getToken(k), "." order by k
)
strictconcat(int k | k = [n .. path.getNumToken() - 1] | path.getToken(k), "." order by k)
)
}