4437 Commits

Author	SHA1	Message	Date
Geoffrey White	2b0fcab182	Swift: Update test annotations following merge.	2023-08-08 16:06:52 +01:00
Geoffrey White	e9f0b535ea	Merge branch 'main' into forceunwrap	2023-08-08 16:03:31 +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	c95432457d	Swift: Correct a test case (but preserve the original as well since it's interesting).	2023-08-08 10:41:21 +01:00
Geoffrey White	6ccf47ece9	Swift: Accept test changes resulting from merge.	2023-08-08 10:28:29 +01:00
AlexDenisov	75dad4764f	Revert "Swift: Route compiler diagnostics through our log."	2023-08-08 11:25:13 +02:00
Geoffrey White	063ab1c13f	Merge branch 'main' into closuremodels	2023-08-08 09:40:27 +01:00
Geoffrey White	b2d3d465f0	Swift: Add more missing details to the URL model (along with a change from the SetContent PR, this fixes the test failures we were getting).	2023-08-07 20:15:50 +01:00
Geoffrey White	a73354d0b3	Swift: Accept test failures.	2023-08-07 20:14:07 +01:00
Geoffrey White	da34da7497	Merge branch 'main' into commandinject2	2023-08-07 19:37:05 +01:00
Geoffrey White	022a06659c	Merge pull request #13838 from rdmarsh2/rdmarsh2/swift/set-content ... Swift: add SetContent for data flow	2023-08-07 19:15:30 +01:00
github-actions[bot]	79c90fa36a	Release preparation for version 2.14.2	2023-08-07 18:08:52 +00:00
Robert Marsh	65fbcc570c	Swift: CFG test for for-try-await	2023-08-07 17:44:57 +00:00
Robert Marsh	07650af357	Swift: accept test for CollectionContent rename	2023-08-07 15:04:21 +00:00
Robert Marsh	146c50049c	Finish CollectionContent rename ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2023-08-07 10:26:40 -04:00
Jeroen Ketema	8b6a7985db	Refactor the traint-tracking library to follow the dataflow library refactoring	2023-08-07 15:23:15 +02:00
Jeroen Ketema	5d2984b7a5	Merge branch 'main' into shared-taint-tracking	2023-08-07 15:22:29 +02:00
Geoffrey White	4c8accd5ba	Swift: Add a few more test cases.	2023-08-07 14:06:38 +01:00
Geoffrey White	dc98dec5b6	Swift: Change note.	2023-08-07 13:16:00 +01:00
Geoffrey White	ab3f3d03c5	Swift: Model taint into optionals via ForceValueExpr.	2023-08-07 13:11:29 +01:00
Tom Hvitved	34864e1077	Swift: Adjust to data flow refactor	2023-08-07 11:35:23 +02:00
Jeroen Ketema	747cd1745a	Update all languages to use the shared taint-tracking library	2023-08-04 22:53:25 +02:00
Robert Marsh	3ebbb80a9e	Swift: Change note for CollectionContent	2023-08-04 20:19:35 +00:00
Robert Marsh	10bbf441dc	Swift: QLDoc for Set.qll	2023-08-04 20:17:56 +00:00
Robert Marsh	ccc3094267	Swift: autoformat	2023-08-04 20:17:08 +00:00
Geoffrey White	c7fb8de5f9	Swift: Test ForceValueExpr content reads.	2023-08-04 21:15:15 +01:00
Robert Marsh	6f38769a9b	Swift: rename SetContent to CollectionContent	2023-08-04 18:46:43 +00:00
Robert Marsh	024c5cfe2f	Swift: add MaD print support for EnumElement	2023-08-04 18:44:42 +00:00
Robert Marsh	0142309cab	Swift: add summary read steps in dataflow	2023-08-04 18:44:42 +00:00
Robert Marsh	b301092e34	Swift: model updates for Set	2023-08-04 18:44:42 +00:00
Robert Marsh	de0ec3e3f7	Swift: WIP SetContent for dataflow	2023-08-04 18:44:42 +00:00
Alexandre Boulgakov	761db70d8d	Revert "Swift: Pragmatic fix for CustomUrlSchemes.qll."	2023-08-04 18:03:00 +01:00
Mathias Vorreiter Pedersen	abe3a816ce	Merge pull request #13851 from MathiasVP/sink-without-states ... DataFlow: Support stateless `isSink` in `StateConfigSig`s	2023-08-04 18:01:42 +02:00
Geoffrey White	416b731870	Swift: Model NSUserScriptTask sinks.	2023-08-04 17:01:06 +01:00
Geoffrey White	71771890a5	Swift: Add a test with NSUserScriptTask.	2023-08-04 17:01:05 +01:00
Geoffrey White	348c45dff3	Swift: Use enum content in URL and NSURL models.	2023-08-04 17:01:05 +01:00
Geoffrey White	1c7d63a18f	Swift: Model sinks explicitly with models-as-data.	2023-08-04 17:01:05 +01:00
Geoffrey White	7b9b96d657	Swift: Unify the two sink models into one (needs further polish).	2023-08-04 17:01:04 +01:00
Geoffrey White	8c2140b28d	Swift: Add tests.	2023-08-04 17:01:04 +01:00
Geoffrey White	2664c306d3	Swift: Qhelp / examples.	2023-08-04 17:01:04 +01:00
Geoffrey White	048daa9a57	Swift: QLDoc comments and metadata.	2023-08-04 17:01:03 +01:00
Alexandre Boulgakov	97c688849d	Merge pull request #13869 from github/sashabu/swift-logging-compiler ... Swift: Route compiler diagnostics through our log.	2023-08-04 16:13:12 +01:00
Geoffrey White	af8d4e5ab2	Swift: Change note.	2023-08-04 09:42:53 +01:00
Geoffrey White	d24db3fcd3	Swift: Use .ArrayElement in the models, where appropriate.	2023-08-04 09:18:37 +01:00
Geoffrey White	b41d47b910	Swift: Array.withUnsafeBytes doesn't reliably match ContiguousBytes, so define models there as well.	2023-08-04 09:18:36 +01:00
Geoffrey White	c48d47484a	Swift: Fix mistake in the string taint test.	2023-08-04 09:18:36 +01:00
Geoffrey White	664dc01c48	Swift: Add closure function models.	2023-08-04 09:18:36 +01:00
Geoffrey White	49d1556c29	Swift: Model update(repeating:), to support the tests.	2023-08-04 09:18:36 +01:00
Geoffrey White	315cb32f6c	Swift: Remove special case from UnsafeJsEval query.	2023-08-04 09:18:35 +01:00
Geoffrey White	feadd7127b	Swift: Add tests with some different container types.	2023-08-04 09:18:35 +01:00