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
Alex Denisov
7e15386376
Swift: bump all versions to 0.1.0
2023-05-17 11:28:28 +02:00
Alexandre Boulgakov
060a48571a
Swift: Emit diagnostics on assertion/expectation violations.
2023-05-16 19:40:00 +01:00
Alexandre Boulgakov
7ada125299
Swift: Support fmtlib for assertions/expectations.
...
Specifically, this adds custom formatters using `path::operator string()` and `error_code::message()` and dereferences a (non-empty) optional. `fmtlib` provides formatters for these standard library types in `fmt/std.h`, but that file also requires RTTI (which we disable) for `std::exception` so we can't use it without either patching `fmtlib` (which they're open to: https://github.com/fmtlib/fmt/issues/3170 ) or enabling RTTI (which will require some consideration).
2023-05-16 18:33:28 +01:00
Mathias Vorreiter Pedersen
99545420d5
Merge pull request #13177 from MathiasVP/recommend-secure-randomness
...
Swift: Recommend a proper source of randomness in `swift/hardcoded-key`
2023-05-16 18:04:13 +01:00
Mathias Vorreiter Pedersen
9def3dd440
Update swift/ql/src/queries/Security/CWE-321/HardcodedEncryptionKey.swift
...
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com >
2023-05-16 17:42:34 +01:00
Geoffrey White
3bd16fa1d8
Merge pull request #13184 from geoffw0/docconsistency
...
Swift: Mirror changes made in the tutorial docs.
2023-05-16 17:42:03 +01:00