Geoffrey White
981f232ea9
Swift: Additional test cases.
2023-02-17 09:49:02 +00:00
Geoffrey White
a894fc6ce8
Swift: Fix mistakes in String.qll models.
2023-02-16 18:24:36 +00:00
Geoffrey White
f64cb2983a
Swift: Add tests for a few models we didn't cover.
2023-02-16 18:15:17 +00:00
Geoffrey White
cb11524dde
Merge pull request #12154 from geoffw0/pathinjectionext
...
Swift: More path injection sinks
2023-02-16 16:00:31 +00:00
Paolo Tranquilli
3ec2a3c711
Swift: fix subtle codegen bug on missing files
...
While the internal registry was being cleaned up from files removed by
codegen itself, it was not dropping files removed outside of codegen.
Because of this files removed by the user were not being regenerated
again if no change was staged to them, unless `--force` was provided.
This also fixes some such "ghost" entries in the registry and some
missing generated files.
2023-02-16 11:46:51 +01:00
Geoffrey White
00302dc05f
Swift: Model NSObject.
2023-02-15 22:12:39 +00:00
Geoffrey White
7e8645a1f6
Swift: Model NSMutableString.
2023-02-15 21:50:05 +00:00
Geoffrey White
75dd95f458
Swift: Correct one of the tests.
2023-02-15 18:37:51 +00:00
Geoffrey White
99caafb9b9
Swift: Model NSString.
2023-02-15 18:37:51 +00:00
Geoffrey White
d763c5a3a0
Swift: Update LocalTaint.expected for the changes so far.
2023-02-15 11:42:42 +00:00
Geoffrey White
2882286c3f
Swift: Test taint sources for NSString.
2023-02-15 11:42:42 +00:00
Geoffrey White
9f734076b7
Swift: Test taint through NSString member variables.
2023-02-15 11:04:16 +00:00
Geoffrey White
452ca4ef0f
Swift: Test taint through NSMutableString.
2023-02-15 11:04:01 +00:00
Geoffrey White
16ec29e3df
Swift: Test taint throguh some NSObject methods.
2023-02-15 11:03:45 +00:00
Geoffrey White
85a0fd9b30
Swift: Test taint through NSString.
2023-02-15 11:03:06 +00:00
Geoffrey White
124e4ddd4f
Merge pull request #12150 from geoffw0/cfg2
...
Swift: control flow for #available
2023-02-13 09:17:06 +00:00
Geoffrey White
ad85b37585
Swift: Tidy up indenting.
2023-02-10 18:06:56 +00:00
Geoffrey White
d0efbbf5b8
Swift: More path injection models.
2023-02-10 18:02:50 +00:00
Geoffrey White
82f09b8511
Swift: More path injection test cases.
2023-02-10 17:55:06 +00:00
Geoffrey White
8624098318
Swift: sync identical files.
2023-02-10 15:24:57 +00:00
Geoffrey White
15b8aa1979
Swift: Effect on other tests :)
2023-02-10 14:16:48 +00:00
Geoffrey White
6cb9198ee2
Swift: Control flow through #available.
2023-02-10 13:32:33 +00:00
Geoffrey White
38f4f65fc0
Swift: Add CFG test cases for #available.
2023-02-10 09:29:08 +00:00
Geoffrey White
224bc9381a
Swift: Fix ConditionElement.toString().
2023-02-09 21:15:36 +00:00
Geoffrey White
0f6b05dedf
Merge pull request #12126 from geoffw0/append
...
Swift: Move some models into collections
2023-02-09 09:33:08 +00:00
Geoffrey White
f9f08fff83
Swift: Use RangeReplaceableCollection in the test.
2023-02-07 16:03:51 +00:00
Alex Denisov
712c25e6f4
Swift: extract availability info
2023-02-07 14:26:39 +01:00
Geoffrey White
996536b08e
Swift: Remove a no-longer-needed special case from swift/unsafe-js-eval.
2023-02-06 17:35:21 +00:00
Geoffrey White
364c173fc3
Swift: Accept additional taint flow in UnsafeJsEval test.
2023-02-03 19:21:10 +00:00
Geoffrey White
ec72c7504c
Swift: Add a partial model of Collection.
2023-02-03 18:42:42 +00:00
Geoffrey White
e357b44943
Swift: Add a partial model of Sequence.
2023-02-03 18:42:42 +00:00
Geoffrey White
e230951a14
Swift: Model StringProtocol methods.
2023-02-03 18:42:41 +00:00
Geoffrey White
38eeb9c747
Swift: Model String methods.
2023-02-03 12:26:55 +00:00
Geoffrey White
1077dcd2e3
Swift: Model String initializers.
2023-02-03 11:36:35 +00:00
Geoffrey White
142ca0c9fb
Swift: Model StringProtocol initializers.
2023-02-03 10:53:44 +00:00
Geoffrey White
d888510688
Swift: Fix incorrect taint to String fields.
2023-02-03 10:21:52 +00:00
Geoffrey White
d25de8c764
Swift: Taint fields of StringProtocol.
2023-02-03 10:16:33 +00:00
Geoffrey White
21abe54d8d
Swift: Greatly extend tests of taint through strings.
2023-02-03 10:11:12 +00:00
Nora Dimitrijević
50e5b29eb7
Swift: all Callables can have captures [codegen'd]
2023-02-02 11:56:51 +01:00
Nora Dimitrijević
ce2e7f1d12
Swift: all Callables can have captures [hand-written]
2023-02-02 11:35:50 +01:00
Nora Dimitrijević
d230431006
Swift: extract closure captures (codegen'd part)
2023-02-02 11:35:49 +01:00
Nora Dimitrijević
87f7bc3a63
Swift: introduce closure capture AST test
2023-02-02 11:30:33 +01:00
Tony Torralba
644bc56568
Add new source and flow step related to WkWebView
2023-02-01 17:44:06 +01:00
Tony Torralba
43b234eeb5
Switch to MaD models for UISceneDelegate methods
2023-02-01 15:15:51 +01:00
Tony Torralba
f7cc5f9627
Add more sources for custom URL schemes
...
Also add the appropriate steps so that these sources are useful
2023-02-01 15:07:37 +01:00
Geoffrey White
96ee0f68b0
Merge pull request #11935 from geoffw0/protocol-extension
...
Swift: Flow sources through protocol extensions
2023-02-01 13:47:09 +00:00
Geoffrey White
7f58a2222a
Merge branch 'main' into protocol-extension
2023-01-31 16:06:55 +00:00
Tony Torralba
e9a46c926d
Add taint for URLRequest fields
2023-01-31 11:15:45 +01:00
Nora Dimitrijević
9346f4d760
Swift: fix failing tests
2023-01-30 11:39:06 +01:00
Nora Dimitrijević
1396d07662
Swift: subsume IterableDeclContext into Decl [tests]
2023-01-28 00:44:49 +01:00
