always have arrayLikeElement as TypeTracking properties

2026-04-27 17:55:19 +02:00 · 2021-05-25 11:48:54 +02:00
parent 7ac04a8650
commit c70651b6fe
1 changed files with 2 additions and 0 deletions
--- a/javascript/ql/src/semmle/javascript/dataflow/internal/StepSummary.qll
+++ b/javascript/ql/src/semmle/javascript/dataflow/internal/StepSummary.qll
@@ -27,6 +27,8 @@ private module Cached {
        SharedTypeTrackingStep::loadStoreStep(_, _, this, _)
        or
        SharedTypeTrackingStep::loadStoreStep(_, _, _, this)
+        or
+        this = DataFlow::PseudoProperties::arrayLikeElement()
      }
    }