JS: address comments

Author: asger-semmle

javascript/ql/src/Statements/MissingIndexAdjustmentAfterConcurrentModification.qhelp

@@ -5,7 +5,7 @@
 <overview>
 <p>
   Items can be removed from an array using the <code>splice</code> method, but when doing so,
-  all subseequent items will be shifted to a lower index. If this is done while iterating over
+  all subsequent items will be shifted to a lower index. If this is done while iterating over
   the array, the shifting may cause the loop to skip over the element immediately after the
   removed element.
 </p>

javascript/ql/src/Statements/MissingIndexAdjustmentAfterConcurrentModification.ql

@@ -11,7 +11,7 @@
 import javascript
 
 /**
- * Operation that inserts or removes elements from an array while shifting all elements
+ * An operation that inserts or removes elements from an array while shifting all elements
  * occuring after the insertion/removal point.
  *
  * Does not include `push` and `pop` since these never shift any elements.
@@ -160,4 +160,4 @@ class ArrayIterationLoop extends ForStmt {
 
 from ArrayIterationLoop loop, SpliceCall splice
 where loop.hasPathThrough(splice, loop.getUpdate().getFirstControlFlowNode())
-select splice, "Missing loop index adjustment after removing array item. Some array items will be skipped due to shifting."
+select splice, "Removing an array item without adjusting the loop index '" + loop.getIndexVariable().getName() + "' causes the subsequent array item to be skipped."

javascript/ql/test/query-tests/Statements/MissingIndexAdjustmentAfterConcurrentModification/MissingIndexAdjustmentAfterConcurrentModification.expected

@@ -1,3 +1,3 @@
-| tst.js:4:27:4:44 | parts.splice(i, 1) | Missing loop index adjustment after removing array item. Some array items will be skipped due to shifting. |
-| tst.js:13:29:13:46 | parts.splice(i, 1) | Missing loop index adjustment after removing array item. Some array items will be skipped due to shifting. |
-| tst.js:24:9:24:26 | parts.splice(i, 1) | Missing loop index adjustment after removing array item. Some array items will be skipped due to shifting. |
+| tst.js:4:27:4:44 | parts.splice(i, 1) | Removing an array item without adjusting the loop index 'i' causes the subsequent item to be skipped. |
+| tst.js:13:29:13:46 | parts.splice(i, 1) | Removing an array item without adjusting the loop index 'i' causes the subsequent item to be skipped. |
+| tst.js:24:9:24:26 | parts.splice(i, 1) | Removing an array item without adjusting the loop index 'i' causes the subsequent item to be skipped. |