837 Commits

Author	SHA1	Message	Date
Geoffrey White	6cb9198ee2	Swift: Control flow through #available.	2023-02-10 13:32:33 +00:00
Geoffrey White	38f4f65fc0	Swift: Add CFG test cases for #available.	2023-02-10 09:29:08 +00:00
Geoffrey White	224bc9381a	Swift: Fix ConditionElement.toString().	2023-02-09 21:15:36 +00:00
Geoffrey White	0f6b05dedf	Merge pull request #12126 from geoffw0/append ... Swift: Move some models into collections	2023-02-09 09:33:08 +00:00
Geoffrey White	f9f08fff83	Swift: Use RangeReplaceableCollection in the test.	2023-02-07 16:03:51 +00:00
Alex Denisov	712c25e6f4	Swift: extract availability info	2023-02-07 14:26:39 +01: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
Nora Dimitrijević	50e5b29eb7	Swift: all Callables can have captures [codegen'd]	2023-02-02 11:56:51 +01:00
Nora Dimitrijević	d230431006	Swift: extract closure captures (codegen'd part)	2023-02-02 11:35:49 +01: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
Mathias Vorreiter Pedersen	c8bcfb77b2	Merge pull request #11836 from geoffw0/optbinding ... Swift: Data flow through optional binding	2023-01-18 11:25:27 +00:00
Geoffrey White	c9a0067705	Swift: Remove flow in cases with multiple variables.	2023-01-13 16:37:23 +00:00
Geoffrey White	7f31c9c7e5	Swift: Add a test.	2023-01-12 15:19:57 +00:00
Geoffrey White	4e5483744f	Swift: Add a test case we're discussing.	2023-01-12 10:52:03 +00:00
Geoffrey White	bb50a99b36	Swift: Additional test cases.	2023-01-06 18:48:46 +00: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
Geoffrey White	8a9a69fa00	Swift: Add more dataflow tests for of optionals, patterns, enums.	2023-01-06 18:34:22 +00:00
Geoffrey White	04f87a26a9	Swift: Test layout change.	2023-01-06 16:52:54 +00:00
Nora Dimitrijević	f3ebb6e03b	Swift: MethodLookupExpr.getMethodRef() [codegen'd] ... This refactors SelfApplyExpr.getFunction() as MethodLookupExpr().getMethodRef(). This is simpler, because we are not hiding DeclRefExprs or reinventing hidden AST resolution.	2022-12-20 23:09:02 -05:00
Nora Dimitrijević	ea6c69dd34	Swift: fix test with different linux/macos results ... `methodlookup.swift` has one more call to `Builtin.zeroInitializer()` in macOS than it does in Linux.	2022-12-15 11:48:43 -05:00
Nora Dimitrijević	7ea0eada11	Swift: add missing Builtin symbols	2022-12-14 20:03:41 -05:00
Nora Dimitrijević	95d4c304da	Swift: Fix .expected tests ... Only UnsafeJsEval remains.	2022-12-14 15:02:15 -05:00
Nora Dimitrijević	16a119248d	Swift: remove toString() = "call to call to ..."	2022-12-14 14:28:00 -05:00
Nora Dimitrijević	6a0b020573	Swift: move methodlookup test to library-tests	2022-12-14 14:28:00 -05:00
Nora Dimitrijević	15d5674d12	Swift: update .expected files based on last commit	2022-12-14 14:28:00 -05:00
Paolo Tranquilli	7645d4d928	Swift: remove ModuleDecl from PrintAst test	2022-12-08 17:31:48 +01:00
Mathias Vorreiter Pedersen	05d89b29e2	Merge branch 'main' into skip-lvalue-types	2022-12-07 17:50:23 +00:00
Mathias Vorreiter Pedersen	a07c9ffbc5	Swift: Accept test changes.	2022-12-05 14:19:00 +00:00
Geoffrey White	64fb98e46f	Swift: Rewrite bits to try and get rid of red highlighting.	2022-12-05 13:41:21 +00:00
Geoffrey White	17244734d0	Swift: Results repaired by merge.	2022-12-05 13:36:14 +00:00
Geoffrey White	07c790a430	Merge branch 'main' into alamofire3	2022-12-05 13:29:26 +00:00