Asger F
|
3b09bc548e
|
JS: Add taint step for shift()
|
2024-09-12 13:42:17 +02:00 |
|
Asger F
|
3ea1134cc1
|
JS: Add inline test for .shift() method
|
2024-09-12 13:42:16 +02:00 |
|
Sid Shankar
|
3516117215
|
Adds test for arbitrary specifiers in TS files
Adds test for arbitrary identifiers used in imports and exports
|
2024-09-11 00:37:49 +00:00 |
|
Sid Shankar
|
785af12f1c
|
Renames test file
|
2024-09-11 00:28:44 +00:00 |
|
Asger F
|
e0ca1b0482
|
JS: Benign test updates
|
2024-09-10 13:07:24 +02:00 |
|
Asger F
|
55d4e7e742
|
JS: Use ArrayElementKnown when reading a constant array index
|
2024-09-09 13:26:25 +02:00 |
|
Asger F
|
094112c905
|
Merge pull request #17213 from asgerf/jss/spread-argument
JS: Improve handling of spread arguments and rest parameters [shared data flow branch]
|
2024-09-09 13:15:22 +02:00 |
|
Asger F
|
fb9732a33f
|
JS: Add another test and TODO about an issue with constant array indices
|
2024-09-06 08:43:11 +02:00 |
|
Asger F
|
1da68aac73
|
JS: Benign test output change
This happened as a result of the bugfix in the previous commit
|
2024-09-06 08:43:10 +02:00 |
|
Asger F
|
a9a8351cce
|
JS: Fix one case of missing handling of unknown array index
|
2024-09-06 08:43:09 +02:00 |
|
Asger F
|
379c7ef20a
|
JS: Add test to show lack of unknown array element being propagated
|
2024-09-06 08:43:08 +02:00 |
|
Asger F
|
f65879eef1
|
JS: Update a test that no longer fails
|
2024-08-27 11:35:37 +02:00 |
|
Asger F
|
cb5dbb919d
|
JS: Update test to reflect implicit read flow has been fixed
Shows the effect of https://github.com/github/codeql/pull/17262
|
2024-08-27 11:35:36 +02:00 |
|
Asger F
|
a2d53c261b
|
JS: Update test output and add related TODO in model of 'async'
|
2024-08-27 11:35:35 +02:00 |
|
Asger F
|
3e196f83f1
|
JS: Update Promises/flow2 test
|
2024-08-27 11:35:32 +02:00 |
|
Asger F
|
aa8bd332bf
|
JS: Add a few more tests
|
2024-08-27 11:35:31 +02:00 |
|
Asger F
|
371f7ef551
|
JS: Add implicit taint read of array elements
|
2024-08-27 11:35:31 +02:00 |
|
Asger F
|
df42e7c527
|
JS: Add test showing lack of implicit reads for ArrayElement
|
2024-08-27 11:35:30 +02:00 |
|
Asger F
|
4e7bd9ddd8
|
JS: Update Arrays test now that array elements do not taint the whole array
|
2024-08-27 11:35:29 +02:00 |
|
Asger F
|
4389b5c999
|
JS: Fix issue for .apply() calls
|
2024-08-27 11:35:28 +02:00 |
|
Asger F
|
34e6864fa3
|
JS: Note issue with .apply() calls
|
2024-08-27 11:35:27 +02:00 |
|
Asger F
|
ac1dd1850e
|
JS: Remove taint step from array element to whole array
|
2024-08-27 11:35:26 +02:00 |
|
Asger F
|
5084d0260f
|
Update tests.expected
The 'arguments' node is only materialised for functions that use 'arguments
|
2024-08-27 11:35:25 +02:00 |
|
Asger F
|
895cb872ad
|
JS: Add taint into dynamic argument array
|
2024-08-27 11:35:24 +02:00 |
|
Asger F
|
079a622cf9
|
JS: Add tests showing missing taint flow
When the spread argument itself is tained and not
inside any content, the read steps currently fail
to propagate the data.
|
2024-08-27 11:35:23 +02:00 |
|
Asger F
|
acdc896c04
|
JS: Support for dynamic args to flow summaries
|
2024-08-27 11:35:21 +02:00 |
|
Asger F
|
5c7e623c47
|
JS: Add some tests for missing handling of dynamic args in flow summaries
|
2024-08-27 11:35:19 +02:00 |
|
Asger F
|
c04f0beb8a
|
Update DataFlowConsistency.expected
|
2024-08-27 11:35:18 +02:00 |
|
Asger F
|
fa7ad03068
|
JS: Add store/load steps for the new argument arrays
|
2024-08-27 11:35:15 +02:00 |
|
Asger F
|
5d77c336fc
|
Test case for spread and rest args/params
|
2024-08-27 11:35:11 +02:00 |
|
Asger F
|
47c519fc0a
|
JS: Add test for flow through dynamic imports
|
2024-08-26 15:15:49 +02:00 |
|
Asger F
|
c54f5858b1
|
Merge branch 'main' into js/shared-dataflow-merge-main
|
2024-08-22 13:22:05 +02:00 |
|
erik-krogh
|
b8187ed294
|
support arbitary export specifiers
|
2024-08-06 20:45:57 +02:00 |
|
erik-krogh
|
5f7f37f6c8
|
support arbitary import specifiers
|
2024-08-06 20:45:53 +02:00 |
|
Asger F
|
df64388d79
|
Merge branch 'main' into js/shared-dataflow-merge-main
|
2024-08-02 13:18:38 +02:00 |
|
Asger F
|
e5924c1f84
|
JS: Another messy test update
|
2024-06-28 13:08:38 +02:00 |
|
Asger F
|
14fc790617
|
Update DataFlowConsistency.expected
|
2024-06-28 13:08:09 +02:00 |
|
Asger F
|
90f0e07e49
|
JS: Benign update after fixing PropertyName charpred
|
2024-06-27 11:56:22 +02:00 |
|
Asger F
|
2473274681
|
JS: Benign test output changes
|
2024-06-27 09:06:45 +02:00 |
|
Asger F
|
af7b4e3063
|
Accept flow difference due to added test cases
New library gets FN for spread arguments in a call to splice(), which
was added to the old version in this PR:
https://github.com/github/codeql/pull/16739
|
2024-06-26 13:52:27 +02:00 |
|
Asger F
|
53efb5837b
|
JS: Update some tests with provenance columns
Only includes the changes that purely contain the new provenance columns
|
2024-06-26 13:51:44 +02:00 |
|
Asger F
|
ecf418b8f6
|
Merge branch 'main' into js/shared-dataflow
|
2024-06-25 11:48:41 +02:00 |
|
erik-krogh
|
0de4fd8430
|
add test for the better type-narrowing in TS 5.5
|
2024-06-20 20:55:44 +02:00 |
|
erik-krogh
|
a691ec01b3
|
add test for the inferred type predicates in TS5.5
|
2024-06-20 20:42:59 +02:00 |
|
Rasmus Wriedt Larsen
|
3f2befc3e5
|
JS: Support spread arguments in array.splice
|
2024-06-14 15:33:17 +02:00 |
|
Rasmus Wriedt Larsen
|
269f8ca2cd
|
JS: Add splice(...arr) test
|
2024-06-14 15:19:56 +02:00 |
|
Rasmus Wriedt Larsen
|
68ccec3d43
|
JS: Prepare for new test
|
2024-06-14 15:18:47 +02:00 |
|
Rasmus Wriedt Larsen
|
194ef607f7
|
JS: Updated .expected
|
2024-06-14 14:49:34 +02:00 |
|
Rasmus Wriedt Larsen
|
ec18786488
|
JS: Provide better model for Array.splice
|
2024-06-12 16:29:21 +02:00 |
|
Rasmus Wriedt Larsen
|
54a0e6dc45
|
JS: Add new test for Array.splice
|
2024-06-12 16:24:33 +02:00 |
|