18 Commits

Author	SHA1	Message	Date
Tom Hvitved	f287216060	Update expected test output	2024-09-24 14:21:38 +02:00
Tom Hvitved	c92c96fa78	Data flow: Compute local big step relation per stage	2024-08-26 09:15:27 +02:00
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
Anders Schack-Mulligen	228a61ead3	Swift: Add empty provenance column to expected files.	2024-02-09 11:32:07 +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	27bdee8058	Swift: Replace additional taint step with implict read. ... Now that we have array content, this is a more principled approach than having a special case data step.	2023-10-02 20:19:30 +01:00
Geoffrey White	158008ac4f	Swift: New results in tests.	2023-09-19 13:08:08 +01: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	348c45dff3	Swift: Use enum content in URL and NSURL models.	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