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 |
|
Alexandre Boulgakov
|
64443dfdcf
|
Swift: Add named predicates for known KeyPathComponent kinds.
|
2023-04-12 12:06:14 +01:00 |
|
Alexandre Boulgakov
|
35a2d55d18
|
Swift: Extract structured keypath components.
Changes in swift/ql/lib are generated by swift/codegen without manual intervention.
|
2023-04-11 13:34:17 +01:00 |
|
Alexandre Boulgakov
|
2b1dea56b5
|
Swift: Add error query to AST tests.
Preexisting errors are left to be fixed later.
|
2023-04-11 13:34:16 +01:00 |
|
Geoffrey White
|
fa23d9c1e4
|
Swift: Clean up and autoformat.
|
2023-04-05 15:18:40 +01:00 |
|
Geoffrey White
|
501848bd46
|
Swift: Convert dataflow / taint tests to DataFlow::ConfigSig.
|
2023-04-05 15:07:02 +01:00 |
|
Geoffrey White
|
91f6b0ba4f
|
Swift: Correct test expectations.
|
2023-03-31 15:50:59 +01:00 |
|
Geoffrey White
|
8a805bb7a3
|
Swift: Replace getABaseOrAliasedType with slightly more sophisticated getABaseType.
|
2023-03-31 14:16:42 +01:00 |
|
Geoffrey White
|
302013a7fd
|
Swift: Add a test for Type.getABaseOrAliasedType.
|
2023-03-31 10:44:01 +01:00 |
|
Geoffrey White
|
8e4c7a9d89
|
Swift: Test expectations.
|
2023-03-29 15:49:36 +01:00 |
|
Geoffrey White
|
f042195e5c
|
Swift: Connect it up.
|
2023-03-29 15:49:17 +01:00 |
|
Nora Dimitrijević
|
03122d76ce
|
Swift: fix a bunch of MISSING dataflow test cases
Optional content flow through constructors remains.
|
2023-03-27 23:01:25 +02:00 |
|
Nora Dimitrijević
|
052a008926
|
Swift: Content-based dataflow through case let
|
2023-03-27 23:01:24 +02:00 |
|
Nora Dimitrijević
|
c2e9ffab63
|
Swift: add EnumElementExpr + Pattern.getMatchingExpr()
|
2023-03-27 23:01:24 +02:00 |
|
Nora Dimitrijević
|
5419e65e01
|
Swift: add NamedPattern.getVarDecl()
|
2023-03-27 23:01:24 +02:00 |
|
Nora Dimitrijević
|
feb8243d5f
|
Swift: move BindingPattern to the hidden AST
|
2023-03-27 23:01:24 +02:00 |
|
Nora Dimitrijević
|
9e8867aa96
|
Swift: update enum dataflow test with more cases
|
2023-03-27 23:01:23 +02:00 |
|
Geoffrey White
|
91c324ea4f
|
Swift: Fix for getFullName.
|
2023-03-21 15:11:02 +00:00 |
|
Geoffrey White
|
29f7862466
|
Swift: Add a test for getFullName.
|
2023-03-21 15:10:22 +00:00 |
|
Geoffrey White
|
880f948763
|
Merge pull request #12560 from geoffw0/testcustominterp
Swift: Add taint test for custom string interpolation.
|
2023-03-16 17:44:37 +00:00 |
|
Geoffrey White
|
3a04e42ae0
|
Swift: Add taint test for string interpolation.
|
2023-03-16 17:04:46 +00:00 |
|
Geoffrey White
|
a391c01d36
|
Swift: Fix result type of NominalType.getABaseType.
|
2023-03-14 17:36:30 +00:00 |
|
Geoffrey White
|
0d1be2294c
|
Merge branch 'main' into typealiastests
|
2023-03-13 09:38:54 +00:00 |
|
Geoffrey White
|
fbde174a89
|
Swift: Autoformat.
|
2023-03-10 19:02:54 +00:00 |
|
Geoffrey White
|
f6e7837cb8
|
Swift: Extend the PrintAST test as well.
|
2023-03-10 18:28:11 +00:00 |
|
Geoffrey White
|
0c900e4b8a
|
Swift: Add a test for aliased types.
|
2023-03-10 18:26:48 +00:00 |
|
Robert Marsh
|
6bfa08c5cc
|
Merge branch 'main' into rdmarsh2/swift/constructor-flow
|
2023-03-08 16:40:11 +00:00 |
|
Robert Marsh
|
3bf3876c14
|
Swift: fix FPs with inout params in inits
|
2023-03-08 16:20:39 +00:00 |
|
Robert Marsh
|
94d80b0e87
|
Swift: accept LocalTaint test for constructor flow
|
2023-03-07 21:17:26 +00:00 |
|
Geoffrey White
|
4380495eed
|
Swift: Model Sequence.withContiguousSrtorageIfAvailable.
|
2023-03-06 20:59:17 +00:00 |
|
Robert Marsh
|
686f7ccd5a
|
Swift: add flow for self out of constructors
|
2023-03-06 20:46:36 +00:00 |
|
Robert Marsh
|
9731989421
|
Swift: add tests for flow through constructors
|
2023-03-06 20:39:58 +00:00 |
|
Geoffrey White
|
2ed140c696
|
Swift: Update the pointertypes test.
|
2023-03-06 17:14:14 +00:00 |
|