26 Commits

Author	SHA1	Message	Date
Asger F	3acd4814de	Merge branch 'main' into js/shared-dataflow-merge-main	2024-12-19 10:14:38 +01:00
Asger F	d52bc971b8	Merge branch 'main' into js/shared-dataflow-merge-main	2024-11-20 14:05:03 +01:00
Napalys	28ead4011a	JS: Add: taint step to handle propagation of data flow from the array to callback	2024-11-19 14:15:15 +01:00
Napalys	f1e95a8a1d	JS: Add: taint step test cases for findLastIndex, findLast, find	2024-11-19 14:09:58 +01:00
Napalys	c03d69af1e	JS: Add: dataflow step for find, findLast, findLastIndex callback functions	2024-11-19 09:42:11 +01:00
Napalys	b64b837db3	JS: Add: test cases for find, findLast, findLastIndex with callbacks	2024-11-19 09:35:43 +01:00
Napalys	fcb65534a8	JS: Add: Array.protype.findLast as taint step	2024-11-15 14:10:01 +01:00
Napalys	ea90698fc1	JS: Add: Test case taint step for findLast	2024-11-15 13:35:28 +01:00
Napalys	df4b596180	Added toSpliced as part ArraySliceStep and ArraySpliceStep, fixed tests from 2d9bc43506	2024-11-13 13:47:34 +01:00
Napalys	2d9bc43506	Added tests for arrays toSpliced with pop	2024-11-13 12:58:24 +01:00
Asger F	e0ca1b0482	JS: Benign test updates	2024-09-10 13:07:24 +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
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	54a0e6dc45	JS: Add new test for Array.splice	2024-06-12 16:24:33 +02:00
Rasmus Wriedt Larsen	9ed6da1072	JS: prepare to extend Array tests ... Oh how I have enjoyed working with InlineExpectationTests for these sort of things, not worrying about all the .expected files changing because you add a few lines in the middle of your tests :D	2024-06-12 16:22:55 +02:00
Esben Sparre Andreasen	a3cf81d419	js: add filter taint test (post rebase conflicts)	2022-08-08 11:00:11 +02:00
Erik Krogh Kristensen	1717d17fb3	add flow step for Array.prototype.at	2022-05-24 12:41:27 +02:00
Erik Krogh Kristensen	77f4d56cd9	add taint step through array-union, array-uniq, and uniq	2021-07-15 12:32:29 +02:00
Erik Krogh Kristensen	e64f29fe8f	add support for Array.prototype.find and polyfills	2021-07-15 11:16:06 +02:00
Erik Krogh Kristensen	f6f63e2811	add model for the array-from polyfill	2021-07-15 10:51:55 +02:00
Erik Krogh Kristensen	25aea900b6	add more dataflow steps for Arrays	2020-03-31 11:21:25 +02:00
Erik Krogh Kristensen	ad52d6446e	add test case for tuple-like use	2020-03-09 19:47:05 +01:00
Erik Krogh Kristensen	a476fc5c3b	revert Array.from change	2020-03-09 17:09:31 +01:00
Erik Krogh Kristensen	b4b05696e1	two bugfixes	2020-03-09 16:45:03 +01:00
Erik Krogh Kristensen	8e3cf5c9c8	add test for data-flow on arrays	2020-03-09 09:25:17 +01:00