2689 Commits

Author	SHA1	Message	Date
github-actions[bot]	4641990021	Release preparation for version 2.15.2	2023-10-30 11:05:53 +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
Geoffrey White	8937e0b313	Swift: == -> =	2023-10-27 17:18:09 +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	2a552d9721	Swift: Address QL-for-QL warning.	2023-10-27 14:56:19 +01:00
Geoffrey White	12201d2e8e	Swift: Codegen.	2023-10-27 14:37:06 +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	a5a7d27c4b	Swift: Add change note.	2023-10-27 11:16:32 +01:00
Mathias Vorreiter Pedersen	b41ec37993	Swift: Remove the code related to constructor capture (and the related TODO). This cannot happen in Swift.	2023-10-27 11:05:48 +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	93234c0b5c	Swift: Add model for 'withVaList' and accept test changes.	2023-10-27 10:21:12 +01:00
Mathias Vorreiter Pedersen	9e2dd09ddc	Swift: Accept test regression (caused by no model for 'withVaList').	2023-10-27 10:20:07 +01:00
Mathias Vorreiter Pedersen	63525a9d9e	Swift: Delete one TODO (it has been converted to an internal issue) and fix another.	2023-10-26 21:48:41 +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	2cfca032de	Swift: Fix use of deprecated predicate.	2023-10-25 17:32:55 +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	bfd150a1d3	Swift: Clarify comment.	2023-10-25 16:38:59 +01:00
Geoffrey White	ff15b73250	Swift: Update the change note.	2023-10-25 16:32:59 +01:00
Geoffrey White	4a08ca39d6	Swift: Replace PotentialRegexEval with a more specialized solution.	2023-10-25 16:26:46 +01:00
Mathias Vorreiter Pedersen	11194e574c	Swift: Get rid of the unnecessary parameter/argument position for the closure. Instead, we can just reuse the 'this' parameter and argument.	2023-10-25 15:46:10 +01:00
Geoffrey White	354983087e	Swift: this.(PotentialRegexEval) -> super. or this. .	2023-10-25 15:25:12 +01:00
Mathias Vorreiter Pedersen	951b6beeb1	Swift: Untangle the confusion between 'getParameter' and 'asParameter'.	2023-10-25 14:44:09 +01:00
Mathias Vorreiter Pedersen	78e08cf63c	Swift: Remove irrelevant TODO.	2023-10-25 13:55:07 +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
Mathias Vorreiter Pedersen	862de152a1	Swift: Add required qldoc.	2023-10-24 15:45:17 +01:00
Mathias Vorreiter Pedersen	6f37d7c374	Swift: Accept changes in paths.	2023-10-24 15:39:19 +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
Nora Dimitrijević	9dbf7e818d	Swift: align definition of InputSig slightly closer to Java version ... Though there is a regression in the tests, so more work is needed.	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	9de3cc703a	Swift: add CapturePostUpdateNode ... However, this doesn't change any of the test results.	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	5418d39a0d	Swift: add and accept a few new simple test cases	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	af49a3aa64	Swift: accept new results in old tests	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	8115774a7a	Swift: Add the capture flow step as part of the normal data flow relation ... TODO: see if we need to exclude duplicate SSA steps	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	4e1b44a059	Swift: port simpleAstFlowStep/hasAliasedAccess	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	21a369de13	Swift: Add closure content read-write steps	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	c04654d8f9	Swift: getImmediateBasicBlockDominator/2 should use immediatelyDominates/0.	2023-10-24 13:56:31 +01:00
Nora Dimitrijević	95a7d6559c	Swift: initial version of a swift port of most of the java code	2023-10-24 13:56:31 +01:00