Paolo Tranquilli
b9fe056d81
Swift: add qlpack.yml to consistency-queries
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
85fdcd9912
Swift: move consistency queries
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
e513af1bcf
Swift: add CFG and PrintAst consistency queries, enabling them in CI
2023-05-24 18:10:08 +02:00
Jeroen Ketema
3a3d9bc505
Swift: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:38:22 +02:00
Paolo Tranquilli
2fb6cdc19b
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
2023-05-24 11:16:59 +02:00
Geoffrey White
2c5202018d
Swift: Add sinks.
2023-05-23 18:11:33 +01:00
Geoffrey White
8573b30239
Swift: Add test cases.
2023-05-23 17:29:51 +01:00
Paolo Tranquilli
09ce29b79f
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-hidden-ast
2023-05-23 16:12:54 +02:00
Paolo Tranquilli
a14f7dd153
Merge pull request #13238 from github/redsun82/swift-remove-props-from-interpolated-strings
...
Swift: remove unneeded properties from `InterpolatedStringLiteralExpr`
2023-05-23 15:57:31 +02:00
Paolo Tranquilli
fce33d369b
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-hidden-ast
2023-05-23 15:31:29 +02:00
Paolo Tranquilli
86eecea5f6
Merge branch 'codeql-cli-2.13.3' into cleartextlogging
2023-05-23 14:44:36 +02:00
Paolo Tranquilli
aca85d76ee
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-remove-props-from-interpolated-strings
2023-05-23 14:42:00 +02:00
Paolo Tranquilli
b4edc92079
Swift: make hideability spread upward in the hierarchy
2023-05-23 12:45:18 +02:00
Paolo Tranquilli
b19194bd06
Swift: make only Expr, Pattern and Type hideable
2023-05-23 12:45:18 +02:00
Paolo Tranquilli
a087fef335
Swift: implement @ql.hideable
2023-05-23 12:45:18 +02:00
Paolo Tranquilli
c9c1f08de7
Swift: mark downgrade as backwards compatible
2023-05-23 08:36:49 +02:00
Geoffrey White
3bcaff6059
Swift: re-run codegen.
2023-05-22 16:37:03 +01:00
Geoffrey White
830686218f
Merge branch 'main' into hideenumcasedecl
2023-05-22 16:35:28 +01:00
Paolo Tranquilli
9a0f87434e
Swift: remove unneeded properties from InterpolatedStringLiteralExpr
...
These properties were unused in the QL library (hence the full
upgrade/downgrade compatibility).
2023-05-22 15:28:54 +02:00
Paolo Tranquilli
20893bdef5
Swift: accept test changes after hidden AST fix
2023-05-22 10:14:29 +02:00
Paolo Tranquilli
de03bdc235
Swift: fix hidden AST getters
...
For consistency with the C/C++ QL library, getters of AST elements
within the hidden AST should not themselves skip other hidden AST
elements.
2023-05-22 09:57:48 +02:00
Geoffrey White
b6122d01fc
Swift: Clean up the query somewhat.
2023-05-19 22:40:53 +01:00
Geoffrey White
2028b5ef95
Swift: Fix imprecise sinks.
2023-05-19 22:23:26 +01:00
Geoffrey White
19080333b9
Swift: Add a few test cases.
2023-05-19 22:18:34 +01:00
Mathias Vorreiter Pedersen
58f4b7696d
Merge pull request #13223 from geoffw0/useasnominaltypedecl
...
Swift: Use asNominalTypeDecl more.
2023-05-19 16:53:28 +01:00
Geoffrey White
881134a6f5
Swift: Add warning note to Decl.getMember.
2023-05-19 16:12:09 +01:00
Alexandre Boulgakov
b3e76d6052
Swift: Drop support for plaintext diagnostics (and helpLinks).
...
The recommended option is Markdown diagnostics, and we have already migrated everything to emit them. The empty help link we're currently emitting everywhere is a bug.
2023-05-19 15:16:02 +01:00
Geoffrey White
5ffde7a762
Update swift/ql/lib/codeql/swift/elements/decl/EnumDecl.qll
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-05-19 14:55:39 +01:00
Alexandre Boulgakov
110b766770
Swift: Add a . to a test message to match the logging API change in this PR.
2023-05-19 14:46:12 +01:00
Alexandre Boulgakov
1e9b849e93
Merge branch 'main' into redsun82/swift-diagnostics-wording
2023-05-19 14:43:01 +01:00
Alexandre Boulgakov
8f7279ee05
Swift: TSP message wording changes.
2023-05-19 14:39:57 +01:00
Alexandre Boulgakov
5bb2eb4155
Swift: TSP message wording changes.
...
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com >
2023-05-19 14:37:18 +01:00
Alexandre Boulgakov
137b4a99ef
Swift: TSP message wording changes.
...
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com >
2023-05-19 14:36:24 +01:00
Alexandre Boulgakov
ddcac20a94
Swift: TSP message wording changes.
...
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com >
2023-05-19 14:36:14 +01:00
Alexandre Boulgakov
8a15af5614
Swift: TSP message wording changes.
...
Co-authored-by: Isaac Brown <101839405+isaacmbrown@users.noreply.github.com >
2023-05-19 14:36:04 +01:00
Geoffrey White
68bdd51dd3
Swift: Add QLDoc encouraging this pattern.
2023-05-19 14:35:08 +01:00
Geoffrey White
0d8aa825d9
Swift: Use asNominalType() more widely to include things declared in extensions.
2023-05-19 14:19:32 +01:00
Geoffrey White
ccbd041875
Swift: Use asNominalTypeDecl() to simplify models.
2023-05-19 14:04:49 +01:00
Mathias Vorreiter Pedersen
2206216dbb
Merge pull request #13221 from geoffw0/filepath
...
Swift: Taint model for FilePath
2023-05-19 14:01:22 +01:00
Geoffrey White
c8dfc87dae
Swift: getName -> getFullName.
2023-05-19 12:18:17 +01:00
Geoffrey White
13755ad5f5
Swift: Remove placeholder lines I had left in.
2023-05-19 11:42:00 +01:00
Geoffrey White
6dfad79972
Swift: Model FilePath.
2023-05-18 18:56:08 +01:00
Geoffrey White
371bcc55fa
Swift: Consolidate and extend tests of taint flow through FilePath.
2023-05-18 18:01:38 +01:00
Alexandre Boulgakov
fa52c32564
Merge pull request #13170 from github/sashabu/internal-error-tsp
...
Swift: Emit diagnostics on assertion/expectation violations.
2023-05-18 17:19:43 +01:00
Geoffrey White
d26a86185f
Swift: Codegen.
2023-05-18 09:43:13 +01:00
Geoffrey White
f0ce5b09c6
Swift: Address QL-for-QL warning.
2023-05-18 09:43:07 +01:00
Geoffrey White
3539e55bb2
Swift: Autoformat.
2023-05-17 19:21:41 +01:00
Geoffrey White
6c35bbf5c2
Swift: Simplify / focus the test.
2023-05-17 19:15:27 +01:00
Geoffrey White
95caaecd71
Swift: Add EnumDecl.getEnumElement(_).
2023-05-17 19:05:27 +01:00
Geoffrey White
66b13e2294
Swift: Add a test of enum decls.
2023-05-17 19:01:57 +01:00
