Geoffrey White
|
d17c7bb0e8
|
Swift: Move first(_:), last(_:) into Sequence, BidirectionalCollection.
|
2023-02-07 16:47:02 +00:00 |
|
Geoffrey White
|
3586926157
|
Swift: Move first, last into Collection, BidirectionalCollection.
|
2023-02-07 16:36:06 +00:00 |
|
Geoffrey White
|
b69d8625e5
|
Swift: Move append methods into RangeReplaceableCollection.
|
2023-02-07 16:07:35 +00:00 |
|
Tom Hvitved
|
8e8897b08b
|
Data flow: Sync files
|
2023-02-07 15:15:04 +01:00 |
|
Alex Denisov
|
3448cde048
|
Swift: add database migration
|
2023-02-07 14:31:19 +01:00 |
|
Alex Denisov
|
712c25e6f4
|
Swift: extract availability info
|
2023-02-07 14:26:39 +01:00 |
|
Paolo Tranquilli
|
c9397a5abf
|
Merge pull request #10950 from github/redsun82/swift-regex
Swift: extract `RegexLiteralExpr`
|
2023-02-07 11:30:43 +01:00 |
|
Paolo Tranquilli
|
a3b443c310
|
Swift: add upgrade/downgrade scripts for regex extraction
|
2023-02-07 10:21:37 +01:00 |
|
Paolo Tranquilli
|
ad04a408c7
|
Swift: add doc to RegexLiteralExpression
|
2023-02-07 10:21:37 +01:00 |
|
Paolo Tranquilli
|
a244b825df
|
Merge branch 'main' into redsun82/swift-regex
|
2023-02-07 09:37:09 +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
|
dc59ed08f9
|
Merge pull request #12094 from geoffw0/string2
Swift: Models for the String class
|
2023-02-06 11:24:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
00fe448e3a
|
Merge pull request #12072 from aschackmull/dataflow/stage3-perf
Dataflow: Fix join in `fwdFlowRead` (take 2)
|
2023-02-06 10:43:11 +00:00 |
|
Geoffrey White
|
1f69fff26c
|
Swift: Fix mistake caught by QL-for-QL.
|
2023-02-03 19:15:08 +00:00 |
|
Geoffrey White
|
f82a548cf9
|
Swift: Comments and formatting.
|
2023-02-03 18:50:51 +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
|
4bb0bbf488
|
Swift: Remove redundant copies.
|
2023-02-03 18:42:41 +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
|
bf6ef43451
|
Swift: Document library model files consistently.
|
2023-02-03 09:59:35 +00:00 |
|
Anders Schack-Mulligen
|
67d4ed53b9
|
Dataflow: Sync.
|
2023-02-02 16:33:00 +01:00 |
|
Nora Dimitrijević
|
ad5dbe18a4
|
Swift: db upgrade/downgrade script
|
2023-02-02 12:00:47 +01:00 |
|
Nora Dimitrijević
|
50e5b29eb7
|
Swift: all Callables can have captures [codegen'd]
|
2023-02-02 11:56:51 +01:00 |
|
Nora Dimitrijević
|
d230431006
|
Swift: extract closure captures (codegen'd part)
|
2023-02-02 11:35:49 +01:00 |
|
Nora Dimitrijević
|
6895c113cf
|
Swift: extract closure captures (hand-written part)
|
2023-02-02 11:30:33 +01:00 |
|
Tony Torralba
|
24527bfc4e
|
Minor change in WKNavigationDelegateSource to work around a bug
|
2023-02-01 17:44:08 +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 |
|
Tony Torralba
|
837cdf7782
|
Merge pull request #12046 from atorralba/atorralba/urlrequest-models
Swift: Add taint for URLRequest fields
|
2023-02-01 09:24:17 +01:00 |
|
Geoffrey White
|
7f58a2222a
|
Merge branch 'main' into protocol-extension
|
2023-01-31 16:06:55 +00:00 |
|
Geoffrey White
|
ee442e4d4b
|
Merge pull request #11979 from geoffw0/modern1
Swift: Modernize injection queries
|
2023-01-31 10:54:35 +00:00 |
|
Tony Torralba
|
e9a46c926d
|
Add taint for URLRequest fields
|
2023-01-31 11:15:45 +01:00 |
|
Nora Dimitrijević
|
fb88372c0f
|
Merge pull request #11862 from d10c/swift/rename-iterabledeclcontext
|
2023-01-30 16:03:49 +01:00 |
|
Nora Dimitrijević
|
d5f11dfe60
|
Swift: db upgrade/downgrade script
|
2023-01-28 00:44:49 +01:00 |
|
Nora Dimitrijević
|
9a5614e8c5
|
Swift: subsume IterableDeclContext into Decl [codegen'd]
|
2023-01-28 00:44:49 +01:00 |
|
Nora Dimitrijević
|
f96c18a6db
|
Swift: subsume IterableDeclContext into Decl [hand-written]
|
2023-01-28 00:44:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
95b15825f9
|
DataFlow: Sync identical files.
|
2023-01-27 16:24:31 +00:00 |
|
Geoffrey White
|
6c0b50c696
|
Merge pull request #11980 from geoffw0/modern2
Swift: Structure modernized queries more consistently
|
2023-01-27 14:33:43 +00:00 |
|
Paolo Tranquilli
|
f4cb920624
|
Merge pull request #11932 from github/redsun82/swift-docs
Swift: add and fix some `schema.py` documentation
|
2023-01-25 10:52:00 +01:00 |
|
Geoffrey White
|
fe13137b48
|
Swift: Make default implementations private.
|
2023-01-25 09:29:03 +00:00 |
|
Geoffrey White
|
439d9199be
|
Swift: Add CSV extension points.
|
2023-01-24 19:28:05 +00:00 |
|
Geoffrey White
|
5375678ca6
|
Swift: Add consistent CSV extension points.
|
2023-01-24 18:49:50 +00:00 |
|
Geoffrey White
|
6a210d719b
|
Swift: Rename QueryExtensions.qll files for consistency.
|
2023-01-24 17:58:13 +00:00 |
|