AlexDenisov
|
f1786f4d6b
|
Apply suggestions from code review
Co-authored-by: Cornelius Riemenschneider <cornelius@github.com>
|
2022-06-20 07:29:10 +02:00 |
|
Geoffrey White
|
ca3d7220e7
|
Swift: placeholder query for string length conflation.
|
2022-06-17 21:32:52 +01:00 |
|
Paolo Tranquilli
|
be210aa3af
|
Merge alexdenisov/xref-decls into redsun82/swift-use-generated-classes
|
2022-06-17 17:03:30 +02:00 |
|
Alex Denisov
|
97c38d9d2d
|
Swift: extend tracer config to handle -resource-dir and drop unsupported CLI args
|
2022-06-17 14:19:12 +02:00 |
|
Anders Schack-Mulligen
|
6518a01ded
|
Dataflow: Sync.
|
2022-06-16 11:25:28 +02:00 |
|
Mathias Vorreiter Pedersen
|
cdf343c5ee
|
Merge pull request #9576 from erik-krogh/swift-fix
Swift: add empty implementation of `defaultImplicitTaintRead`
|
2022-06-16 09:51:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
2ed3f5cafe
|
Merge pull request #9560 from MathiasVP/swift-non-empty-query-directory
Swift: Add a placeholder query
|
2022-06-16 09:29:25 +01:00 |
|
Erik Krogh Kristensen
|
c5e412db01
|
add empty implementation of defaultImplicitTaintRead
|
2022-06-16 10:17:59 +02:00 |
|
Robert Marsh
|
478c2773fe
|
Merge pull request #9555 from MathiasVP/swift-mad
Swift: Add MaD skeleton
|
2022-06-15 11:58:04 -04:00 |
|
Paolo Tranquilli
|
0957801588
|
Merge pull request #9521 from github/redsun82/swift-qltestgen
Swift: generated extractor tests
|
2022-06-15 15:39:35 +02:00 |
|
Paolo Tranquilli
|
78deff68a3
|
Swift: add generated enum tests
|
2022-06-15 14:50:33 +02:00 |
|
Alex Denisov
|
08ad95b769
|
Swift: switch to references instead of pointers
|
2022-06-15 14:19:31 +02:00 |
|
AlexDenisov
|
343ba5ffa8
|
Update swift/extractor/SwiftDispatcher.h
Co-authored-by: Paolo Tranquilli <redsun82@github.com>
|
2022-06-15 14:13:50 +02:00 |
|
Mathias Vorreiter Pedersen
|
eff046e2f7
|
Swift: Respond to review comments.
|
2022-06-15 13:01:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
55d551c99c
|
Swift: Add 'MaD' skeleton.
|
2022-06-15 13:00:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
d3b45729fa
|
Swift: Add a placeholder query to the 'queries' directory.
|
2022-06-15 09:34:05 +01:00 |
|
Paolo Tranquilli
|
4a3a10bb6e
|
Swift: fix ignored codegen unit test
|
2022-06-15 09:36:55 +02:00 |
|
Paolo Tranquilli
|
8c60aee16d
|
Swift: fix GetImmediateParent.qll
|
2022-06-15 09:33:39 +02:00 |
|
Paolo Tranquilli
|
fec15fb60a
|
Merge main into redsun82/swift-qltestgen
|
2022-06-15 09:32:39 +02:00 |
|
Alex Denisov
|
1c9a684ac6
|
Swift: Introduce SwiftExtractionMode
|
2022-06-15 09:25:01 +02:00 |
|
Paolo Tranquilli
|
5a2d4faf11
|
Swift: remove unneeded import list sorting
|
2022-06-15 09:19:58 +02:00 |
|
Mathias Vorreiter Pedersen
|
2fdb3d638b
|
Merge branch 'main' into closure-expr-as-cfg-callable
|
2022-06-15 08:16:56 +01:00 |
|
Paolo Tranquilli
|
86ebb0bb68
|
Swift: fix qltest skipping and skip isUnknown
Also remove obsolete accessor and function hand-written tests.
|
2022-06-15 09:16:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
b0c66dda3a
|
Merge pull request #9556 from MathiasVP/swift-extract-closure-params
Swift: Extract closure parameters
|
2022-06-15 08:07:08 +01:00 |
|
Alex Denisov
|
6d67ea267c
|
Swift: add cross-referencing test
|
2022-06-15 08:44:38 +02:00 |
|
Mathias Vorreiter Pedersen
|
ef224b9c1d
|
Swift: Mark non-auto closures as callables in the CFG library.
|
2022-06-14 21:05:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
6c96f71d0c
|
Swift: Autogenerate and accept test changes.
|
2022-06-14 20:39:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4595a9cf0b
|
Swift: Extract parameters to closure expressions.
|
2022-06-14 20:38:57 +01:00 |
|
Paolo Tranquilli
|
de52f9be7b
|
Swift: generated extractor tests
|
2022-06-14 18:01:29 +02:00 |
|
Paolo Tranquilli
|
b6342ba2a0
|
Swift: limit Cfg.ql to test source locations
|
2022-06-14 14:15:48 +02:00 |
|
Alex Denisov
|
26d3c4a7fc
|
Swift: extract system and builtin modules separately
|
2022-06-14 14:15:48 +02:00 |
|
Alex Denisov
|
311dcfa230
|
Swift: remove toString from UnknownElement
Another attempt to remove flakiness
|
2022-06-14 13:37:17 +02:00 |
|
Alex Denisov
|
9681358a6d
|
Swift: extract OtherConstructorDeclRefExpr
|
2022-06-14 12:53:25 +02:00 |
|
Alex Denisov
|
e677b78ab9
|
Swift: attach NominalTypeDecl to the ExtensionDecl
|
2022-06-14 12:09:26 +02:00 |
|
Alex Denisov
|
cf0fc5829f
|
Swift: extract extension declarations
|
2022-06-14 08:22:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
6c8982b46e
|
Merge pull request #9469 from rdmarsh2/rdmarsh2/swift/dataflow-inout
Swift: Dataflow through inout parameters
|
2022-06-13 18:11:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
20d9aaf055
|
Merge pull request #9516 from MathiasVP/revert-9419-revert-9373-cfg-for-key-paths
Swift: Reintroduce control-flow for key paths
|
2022-06-13 17:34:12 +01:00 |
|
Robert Marsh
|
d7f839a147
|
Swift: use ExitNode as CFG for InoutReturnNode
|
2022-06-13 15:50:30 +00:00 |
|
Robert Marsh
|
9f2abf3d47
|
Swift: more inout dataflow tests
|
2022-06-13 15:39:17 +00:00 |
|
Robert Marsh
|
84518c8d54
|
Merge pull request #9404 from MathiasVP/swift-get-enclosing-function
Swift: Add `getEnclosingFunction` to `AstNode`
|
2022-06-13 09:37:51 -04:00 |
|
Mathias Vorreiter Pedersen
|
89bda047ff
|
Swift: Accept test changes.
|
2022-06-13 10:14:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
7e5235b4d5
|
Revert "Merge pull request #9419 from github/revert-9373-cfg-for-key-paths"
This reverts commit 2187bf5dde, reversing
changes made to 8b1605a617.
|
2022-06-13 10:12:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
ae288332cc
|
Merge pull request #9511 from MathiasVP/fix-completion-for-patterns
Swift: Fix completion for "naked" patterns
|
2022-06-13 10:56:07 +02:00 |
|
Mathias Vorreiter Pedersen
|
32ef535ad7
|
Merge pull request #9430 from github/redsun82/swift-unknown-location
Swift: add `UnknownLocation`
|
2022-06-13 10:55:53 +02:00 |
|
Paolo Tranquilli
|
28d2fd7a22
|
Merge pull request #9416 from github/redsun82/swift-codegen-docs
Swift: document and partially simplify codegen
|
2022-06-13 10:50:16 +02:00 |
|
Mathias Vorreiter Pedersen
|
9d7afab185
|
Swift: Fix completion for patterns that occur outside 'CaseLabelItems'. Previously we'd add an unnecessary 'no-match' completion to these patterns even though they were always matching. This caused some confusing output in the graph tests in particular.
|
2022-06-13 09:24:18 +01:00 |
|
Robert Marsh
|
97815bfa61
|
Swift: fix implicit this usage
|
2022-06-09 18:50:40 +00:00 |
|
Robert Marsh
|
755c56dafe
|
Swift: autoformat
|
2022-06-09 18:50:39 +00:00 |
|
Robert Marsh
|
fca1afa493
|
Swift: fix inout parameter conflation at return
|
2022-06-09 17:09:49 +00:00 |
|
Robert Marsh
|
8d4830cd23
|
Swift: make dataflow test a path-problem
|
2022-06-09 17:09:49 +00:00 |
|