Skip to content

Commit 98cee7d

Browse files
committed
JS: Update Collection step test and its output
1 parent c067d51 commit 98cee7d

File tree

3 files changed

+9
-10
lines changed

3 files changed

+9
-10
lines changed

javascript/ql/test/library-tests/frameworks/Collections/test.expected

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,6 @@ typeTracking
2626
| tst.js:2:16:2:23 | source() | tst.js:37:14:37:14 | e |
2727
| tst.js:2:16:2:23 | source() | tst.js:45:14:45:14 | e |
2828
| tst.js:2:16:2:23 | source() | tst.js:53:8:53:21 | map.get("key") |
29+
| tst.js:2:16:2:23 | source() | tst.js:59:8:59:22 | map2.get("foo") |
30+
| tst.js:2:16:2:23 | source() | tst.js:64:8:64:26 | map3.get(unknown()) |
31+
| tst.js:2:16:2:23 | source() | tst.js:69:8:69:26 | map3.get(unknown()) |

javascript/ql/test/library-tests/frameworks/Collections/test.ql

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -22,10 +22,6 @@ DataFlow::SourceNode trackSource(DataFlow::TypeTracker t, DataFlow::SourceNode s
2222
start = result
2323
or
2424
exists(DataFlow::TypeTracker t2 | t = t2.step(trackSource(t2, start), result))
25-
or
26-
exists(DataFlow::TypeTracker t2 |
27-
result = CollectionsTypeTracking::collectionStep(trackSource(t2, start), t, t2)
28-
)
2925
}
3026

3127
query DataFlow::SourceNode typeTracking(DataFlow::Node start) {

javascript/ql/test/library-tests/frameworks/Collections/tst.js

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -54,17 +54,17 @@
5454
sink(map.get("nonExistingKey")); // OK.
5555

5656
// unknown write, known read
57-
var map2 = new map();
57+
var map2 = new Map();
5858
map2.set(unknown(), source);
59-
sink(map2.get("foo")); // NOT OK (for data-flow). OK for type-tracking.
59+
sink(map2.get("foo")); // NOT OK (for data-flow).
6060

6161
// unknown write, unknown read
62-
var map3 = new map();
62+
var map3 = new Map();
6363
map3.set(unknown(), source);
64-
sink(map3.get(unknown())); // NOT OK (for data-flow). OK for type-tracking.
64+
sink(map3.get(unknown())); // NOT OK (for data-flow).
6565

6666
// known write, unknown read
67-
var map4 = new map();
67+
var map4 = new Map();
6868
map4.set("foo", source);
69-
sink(map3.get(unknown())); // NOT OK (for data-flow). OK for type-tracking.
69+
sink(map3.get(unknown())); // NOT OK (for data-flow).
7070
})();

0 commit comments

Comments
 (0)