Asger F
|
5ed362f7d6
|
JS: Add exception test case
|
2024-11-18 13:23:09 +01:00 |
|
Asger F
|
bd94fe1574
|
JS: Explain false positive in test case
|
2024-10-29 08:31:58 +01:00 |
|
Asger F
|
16b08b74eb
|
JS: Add test showing potential for FPs when handling refinement guards
|
2024-10-29 08:31:55 +01:00 |
|
Asger F
|
e784813c3b
|
JS: Make barrier guards work with use-use flow
|
2024-10-22 12:46:19 +02:00 |
|
Asger F
|
81af9a1658
|
Fix missing flow through super calls
|
2024-10-22 12:46:17 +02:00 |
|
Asger F
|
12370e9210
|
JS: Use VariableOrThis in variable capture as well
|
2024-10-22 12:46:16 +02:00 |
|
Asger F
|
0ebe8bdd91
|
JS: Add test for missing capture flow for 'this'
|
2024-10-22 12:46:15 +02:00 |
|
Asger F
|
d31499d727
|
JS: introduce implicit this uses in general
|
2024-10-22 12:46:14 +02:00 |
|
Asger F
|
8dc0505f84
|
JS: Add test for missing flow into 'this' in field initializers
|
2024-10-22 12:46:13 +02:00 |
|
Asger F
|
c3c003b275
|
JS: Fix post-update flow into 'this'
|
2024-10-22 12:46:11 +02:00 |
|
Asger F
|
9fc99d6f9d
|
JS: Fix store into object literals that have a post-update node
|
2024-10-22 12:46:11 +02:00 |
|
Asger F
|
d626e79ed3
|
JS: Add two test cases for missing flow
|
2024-10-22 12:46:10 +02:00 |
|
Asger F
|
78e961cef3
|
JS: Add use-use flow
|
2024-10-22 12:46:01 +02:00 |
|
Asger F
|
81e74d8bb5
|
JS: Add test case for spurious flow from lack of use-use
|
2024-10-22 12:46:00 +02:00 |
|
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 |
|
Asger F
|
55d4e7e742
|
JS: Use ArrayElementKnown when reading a constant array index
|
2024-09-09 13:26:25 +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
|
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
|
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
|
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 |
|