13 Commits

Author	SHA1	Message	Date
Geoffrey White	36d0148aa1	Swift: Comment out lines that don't extract correctly right now.	2023-12-14 13:27:05 +00:00
Geoffrey White	c2123f2c9b	Swift: More detailed models for pointers.	2023-12-08 16:51:53 +00:00
Geoffrey White	ba6d3484f5	Swift: Add more tests of pointer methods.	2023-12-07 18:09:34 +00:00
Geoffrey White	8818b3d22d	Swift: Model withMemoryRebound, assumingMemoryRebound, bindMemory.	2023-12-07 16:03:01 +00:00
Geoffrey White	db3dfdc9a0	Swift: Model Manual Memory Management closure functions.	2023-12-07 15:55:00 +00:00
Geoffrey White	1de9919193	Swift: Test Manual Memory Management closure functions.	2023-12-07 15:10:41 +00:00
Geoffrey White	366a9f1b7e	Swift: Convert unsafepointer.swift test to use labelled sources.	2023-12-06 18:57:30 +00:00
Geoffrey White	0d7943031c	Swift: Generalize subscript assignment storeStep.	2023-11-03 14:53:37 +00:00
Geoffrey White	61340c4b20	Swift: Permit data flow from generic arguments, rather than just pointers.	2023-03-06 16:34:12 +00:00
Geoffrey White	1e5b904514	Swift: Add test cases for mutating pointers inside containers.	2023-03-06 16:17:39 +00:00
Geoffrey White	234f17b578	Swift: Use PointerType in data flow's 'modifiable' predicate.	2023-03-03 16:23:49 +00:00
Geoffrey White	9f86bcb1b8	Swift: Proof of concept fix.	2023-03-03 15:04:47 +00:00
Geoffrey White	15227d3c09	Swift: Add tests where a user-defined (non-modelled) function taints the pointee of a pointer argument.	2023-03-03 15:00:22 +00:00