9 Commits

Author	SHA1	Message	Date
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