12 Commits

Author	SHA1	Message	Date
Geoffrey White	098ea50068	Swift: Repair non-inline dataflow test.	2023-11-13 12:09:08 +00:00
Geoffrey White	b4b2338144	Swift: Test for MAD tuple content flow.	2023-08-09 14:41:32 +01:00
Robert Marsh	c36ce785d8	Merge branch 'main' into rdmarsh2/swift/array-content-flow	2023-07-27 19:18:03 +00:00
Geoffrey White	1259f8d596	Swift: Clearer syntax and a shortcut for Optional.some.	2023-07-21 22:34:59 +01:00
Geoffrey White	1cfb9bbf34	Swift: Tests for enum content in MAD.	2023-07-21 22:34:58 +01:00
Robert Marsh	d4b635d674	Swift: add ArrayContent summary support	2023-07-17 19:09:05 +00:00
Geoffrey White	501848bd46	Swift: Convert dataflow / taint tests to DataFlow::ConfigSig.	2023-04-05 15:07:02 +01:00
Robert Marsh	9731989421	Swift: add tests for flow through constructors	2023-03-06 20:39:58 +00:00
Geoffrey White	4e5483744f	Swift: Add a test case we're discussing.	2023-01-12 10:52:03 +00:00
Tony Torralba	3973e1ce04	Update swift/ql/test/library-tests/dataflow/dataflow/FlowConfig.qll ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2022-10-24 11:37:51 +02:00
Tony Torralba	80f7d58fae	Add missing tests for not-quite-working flow steps	2022-10-24 09:37:22 +02:00
Mathias Vorreiter Pedersen	6e148a4c3f	Swift: Use the inline testing framework for dataflow tests.	2022-08-23 16:31:05 +01:00