Geoffrey White
|
9601134ec0
|
Swift: Create library test cases for REDOS vulnerable regexs.
|
2023-06-14 18:23:04 +01:00 |
|
Geoffrey White
|
053bf9a668
|
Swift: Test the library.
|
2023-06-14 18:23:03 +01:00 |
|
Paolo Tranquilli
|
396b57696c
|
Swift: minimal 5.8 compatibility
|
2023-06-14 16:17:44 +02:00 |
|
Nora Dimitrijević
|
4a29087ce7
|
Swift: update Cfg test: VarDecls no longer in BraceStmt basic blocks
This is a consequence of VarDecls not being Elements of BraceStmts. =
|
2023-06-06 16:54:47 +02:00 |
|
Nora Dimitrijević
|
8ccbad601b
|
Swift: PrintAst test changes
|
2023-06-06 16:54:47 +02:00 |
|
Geoffrey White
|
c994b4b9dd
|
Swift: Create test cases for a regular expression library.
|
2023-06-05 23:55:01 +01:00 |
|
Arthur Baars
|
5981ce4cb1
|
Swift: accept test output from failed CFG consistency queries
|
2023-05-31 12:15:21 +02:00 |
|
Arthur Baars
|
490d22d123
|
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
|
2023-05-30 21:31:28 +02:00 |
|
Paolo Tranquilli
|
a6e21dac8f
|
Merge pull request #13284 from github/redsun82/swift-remove-property-wrapper-inconsistencies
Swift: remove some AST and CFG inconsistencies
|
2023-05-26 12:22:56 +02: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
|
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 |
|
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
|
63fb0581c2
|
Swift: accept inconsistencies for now
|
2023-05-24 20:09:46 +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
|
aca85d76ee
|
Merge branch 'codeql-cli-2.13.3' into redsun82/swift-remove-props-from-interpolated-strings
|
2023-05-23 14:42:00 +02: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
|
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
|
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 |
|
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 |
|
Geoffrey White
|
68501b0082
|
Merge branch 'main' into textsource
|
2023-05-11 09:14:38 +01:00 |
|
Geoffrey White
|
a698f3fcb9
|
Merge branch 'main' into modernsec3
|
2023-05-02 17:35:08 +01:00 |
|
Nora Dimitrijević
|
c81ea9d747
|
Merge branch 'main' into swift/rename-functions
|
2023-05-01 11:03:26 +02:00 |
|
Mathias Vorreiter Pedersen
|
d114388470
|
Swift: Implement 'isAbnormalExitType' and accept test changes.
|
2023-04-26 15:36:52 +01:00 |
|
Nora Dimitrijević
|
91a151ec2a
|
Swift: update tests
|
2023-04-26 15:47:20 +02:00 |
|
Mathias Vorreiter Pedersen
|
6dc6e13caa
|
Swift: Hide 'DynamicSelfType' from the main AST.
|
2023-04-26 13:58:54 +01:00 |
|
Anders Schack-Mulligen
|
74242638e2
|
Swift: One more expected output fix.
|
2023-04-26 14:10:13 +02:00 |
|
Anders Schack-Mulligen
|
6b049cb37a
|
Swift: Update expected output.
|
2023-04-26 13:15:39 +02:00 |
|
Geoffrey White
|
33a6e722f6
|
Swift: Add a test for UISearchTextField.
|
2023-04-25 23:31:20 +01:00 |
|
Geoffrey White
|
e16277ef43
|
Swift: Add source model for UITextField.
|
2023-04-25 23:14:24 +01:00 |
|
Geoffrey White
|
22507c1566
|
Swift: Add a test for UITextField.
|
2023-04-25 22:47:48 +01:00 |
|
Geoffrey White
|
7285704807
|
Merge pull request #12876 from geoffw0/extensiondecl
Swift: Improve ExtensionDecl.toString
|
2023-04-19 16:41:48 +01:00 |
|
Geoffrey White
|
49dccaa89d
|
Swift: Fix other tests.
|
2023-04-19 14:16:24 +01:00 |
|
Geoffrey White
|
e9ffefaa96
|
Swift: Improve ExtensionDecl.toString.
|
2023-04-19 13:38:04 +01:00 |
|
Geoffrey White
|
c092851c28
|
Swift: Add a test for ExtensionDecls.
|
2023-04-19 11:50:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
231b0fcab2
|
Swift: Add more tests.
|
2023-04-18 12:01:08 +01:00 |
|
Mathias Vorreiter Pedersen
|
68cdc3b48e
|
Swift: Accept test changes.
|
2023-04-13 13:13:15 +01:00 |
|
Mathias Vorreiter Pedersen
|
859b3051b7
|
Swift: Add consistency queries to CFG tests.
|
2023-04-13 13:12:02 +01:00 |
|
Mathias Vorreiter Pedersen
|
184cb74cd0
|
Swift: Accept test changes.
|
2023-04-12 17:38:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
21b03927c5
|
Swift: Add failing tests.
|
2023-04-12 17:38:29 +01:00 |
|
Alexandre Boulgakov
|
b890e2ef96
|
Swift: Use camelCase in KeyPathComponent predicates.
|
2023-04-12 12:50:50 +01:00 |
|