JS: Explain use of monotonicAggregates

2026-04-26 09:15:12 +02:00 · 2025-05-02 13:05:37 +02:00
parent 5c9218fe5a
commit 1f308ee47a
1 changed files with 1 additions and 0 deletions
--- a/javascript/ql/lib/semmle/javascript/internal/paths/PathExprResolver.qll
+++ b/javascript/ql/lib/semmle/javascript/internal/paths/PathExprResolver.qll
@@ -65,6 +65,7 @@ module ResolveExpr<exprSig/1 shouldResolveExpr> {
      or
      exists(PathConcatenation join |
        node = TValueNode(join) and
+        // Note: 'monotonicAggregates' above lets us use recursion in the last clause of this aggregate
        result =
          strictconcat(int n, EarlyStageNode child, string sep |
            child = TValueNode(join.getOperand(n)) and sep = join.getSeparator()