278 Commits

Author	SHA1	Message	Date
Geoffrey White	7e8645a1f6	Swift: Model NSMutableString.	2023-02-15 21:50:05 +00:00
Geoffrey White	75dd95f458	Swift: Correct one of the tests.	2023-02-15 18:37:51 +00:00
Geoffrey White	99caafb9b9	Swift: Model NSString.	2023-02-15 18:37:51 +00:00
Geoffrey White	d763c5a3a0	Swift: Update LocalTaint.expected for the changes so far.	2023-02-15 11:42:42 +00:00
Geoffrey White	9f734076b7	Swift: Test taint through NSString member variables.	2023-02-15 11:04:16 +00:00
Geoffrey White	452ca4ef0f	Swift: Test taint through NSMutableString.	2023-02-15 11:04:01 +00:00
Geoffrey White	16ec29e3df	Swift: Test taint throguh some NSObject methods.	2023-02-15 11:03:45 +00:00
Geoffrey White	85a0fd9b30	Swift: Test taint through NSString.	2023-02-15 11:03:06 +00:00
Geoffrey White	f9f08fff83	Swift: Use RangeReplaceableCollection in the test.	2023-02-07 16:03:51 +00:00
Geoffrey White	ec72c7504c	Swift: Add a partial model of Collection.	2023-02-03 18:42:42 +00:00
Geoffrey White	e357b44943	Swift: Add a partial model of Sequence.	2023-02-03 18:42:42 +00:00
Geoffrey White	e230951a14	Swift: Model StringProtocol methods.	2023-02-03 18:42:41 +00:00
Geoffrey White	38eeb9c747	Swift: Model String methods.	2023-02-03 12:26:55 +00:00
Geoffrey White	1077dcd2e3	Swift: Model String initializers.	2023-02-03 11:36:35 +00:00
Geoffrey White	142ca0c9fb	Swift: Model StringProtocol initializers.	2023-02-03 10:53:44 +00:00
Geoffrey White	d888510688	Swift: Fix incorrect taint to String fields.	2023-02-03 10:21:52 +00:00
Geoffrey White	d25de8c764	Swift: Taint fields of StringProtocol.	2023-02-03 10:16:33 +00:00
Geoffrey White	21abe54d8d	Swift: Greatly extend tests of taint through strings.	2023-02-03 10:11:12 +00:00
Tony Torralba	644bc56568	Add new source and flow step related to WkWebView	2023-02-01 17:44:06 +01:00
Tony Torralba	f7cc5f9627	Add more sources for custom URL schemes ... Also add the appropriate steps so that these sources are useful	2023-02-01 15:07:37 +01:00
Tony Torralba	e9a46c926d	Add taint for URLRequest fields	2023-01-31 11:15:45 +01:00
Geoffrey White	b5dd815249	Swift: Flow through optional binding.	2023-01-06 18:34:22 +00:00
Geoffrey White	c598d9b882	Swift: Generalize an SSA case for variables declared in Patterns.	2023-01-06 18:34:22 +00:00
Nora Dimitrijević	95d4c304da	Swift: Fix .expected tests ... Only UnsafeJsEval remains.	2022-12-14 15:02:15 -05:00
Mathias Vorreiter Pedersen	a07c9ffbc5	Swift: Accept test changes.	2022-12-05 14:19:00 +00:00
Tony Torralba	d958a62bf2	Fix expectations in data.swift	2022-11-30 16:19:55 +01:00
Karim Ali	9048d5d79b	fix expected output for LocalTaint	2022-11-29 15:38:44 +02:00
Karim Ali	9d17fae00c	fix expected output for TaintInline	2022-11-29 15:24:12 +02:00
Karim Ali	c0085cbb1a	fix expected output for Taint.ql	2022-11-29 15:18:39 +02:00
Karim Ali	f0d9dabca2	updated expected output for LocalTaint and Tain	2022-11-29 12:13:10 +02:00
Karim Ali	9b3c4e8db2	add test case for unicodeScalars	2022-11-29 12:12:10 +02:00
Karim Ali	7541b01a86	add test case for utf8CString	2022-11-29 12:12:10 +02:00
Karim Ali	58a87396ba	add taint steps for fields of String ... if a String is tainted, then all its fields (including those declared in extensions) should be tainted as well	2022-11-29 12:12:10 +02:00
Tony Torralba	0e59257442	Fix local taint steps ... Local taint should include local flow and simple summaries through library code	2022-11-29 10:36:56 +01:00
Geoffrey White	30468dd419	Swift: Implement field content as well.	2022-11-28 12:27:33 +00:00
Geoffrey White	ffbd201450	Swift: Implement basic model of WKUserScript.	2022-11-28 12:20:29 +00:00
Geoffrey White	3971cbf294	Swift: Extend the taint test with WKUserScript.	2022-11-28 12:11:38 +00:00
Tony Torralba	e67b72d954	Update test expectations	2022-11-24 12:35:51 +01:00
Tony Torralba	25354d2dd8	Apply code review suggestions	2022-11-24 12:35:51 +01:00
Tony Torralba	d6b14a1395	Update test expectations	2022-11-24 12:35:50 +01:00
Tony Torralba	2284127650	Add MaD rows for the Data class	2022-11-24 12:35:50 +01:00
Tony Torralba	4f8ef13cd8	Fix expectation in NSData tests	2022-11-24 12:13:46 +01:00
Tony Torralba	2ac06b8db9	Turns out lambda flow is already supported	2022-11-24 10:52:27 +01:00
Tony Torralba	2e1a78e1bf	Add models for NSData and NSMutableData	2022-11-22 15:48:58 +01:00
Tony Torralba	2402504a4c	Add missing SummaryPostUpdateNode	2022-10-28 18:24:17 +02:00
Tony Torralba	48b0cc0229	Add models for JSContext and JSValue	2022-10-28 13:01:25 +02:00
Tony Torralba	81701547b2	Add taint sources for WKScriptMessage ... This is what contains externally-provided data in Webview JS-native bridges	2022-10-28 12:58:27 +02:00
Mathias Vorreiter Pedersen	062a0abceb	Swift: Fix flow out of summarized callables.	2022-10-28 12:09:05 +02:00
Paolo Tranquilli	408968a417	Swift: fix swift compilation in QL tests	2022-10-21 15:20:38 +02:00
Tony Torralba	0eeaf71716	Simplify models by introducing TaintInheritingContent	2022-10-18 12:36:18 +02:00