12 Commits

Author	SHA1	Message	Date
Geoffrey White	2b7b1c624d	Swift: Use a barrier as a simple fix.	2024-08-01 15:58:43 +01:00
Geoffrey White	7bf61d1d7e	Swift: Add test cases.	2024-08-01 15:49:33 +01:00
Geoffrey White	683ca2d578	Swift: Test spacing.	2024-08-01 15:32:45 +01:00
Geoffrey White	206acea41c	Swift: Fix defaultImplicitTaintRead for sinks that are field accesses on a subclass of the type containing the field.	2023-11-01 17:49:25 +00:00
Geoffrey White	554007b305	Swift: Add a couple more test cases close to the failures.	2023-10-31 17:19:28 +00:00
Geoffrey White	c82eb4dff3	Swift: Test spacing.	2023-10-31 17:18:08 +00:00
Geoffrey White	4c8accd5ba	Swift: Add a few more test cases.	2023-08-07 14:06:38 +01:00
Geoffrey White	416b731870	Swift: Model NSUserScriptTask sinks.	2023-08-04 17:01:06 +01:00
Geoffrey White	71771890a5	Swift: Add a test with NSUserScriptTask.	2023-08-04 17:01:05 +01:00
Geoffrey White	1c7d63a18f	Swift: Model sinks explicitly with models-as-data.	2023-08-04 17:01:05 +01:00
Geoffrey White	7b9b96d657	Swift: Unify the two sink models into one (needs further polish).	2023-08-04 17:01:04 +01:00
Geoffrey White	8c2140b28d	Swift: Add tests.	2023-08-04 17:01:04 +01:00