Paolo Tranquilli
f81a3ec464
Swift: add VarDecl children to CaptureListExpr
2023-10-30 17:04:53 +01:00
Geoffrey White
8f115bfd06
Swift: Implement 'isUsedAsReplace'.
2023-10-30 14:33:42 +00:00
Geoffrey White
14db0dfcc7
Swift: Fairly minimal fix to get the query and test working for Swift.
2023-10-30 13:08:10 +00:00
github-actions[bot]
4641990021
Release preparation for version 2.15.2
2023-10-30 11:05:53 +00: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
Geoffrey White
8937e0b313
Swift: == -> =
2023-10-27 17:18:09 +01:00
Mathias Vorreiter Pedersen
6538a7645d
Swift: Add up and downgrade scripts.
2023-10-27 15:55:12 +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
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
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
93234c0b5c
Swift: Add model for 'withVaList' and accept test changes.
2023-10-27 10:21:12 +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
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
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
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
d2d70cc782
Swift: Change note.
2023-10-24 16:17:21 +01:00
Geoffrey White
79f675cdb7
Swift: Fix a model.
2023-10-24 16:17:21 +01:00
Mathias Vorreiter Pedersen
862de152a1
Swift: Add required qldoc.
2023-10-24 15:45:17 +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
1c298e6001
Swift: Fix 'parameter' -> 'argument' flow into closures.
2023-10-24 15:28:01 +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ć
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
Geoffrey White
d3063e849e
Swift: Model string closure methods.
2023-10-24 12:58:38 +01:00
Paolo Tranquilli
f22d60f011
Swift: clean up VarDecl, NamedPattern and SwitchStmt interactions
...
* `variables` under `CaseStmt` are now AST children, which solves
orphan `VarDecl`s in that case
* reordered `CaseStmt` AST children to be `labels > variables > body`
(was `body > labels`)
* made `NamedPattern::getVarDecl` an extracted property instead of
`getName`
* The above led to duplicate DB entities because of a quirk in the
Swift compiler code. This is solved by tweaking the extraction of
`variables` under `CaseStmt` to not use `getCaseBodyVariables`.
2023-10-23 17:36:42 +02:00
Paolo Tranquilli
c92519ed6b
Merge pull request #14538 from github/redsun82/add-unspecified-element-children
...
Swift: add children to `UnspecifiedElement`
2023-10-20 12:27:05 +02:00
Dave Bartolomeo
712f7758cf
Merge branch 'main' into post-release-prep/codeql-cli-2.15.1
2023-10-19 12:14:07 -04:00
Paolo Tranquilli
d55289bf68
Swift: add children to UnspecifiedElement
...
This will allow better downgrade scripts in the future.
2023-10-18 16:42:04 +02:00