849 Commits

Author	SHA1	Message	Date
Alex Denisov	e865c3cbd3	Swift: extract parameter packs	2023-11-10 10:20:14 +01:00
Alex Denisov	12f9e3a1dd	Swlft: fix CFG for SingleValueStmtExpr	2023-11-07 18:12:39 +01:00
Alex Denisov	33de177fea	Swift: extract SingleValueStmtExpr	2023-11-07 13:40:35 +01:00
Alex Denisov	bbde709b3f	Swift: upgrade to 5.9.1	2023-11-07 13:40:28 +01:00
Geoffrey White	3465c34cb6	Merge pull request #14680 from geoffw0/dataclosure ... Swift: Generalize flow through subscript writes / test and fix some closure methods of Data	2023-11-06 19:39:08 +00:00
Mathias Vorreiter Pedersen	84594e66bc	Merge pull request #14682 from geoffw0/filepathclosure ... Swift: Correct a couple of FilePath models.	2023-11-06 17:31:17 +00:00
Geoffrey White	426bdc0011	Swift: Add test cases. Before the changes, we don't catch the cases for return values from the closures.	2023-11-06 16:32:23 +00:00
Robert Marsh	49428c4585	Merge pull request #14683 from geoffw0/nsstringclosure ... Swift: Model NSString.enumerate*	2023-11-06 10:19:25 -05: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	e621d208e4	Merge branch 'main' into nsstringclosure	2023-11-03 20:54:53 +00:00
Geoffrey White	e90b630c9b	Merge branch 'main' into dataclosure	2023-11-03 20:50:20 +00:00
Geoffrey White	07eba4e3b1	Swift: Fix some failing tests, looks like this could be the result of some recently merged PRs interacting (positively!)	2023-11-03 17:08:05 +00:00
Geoffrey White	989a546796	Swift: Model the NSString.enumerate* methods.	2023-11-03 16:22:45 +00:00
Geoffrey White	d0ca7045d4	Swift: Fix some NSString models.	2023-11-03 16:07:34 +00:00
Geoffrey White	a59ed5bc49	Swift: Add test cases.	2023-11-03 15:45:45 +00:00
Geoffrey White	0d7943031c	Swift: Generalize subscript assignment storeStep.	2023-11-03 14:53:37 +00:00
Geoffrey White	e7e6529df6	Swift: Add tests.	2023-11-03 12:21:32 +00:00
Geoffrey White	49add7d8ce	Swift: Add stubs to test.	2023-11-03 12:07:15 +00:00
Robert Marsh	81d77bf37c	Merge pull request #14578 from geoffw0/stringwith ... Swift: Models for String methods involving closures.	2023-11-02 13:53:22 -04:00
Paolo Tranquilli	ea04b500a3	Swift: tweak dataflow test	2023-10-31 11:39:25 +01:00
Paolo Tranquilli	7bae2d9192	Swift: fix tests	2023-10-31 10:44:41 +01:00
Paolo Tranquilli	f81a3ec464	Swift: add VarDecl children to CaptureListExpr	2023-10-30 17:04:53 +01:00
Mathias Vorreiter Pedersen	9e2f0b5ed0	Merge branch 'main' into redsun82/swift-case-variables	2023-10-30 10:14:45 +00:00
Mathias Vorreiter Pedersen	c4521a30aa	Merge pull request #14113 from geoffw0/implicitflow ... Swift: Flow through OpenExistentialExpr	2023-10-30 10:08:29 +00:00
Mathias Vorreiter Pedersen	4e08ba6820	Merge pull request #14618 from geoffw0/qldoc ... Swift: QLDoc and test for getCanonicalType	2023-10-30 10:06:26 +00:00
Geoffrey White	1929dead39	Merge branch 'main' into implicitflow	2023-10-27 23:35:54 +01:00
Mathias Vorreiter Pedersen	28eb2caacb	Swift: Accept test changes.	2023-10-27 16:30:01 +01:00
Mathias Vorreiter Pedersen	6062fbb475	Merge pull request #14383 from geoffw0/nsstringregex ... Swift: Add regular expression evaluation models for StringProtocol and NSString methods	2023-10-27 15:49:23 +01:00
Geoffrey White	6ad5c9542b	Swift: Add getCanonicalType to the NominalType test as well.	2023-10-27 14:37:06 +01:00
Mathias Vorreiter Pedersen	4aed638066	Merge pull request #14577 from MathiasVP/capture-flow-swift ... Swift: Add variable-capture flow	2023-10-27 14:09:04 +01:00
Mathias Vorreiter Pedersen	68999f3cef	Swift: Fix test by including the 'allowParameterReturnInSelf' hook from the variable capture library.	2023-10-27 11:25:19 +01:00
Mathias Vorreiter Pedersen	9b150e4ea9	Swift: Add failing test.	2023-10-27 11:22:56 +01:00
Mathias Vorreiter Pedersen	65e13aa5ed	Swift: Add simple version of the 'captureList' test that works.	2023-10-27 10:27:35 +01:00
Mathias Vorreiter Pedersen	784bb72b33	Swift: Add some more tests.	2023-10-26 17:29:26 +01:00
Mathias Vorreiter Pedersen	96a37f3a3c	Swift: Simplify more tests.	2023-10-26 14:55:17 +01:00
Mathias Vorreiter Pedersen	2ad121a8a5	Swift: Simplify test.	2023-10-26 14:46:59 +01:00
Mathias Vorreiter Pedersen	2465cc20f0	Swift: Don't define 'ClosureSelfParameterNode' as the expression node of the closure.	2023-10-26 11:56:27 +01:00
Geoffrey White	82b92c38f9	Swift: Change method types to DataFlow::Node / go ahead with planned deprecations.	2023-10-25 17:11:21 +01:00
Geoffrey White	bf503849ea	Swift: Fixup line numbers after merge.	2023-10-25 11:09:13 +01:00
Geoffrey White	bf6e6a1e68	Merge branch 'main' into stringwith	2023-10-25 10:58:25 +01:00
Geoffrey White	8a5f3e4825	Swift: Fix an issue with RegexTracking.qll using PotentialRegexEval rather than RegexEval.	2023-10-24 22:49:19 +01:00
Geoffrey White	021ed88a0a	Swift: Add a test revealing unevaluated regexs.	2023-10-24 22:42:15 +01:00
Geoffrey White	42a2ec9891	Merge branch 'main' into substring	2023-10-24 17:03:00 +01:00
Geoffrey White	06b1cd939c	Merge pull request #14502 from geoffw0/xmlquery ... Swift: Model RawRepresentable	2023-10-24 16:25:15 +01:00
Geoffrey White	79f675cdb7	Swift: Fix a model.	2023-10-24 16:17:21 +01:00
Geoffrey White	a5206028b0	Swift: Expand a test to explore why it fails (lack of pointer models and closure capture flow).	2023-10-24 16:17:21 +01:00
Mathias Vorreiter Pedersen	56b49a4de3	Swift: Add a closure flow step from the right-hand side of variable declarations to the underlying pattern.	2023-10-24 15:28:28 +01:00
Mathias Vorreiter Pedersen	3d5098aaeb	Swift: Add failing test.	2023-10-24 15:28:25 +01:00
Mathias Vorreiter Pedersen	1c298e6001	Swift: Fix 'parameter' -> 'argument' flow into closures.	2023-10-24 15:28:01 +01:00
Mathias Vorreiter Pedersen	310ebe47b3	Swift: Clean up test file.	2023-10-24 15:27:59 +01:00