Anders Schack-Mulligen
71ae0909d8
Dataflow: Enforce type pruning in all forward stages.
2023-04-27 14:55:26 +02:00
Anders Schack-Mulligen
9140cbefc0
Dataflow: Sync.
2023-04-27 14:55:23 +02:00
Geoffrey White
08854136fe
Swift: QLDoc consistency.
2023-04-27 13:55:09 +01:00
Anders Schack-Mulligen
246d904712
Merge pull request #12948 from aschackmull/dataflow/pathnode-type-tostring
...
Dataflow: Add type to PathNode.toString.
2023-04-27 14:14:10 +02:00
Geoffrey White
5a77dfb5d5
Merge pull request #12905 from geoffw0/webviewdoc
...
Swift: Doc review for swift/unsafe-webview-fetch
2023-04-27 11:23:53 +01:00
Geoffrey White
507bb61c3c
Swift: Add missing '.'
2023-04-27 11:00:35 +01:00
Geoffrey White
c823c58e00
Swift: WebView -> web view.
2023-04-27 10:57:25 +01:00
Geoffrey White
cc8d7bff0b
Update swift/ql/src/queries/Security/CWE-079/UnsafeWebViewFetch.qhelp
...
Co-authored-by: mc <42146119+mchammer01@users.noreply.github.com >
2023-04-27 10:12:13 +01:00
Nora Dimitrijević
6f804ff1e7
Swift: upgrade/downgrade scripts
2023-04-26 17:03:20 +02:00
Mathias Vorreiter Pedersen
d114388470
Swift: Implement 'isAbnormalExitType' and accept test changes.
2023-04-26 15:36:52 +01:00
Nora Dimitrijević
16fc42a53f
Swift: fix formatting
2023-04-26 16:01:57 +02:00
Nora Dimitrijević
91a151ec2a
Swift: update tests
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
3d67970357
Swift: query library renamings
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
4c0384b4f1
Swift: control flow and dataflow library renamings
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
82eb0026e6
Swift: AST library renamings
2023-04-26 15:47:20 +02:00
Nora Dimitrijević
2d9295a5a4
Swift: [generated] library code changes
2023-04-26 15:47:20 +02:00
Mathias Vorreiter Pedersen
6dc6e13caa
Swift: Hide 'DynamicSelfType' from the main AST.
2023-04-26 13:58:54 +01:00
Mathias Vorreiter Pedersen
11aff55a97
Swift: Add default implicit read steps when selecting PostUpdateNodes as sinks.
2023-04-26 13:58:48 +01:00
Mathias Vorreiter Pedersen
e6c8428875
Swift: Add syntax for selecting PostUpdateNodes in CSV rows.
2023-04-26 13:58:42 +01:00
Anders Schack-Mulligen
d681671356
Dataflow: Sync.
2023-04-26 14:45:07 +02:00
Anders Schack-Mulligen
74242638e2
Swift: One more expected output fix.
2023-04-26 14:10:13 +02:00
Anders Schack-Mulligen
9fe5462b1b
Swift: Update more expected output.
2023-04-26 13:41:50 +02:00
Anders Schack-Mulligen
6b049cb37a
Swift: Update expected output.
2023-04-26 13:15:39 +02:00
Anders Schack-Mulligen
3d01763092
Swift: Remove empty string DataFlowType in PathNode.
2023-04-26 13:10:01 +02:00
Paolo Tranquilli
9d80a43d6a
Merge pull request #12500 from github/redsun82/swift-dispatcher-rework
...
Swift: rework fetching and dispatching
2023-04-26 09:58:19 +02:00
Geoffrey White
33a6e722f6
Swift: Add a test for UISearchTextField.
2023-04-25 23:31:20 +01:00
Geoffrey White
e16277ef43
Swift: Add source model for UITextField.
2023-04-25 23:14:24 +01:00
Geoffrey White
22507c1566
Swift: Add a test for UITextField.
2023-04-25 22:47:48 +01:00
Geoffrey White
84ddfe9c3f
Merge pull request #12919 from geoffw0/precision2
...
Swift: Upgrade two queries to precision high.
2023-04-25 14:04:52 +01:00
Alex Denisov
125aab8107
Swift: rework fetching and dispatching
...
* visiting now happens in a later stage than fetching labels. While
fetching a list of entities to be visited is created, and then acted
upon in actual extraction. This partially flattens the recursive
nature of `fetchLabel` into a loop inside `SwiftVisitor::extract`.
Recursion in `fetchLabel` will only happen on labels fetched while
naming an entity (calling into `SwiftMangler`).
* The choice whether to name a declaration or type has been moved from
the translators to `SwiftMangler`. Acting on this choice is contained
in `SwiftDispatcher::createLabel`.
* The choice whether to emit a body of a declaration has been moved from
`DeclTranslator` to the dispatcher. This choice is also contained in
`SwiftDispatcher::createLabel`.
* The simple functionality of the `LabelStore` has been moved to the
`SwiftDispatcher` as well.
2023-04-25 11:15:27 +02:00
Geoffrey White
0ebb06e185
Merge branch 'main' into flowsources
2023-04-25 10:08:15 +01:00
Geoffrey White
2c28fae7e3
Merge pull request #12836 from geoffw0/precision
...
Swift: Downgrade swift/unsafe-js-eval to precision medium.
2023-04-25 09:58:11 +01:00
Geoffrey White
b0b2d6e05f
Swift: Upgrade two queries to @precision high.
2023-04-25 09:42:49 +01:00
Michael Nebel
8ade7247a1
Merge pull request #12885 from michaelnebel/mergepathgraph3
...
Dataflow: Introduce param module for merging three path graphs.
2023-04-24 12:49:28 +02:00
Geoffrey White
1f126b60ff
Swift: Touch UnsafeWebViewFetch.qhelp.
2023-04-24 09:35:32 +01:00
Geoffrey White
bfbd45a220
Swift: Fix CSV field sinks.
2023-04-20 18:14:34 +01:00
Geoffrey White
d317ad80e5
Swift: Convert to CSV sinks.
2023-04-20 17:53:00 +01:00
Nora Dimitrijević
1f861fda25
Merge pull request #12736 from d10c/swift/capture-flow
...
Swift: Closure Capture Helper APIs
2023-04-20 18:45:56 +02:00
Geoffrey White
380bf21a38
Swift: Update InsecureTLSExtensions.ql sinks to not depend on AssignExpr.
2023-04-20 17:15:48 +01:00
Geoffrey White
c1a95d57bb
Swift: Add some test cases.
2023-04-20 17:15:47 +01:00
Michael Nebel
656d8d2451
Sync files.
2023-04-20 11:29:51 +02:00
Geoffrey White
7285704807
Merge pull request #12876 from geoffw0/extensiondecl
...
Swift: Improve ExtensionDecl.toString
2023-04-19 16:41:48 +01:00
Geoffrey White
e895cac569
Merge pull request #12877 from geoffw0/deprecated
...
Swift: Delete deprecated classes
2023-04-19 16:41:25 +01:00
Geoffrey White
3779d8423f
Swift: Autoformat.
2023-04-19 14:57:17 +01:00
Geoffrey White
4484574301
Swift: Rename clashing CleartextStorage modules.
2023-04-19 14:29:25 +01:00
Geoffrey White
10c222e7e2
Swift: Remove deprecated classes from queries.
2023-04-19 14:26:03 +01:00
Geoffrey White
a3c66b6032
Merge pull request #12833 from geoffw0/addmodels
...
Swift: Add some sink models
2023-04-19 14:18:29 +01:00
Geoffrey White
49dccaa89d
Swift: Fix other tests.
2023-04-19 14:16:24 +01:00
Geoffrey White
e9ffefaa96
Swift: Improve ExtensionDecl.toString.
2023-04-19 13:38:04 +01:00
Geoffrey White
c092851c28
Swift: Add a test for ExtensionDecls.
2023-04-19 11:50:49 +01:00