15 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	b2a595596b	JS: Remove irrelevant comment.	2025-02-25 11:33:16 +01:00
Anders Schack-Mulligen	449150e6b5	JS: Accept fixed FP flow.	2025-02-25 10:42:21 +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