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

JS: Fix a bad join order

Browse Source
This commit is contained in:
Asger F
2025-03-27 20:53:32 +01:00
parent 1ad471cb32
commit b834ffe246
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
javascript/ql/lib/semmle/javascript/ApiGraphs.qll
View File

@@ -955,12 +955,17 @@ module API {
result = min(int i | expr.getArgument(i) instanceof SpreadElement)
}
pragma[nomagic]
private InvokeExpr getAnInvocationWithSpread(DataFlow::SourceNode node, int i) {
result = node.getAnInvocation().asExpr() and
i = firstSpreadIndex(result)
}
private predicate spreadArgumentPassing(TApiNode base, int i, DataFlow::Node spreadArray) {
exists(DataFlow::Node use, DataFlow::SourceNode pred, int bound, InvokeExpr invoke |
use(base, use) and
pred = trackUseNode(use, _, bound, "") and
invoke = pred.getAnInvocation().asExpr() and
i = firstSpreadIndex(invoke) and
invoke = getAnInvocationWithSpread(pred, i) and
spreadArray = invoke.getArgument(i - bound).(SpreadElement).getOperand().flow()
)
}