Michael B. Gale
|
e48fc66782
|
Swift: Add identify-environment script
|
2023-05-26 10:13:39 +01:00 |
|
Geoffrey White
|
736f2871f9
|
Swift: Tweak private info regexps to restore 'account_no' results.
|
2023-05-26 08:43:32 +01:00 |
|
Paolo Tranquilli
|
5a2433244e
|
Swift: remove now passing PrintAstConsistency check
|
2023-05-26 08:58:49 +02:00 |
|
Paolo Tranquilli
|
b0882a9e5f
|
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
|
2023-05-26 08:40:16 +02:00 |
|
Paolo Tranquilli
|
192c0d5e83
|
Swift: simplify change note
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-05-26 08:20:58 +02:00 |
|
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 |
|