2225 Commits

Author	SHA1	Message	Date
Geoffrey White	9cd9627778	Swift: Fix identical rows.	2023-02-17 10:00:06 +00:00
Geoffrey White	0aa9c76f42	Swift: Grammar and formatting.	2023-02-17 08:45:51 +00:00
Geoffrey White	a894fc6ce8	Swift: Fix mistakes in String.qll models.	2023-02-16 18:24:36 +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
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	d04ed14b8c	fix model -2	2023-02-15 21:18:50 +00:00
Geoffrey White	99caafb9b9	Swift: Model NSString.	2023-02-15 18:37:51 +00:00
Anders Schack-Mulligen	e877b161d8	Merge pull request #12124 from hvitved/dataflow/stage1-dispatch ... Data flow: Call context virtual dispatch pruning in stage 1	2023-02-13 13:13:43 +01:00
Geoffrey White	124e4ddd4f	Merge pull request #12150 from geoffw0/cfg2 ... Swift: control flow for #available	2023-02-13 09:17:06 +00:00
Tom Hvitved	f7a5a33474	Address review comment	2023-02-13 09:01:15 +01:00
Geoffrey White	d0efbbf5b8	Swift: More path injection models.	2023-02-10 18:02:50 +00:00
Geoffrey White	eda331ebc2	Swift: Clean up.	2023-02-10 15:11:31 +00:00
Geoffrey White	11f022c69f	Swift: Add some more qldoc.	2023-02-10 15:02:05 +00:00
Geoffrey White	6cb9198ee2	Swift: Control flow through #available.	2023-02-10 13:32:33 +00:00
Geoffrey White	224bc9381a	Swift: Fix ConditionElement.toString().	2023-02-09 21:15:36 +00:00
Paolo Tranquilli	7fa85b34ea	Swift: remove query predicates in upgrade/downgrade scripts	2023-02-09 17:24:27 +01: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	60e7d6b540	Swift: Move insert to RangeReplaceableCollection.	2023-02-07 17:08:23 +00:00
Geoffrey White	7cb665cde1	Swift: Move popLast to BidirectionalCollection and add popFirst.	2023-02-07 16:56:00 +00:00
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