5 Commits

Author	SHA1	Message	Date
Asger F	8df7fbf6d6	Swift: update test output ... The 'first' field is seen as a TaintInheritingContent, which means any read step for 'first' becomes a taint step too. This type of taint step does not permit an implicit read before it, because it wasn't contributed by a configuration. So there is no way for the taint to get out of the collection content before the taint step through '.first'. The test previously passed because an implicit read at once of the earlier sinks could follow use-use flow down to the receiver of .first, allowing it to escape the collection content.	2024-08-23 11:30:50 +02:00
Geoffrey White	2b481bbb48	Swift: Model Sequence.enumerated() as well.	2023-11-24 15:41:49 +00:00
Geoffrey White	14031bf351	Swift: Model Sequence.forEach as well.	2023-11-24 14:58:13 +00:00
Geoffrey White	60b27a4e69	Swift: Expand and improve models of Set and Sequence.	2023-11-24 14:43:19 +00:00
Geoffrey White	04c90a684c	Swift: Add taint tests for 'Set'.	2023-11-24 13:38:31 +00:00