84 Commits

Author	SHA1	Message	Date
Michael Nebel	9ecacddf79	Swift: Update all test util paths to point to the new location.	2024-12-12 13:54:40 +01:00
Jeroen Ketema	67052bf9e5	Swift: Update expected test results	2024-12-03 19:18:48 +01:00
Geoffrey White	3f26250967	Swift: Remove the sources instead (more general solution).	2024-08-01 16:14:30 +01:00
Alex Denisov	0e73531aa9	Swift: upgrade to 5.9.2	2024-01-09 09:23:32 +01:00
Geoffrey White	31af8b9024	Swift: Test SwiftUI flow sources.	2024-01-04 09:28:10 +00:00
Geoffrey White	1908575386	Swift: Add more test cases for launchOptions as a source.	2023-12-15 18:11:28 +00:00
Geoffrey White	5723a75f3c	Swift: Add heuristic model for init(contentsOfFile) and similar.	2023-11-22 15:24:19 +00:00
Geoffrey White	94cb09e539	Swift: Add test cases.	2023-11-22 11:39:27 +00:00
Geoffrey White	838a00bbc9	Swift: Add a webview test case from a branch that didn't make it.	2023-11-06 09:44:53 +00:00
Geoffrey White	1929dead39	Merge branch 'main' into implicitflow	2023-10-27 23:35:54 +01:00
Mathias Vorreiter Pedersen	310ebe47b3	Swift: Clean up test file.	2023-10-24 15:27:59 +01:00
Geoffrey White	0e1da37379	Revert "Swift: Hide OpenExistentialExpr from the AST instead." ... This reverts commit 9ad1749957.	2023-10-16 10:49:39 +01:00
Geoffrey White	9ad1749957	Swift: Hide OpenExistentialExpr from the AST instead.	2023-10-06 17:55:29 +01:00
Geoffrey White	93c39c5fdd	Swift: Add data flow through OpenExistentialExpr.	2023-08-31 15:50:32 +01:00
Geoffrey White	b8d29e8fc1	Swift: Add a more realistic test case as well.	2023-08-31 15:46:47 +01:00
Mathias Vorreiter Pedersen	fec9626fe7	Merge pull request #13836 from github/alexdenisov/unresolved-dot-exprs ... Swift: 'ParsedSequence' lacks proper types and yields 'Unresolved' AST nodes	2023-08-15 09:14:39 +01:00
Geoffrey White	09346c76e7	Swift: Add models.	2023-08-09 09:25:43 +01:00
Geoffrey White	cb6aed18f3	Swift: Add tests.	2023-08-08 22:29:53 +01:00
Alex Denisov	cebaca328e	Swift: 'ParsedSequence' lacks proper types and yields 'Unresolved' AST nodes	2023-08-08 14:41:15 +02:00
Geoffrey White	12f2539d1d	Swift: Use flowTo.	2023-07-31 10:03:25 +01:00
Geoffrey White	3eb1bac9df	Swift: Update consistency test failure (line numbers).	2023-07-27 16:11:59 +01:00
Geoffrey White	44d785fabf	Swift: Make QL-for-QL happy.	2023-07-27 15:37:13 +01:00
Geoffrey White	374c157afe	Swift: Update the taint aspect of the flowsources test to use sinks like the regular taint test.	2023-07-24 19:17:51 +01:00
Geoffrey White	05cb429635	Swift: Add CfgConsistency.expected.	2023-07-17 15:59:18 +01:00
Geoffrey White	eca2c21af5	Swift: Model referrerURL.	2023-07-17 15:42:51 +01:00
Geoffrey White	bc4724b1fb	Swift: Test the customurlschemes fields that inherit taint.	2023-07-17 15:39:02 +01:00
Paolo Tranquilli	51f1a5dcc8	Swift: remove getOpaqueExpr from OpenExistentialExpr's children	2023-05-25 13:05:21 +02:00
Paolo Tranquilli	63fb0581c2	Swift: accept inconsistencies for now	2023-05-24 20:09:46 +02:00
Jeroen Ketema	3a3d9bc505	Swift: Rewrite inline expectation tests to use the parameterized module	2023-05-24 11:38:22 +02:00
Geoffrey White	33a6e722f6	Swift: Add a test for UISearchTextField.	2023-04-25 23:31:20 +01:00
Geoffrey White	e16277ef43	Swift: Add source model for UITextField.	2023-04-25 23:14:24 +01:00
Geoffrey White	22507c1566	Swift: Add a test for UITextField.	2023-04-25 22:47:48 +01:00
Geoffrey White	b6db0de437	Swift: Add inline expectation results.	2023-03-01 09:26:30 +00:00
Geoffrey White	36a33bc718	Swift: Delete file that was resurrected by the merge.	2023-02-27 17:33:21 +00:00
Geoffrey White	296093ded6	Merge branch 'main' into nsstring	2023-02-27 17:26:57 +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
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
Geoffrey White	99caafb9b9	Swift: Model NSString.	2023-02-15 18:37:51 +00:00
Geoffrey White	2882286c3f	Swift: Test taint sources for NSString.	2023-02-15 11:42:42 +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	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