4303 Commits

Author	SHA1	Message	Date
Geoffrey White	4f5d7e1b6f	Swift: Accept test changes.	2023-08-10 19:49:27 +01:00
Geoffrey White	936b1ced4d	Swift: Add one last test case (and address a .expected change elsewhere).	2023-08-10 19:39:39 +01:00
Robert Marsh	36bdadfc36	Merge pull request #13933 from geoffw0/madtuples ... Swift: Models-as-data support for tuple content	2023-08-10 14:17:45 -04:00
Geoffrey White	94a5aa450c	Swift: Edit the weak sensitive data hashing examples and qhelp to encourage use of HMAC and key derivation algorithms where appropriate.	2023-08-10 18:21:25 +01:00
Geoffrey White	376479325d	Swift: Model LosslessStringConvertible.	2023-08-10 09:27:05 +01:00
Geoffrey White	effe3762b8	Swift: More robust OptionalSomePattern flow.	2023-08-10 08:49:46 +01:00
Geoffrey White	aa2e79b6da	Swift: Model numeric conversions.	2023-08-10 00:19:50 +01:00
Geoffrey White	e86ccf8498	Swift: Test flow through various conversions.	2023-08-09 23:05:45 +01:00
github-actions[bot]	432c21d4fb	Post-release preparation for codeql-cli-2.14.2	2023-08-09 18:45:18 +00:00
Geoffrey White	c20a17e7b7	Swift: Update the consistency test .expecteted as well.	2023-08-09 15:47:28 +01:00
Geoffrey White	23f0dd5542	Swift: Support MAD tuple content flow.	2023-08-09 15:08:11 +01:00
Geoffrey White	b4b2338144	Swift: Test for MAD tuple content flow.	2023-08-09 14:41:32 +01:00
Geoffrey White	131b2b3e0c	Swift: Change note.	2023-08-09 09:25:43 +01:00
Geoffrey White	09346c76e7	Swift: Add models.	2023-08-09 09:25:43 +01:00
AlexDenisov	fa729faa0a	Revert "Swift: Route compiler diagnostics through our log."	2023-08-09 10:02:59 +02:00
Geoffrey White	cb6aed18f3	Swift: Add tests.	2023-08-08 22:29:53 +01:00
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