Skip to content

Commit 1da11b1

Browse files
committed
JS: Fix map flow.
1 parent 1f0eff6 commit 1da11b1

1 file changed

Lines changed: 4 additions & 2 deletions

File tree

  • javascript/ql/lib/semmle/javascript/internal/flow_summaries

‎javascript/ql/lib/semmle/javascript/internal/flow_summaries/Maps.qll‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,10 +20,12 @@ class MapConstructor extends SummarizedCallable::Range {
2020
override predicate propagatesFlow(string input, string output, boolean preservesValue) {
2121
preservesValue = true and
2222
(
23-
input = "Argument[0]." + ["ArrayElement", "SetElement", "IteratorElement"] + ".Member[0]" and
23+
input =
24+
"Argument[0]." + ["ArrayElement", "SetElement", "IteratorElement"] + ".ArrayElement[0]" and
2425
output = "ReturnValue.MapKey"
2526
or
26-
input = "Argument[0]." + ["ArrayElement", "SetElement", "IteratorElement"] + ".Member[1]" and
27+
input =
28+
"Argument[0]." + ["ArrayElement", "SetElement", "IteratorElement"] + ".ArrayElement[1]" and
2729
output = "ReturnValue.MapValue"
2830
or
2931
input = ["Argument[0].WithMapKey", "Argument[0].WithMapValue"] and

0 commit comments

Comments
 (0)