536 Commits

Author	SHA1	Message	Date
Geoffrey White	e19e28fbb9	Merge pull request #12263 from geoffw0/flowsourceinline ... Swift: Convert the flow sources test to inline expectations.	2023-02-20 16:13:01 +00:00
Geoffrey White	31967cc032	Swift: Add a couple of dataflow test cases for operators that behave as an identity function.	2023-02-20 15:42:07 +00:00
Geoffrey White	690b5debf4	Swift: Remove the old test.	2023-02-20 13:58:53 +00:00
Geoffrey White	dd7f54677b	Swift: Add inline expectation tags.	2023-02-20 13:57:24 +00:00
Geoffrey White	b66ed57e17	Swift: Fix a mistake in FlowSources.qll.	2023-02-20 11:11:46 +00:00
Geoffrey White	d9f2d348f4	Swift: Add an inline expectations test for flow sources.	2023-02-20 11:03:10 +00:00
Tom Hvitved	658cc33bb8	Merge pull request #12212 from hvitved/util/inline-expect-test-use-end-line ... Util: Use end line instead of start line for actual results	2023-02-20 11:41:02 +01:00
Geoffrey White	6cec8ece3f	Swift: Split off FlowConfig.qll.	2023-02-20 10:27:40 +00:00
Geoffrey White	343ddede5a	Merge branch 'main' into nsstring	2023-02-20 09:15:58 +00:00
Geoffrey White	7a9bbb1414	Swift: Model FileManager sources.	2023-02-17 20:04:27 +00:00
Geoffrey White	5d125572ec	Swift: Test for FileManager taint sources.	2023-02-17 18:14:16 +00:00
Tom Hvitved	37fc8f5039	Swift: Update test expectations	2023-02-17 13:24:28 +01:00
Geoffrey White	417d175ff2	Merge branch 'main' into nsstring	2023-02-17 11:32:40 +00:00
Geoffrey White	9cd9627778	Swift: Fix identical rows.	2023-02-17 10:00:06 +00:00
Geoffrey White	981f232ea9	Swift: Additional test cases.	2023-02-17 09:49:02 +00:00
Geoffrey White	a894fc6ce8	Swift: Fix mistakes in String.qll models.	2023-02-16 18:24:36 +00:00
Geoffrey White	f64cb2983a	Swift: Add tests for a few models we didn't cover.	2023-02-16 18:15:17 +00:00
Geoffrey White	00302dc05f	Swift: Model NSObject.	2023-02-15 22:12:39 +00:00
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	2882286c3f	Swift: Test taint sources for NSString.	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	43b234eeb5	Switch to MaD models for UISceneDelegate methods	2023-02-01 15:15:51 +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
Geoffrey White	96ee0f68b0	Merge pull request #11935 from geoffw0/protocol-extension ... Swift: Flow sources through protocol extensions	2023-02-01 13:47:09 +00:00
Tony Torralba	e9a46c926d	Add taint for URLRequest fields	2023-01-31 11:15:45 +01:00
Geoffrey White	5ddff790b6	Swift: Autoformat.	2023-01-23 16:46:58 +00:00
Geoffrey White	2875d8645c	Swift: Cover additional edge case.	2023-01-19 11:34:07 +00:00
Geoffrey White	4c47de58c1	Swift: Add a few more test cases.	2023-01-19 11:27:44 +00:00
Geoffrey White	b033114f64	Swift: sources in extension protocols.	2023-01-19 10:04:04 +00:00
Tony Torralba	90517e254a	Accept test expectation changes	2023-01-18 13:25:04 +01:00
Tony Torralba	4a89a30abd	Add failing test	2023-01-18 12:41:59 +01:00
Geoffrey White	c9a0067705	Swift: Remove flow in cases with multiple variables.	2023-01-13 16:37:23 +00:00
Geoffrey White	4e5483744f	Swift: Add a test case we're discussing.	2023-01-12 10:52:03 +00:00