Geoffrey White
0e443da710
Swift: Remove id() categorization due to accuracy, and repair the old bank.?account case.
2023-05-25 21:51:27 +01:00
Mathias Vorreiter Pedersen
7361ad977a
Merge pull request #13291 from geoffw0/correction
...
Swift: Promote some Data models to DataProtocol
2023-05-25 11:28:42 -07:00
Geoffrey White
3f3a5d39e5
Swift: Fix the SQL injection test.
2023-05-25 17:13:51 +01:00
Geoffrey White
85a1ab0264
Swift: Undo autocorrect.
2023-05-25 16:10:31 +01:00
Geoffrey White
98e5f0fc4f
Swift: Add change note.
2023-05-25 16:04:18 +01:00
Geoffrey White
51321a218b
Swift: Correct models in Data.qll.
2023-05-25 15:55:45 +01:00
Geoffrey White
5dfb07ce37
Swift: Test DataProtocol.
2023-05-25 15:51:21 +01:00
Geoffrey White
791ba81403
Swift: Add change note.
2023-05-25 13:27:23 +01:00
Paolo Tranquilli
5e66885a8e
Swift: add change note
2023-05-25 14:00:04 +02:00
Paolo Tranquilli
51f1a5dcc8
Swift: remove getOpaqueExpr from OpenExistentialExpr's children
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
7b76aa34bd
Swift: fix CFG inconsistency on TapExpr
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
b26b0a6e43
Swift: remove property wrapper CFG inconsistencies
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
7878bc3cc1
Swift: remove property wrapper AST inconsistencies
2023-05-25 12:15:22 +02:00
Paolo Tranquilli
ac31209233
Swift: add change notes to consistency queries
2023-05-25 10:56:25 +02:00
Paolo Tranquilli
8d656a996b
Swift: add QLdoc to AST consistency checks
2023-05-25 09:56:39 +02:00
Paolo Tranquilli
63fb0581c2
Swift: accept inconsistencies for now
2023-05-24 20:09:46 +02:00
Geoffrey White
d8cc8bd520
Swift: Fix indentation.
2023-05-24 18:43:48 +01:00
Geoffrey White
6d2800c117
Swift: Add change note.
2023-05-24 18:32:04 +01:00
Paolo Tranquilli
67a9141e8c
Swift: make AST printer consistency query more helpful
2023-05-24 18:10:08 +02:00
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
