2155 Commits

Author	SHA1	Message	Date
Geoffrey White	bf6f6eec34	Merge pull request #12225 from geoffw0/nsstring ... Swift: Taint models for NSString	2023-03-01 16:30:06 +00:00
Tony Torralba	59bd1e5ab1	Merge pull request #12228 from github/java/mad-decls-triage-request-2276 ... Java: Update MaD sink decls after triage	2023-03-01 17:08:38 +01:00
Geoffrey White	228c0e221d	Merge branch 'main' into nsstring	2023-03-01 09:12:36 +00:00
Geoffrey White	11e0efee68	Merge pull request #12308 from geoffw0/taintplusequals2 ... Swift: Model assignment operators (+= etc)	2023-03-01 09:02:29 +00:00
Geoffrey White	5110cf1e02	Swift: Convert some fiddly GRDB database sinks to CSV.	2023-02-27 23:31:48 +00:00
Geoffrey White	f289811473	Swift: Fix and autoformat.	2023-02-27 23:01:05 +00:00
Geoffrey White	ea4c2e4321	Swift: Add CSV extension points.	2023-02-27 23:01:05 +00:00
Geoffrey White	c533334470	Swift: Implementation classes should be private.	2023-02-27 23:01:04 +00:00
Geoffrey White	c21ec1c3f5	Swift: Standardize the taint sources, sinks, sanitizers.	2023-02-27 23:01:04 +00:00
Geoffrey White	6928e62d8b	Swift: Split the three sensitive exprs queries into separate QL and QLL files.	2023-02-27 23:01:04 +00:00
Geoffrey White	296093ded6	Merge branch 'main' into nsstring	2023-02-27 17:26:57 +00:00
Anders Schack-Mulligen	bf650c755c	Dataflow: Sync changes to all languages.	2023-02-27 14:30:05 +01:00
Geoffrey White	8ef6521cc9	Swift: Undo toString changes.	2023-02-27 12:01:02 +00:00
Geoffrey White	a5943603ea	Swift: 'Any' -> 'An' (make QL-for-QL happy)	2023-02-24 19:08:11 +00:00
Geoffrey White	1a7e7481b2	Swift: Add flow thtaint flow through assignments other than =.	2023-02-23 16:25:32 +00:00
Geoffrey White	a222757e69	Swift: Add support for pointwise assignment operators.	2023-02-23 16:25:32 +00:00
Geoffrey White	15e3892b03	Swift: Add support for overflow assignment operators.	2023-02-23 16:25:32 +00:00
Geoffrey White	1d4925d7af	Swift: Expand assignment operations.	2023-02-23 16:25:31 +00:00
Geoffrey White	71813fa0a7	Swift: Implement full tree of Assignment classes	2023-02-23 13:23:36 +00:00
Paolo Tranquilli	62f4e48433	Swift: fix comments in PrintAst library	2023-02-22 16:46:46 +01:00
Geoffrey White	c462e010d1	Merge pull request #12266 from geoffw0/taintplusequals ... Swift: Taint through arithmetic	2023-02-21 09:32:53 +00:00
Geoffrey White	9b117fefd7	Swift: Generalize the arithmetic we allow taint through.	2023-02-20 18:18:15 +00:00
Geoffrey White	a5bb336647	Merge pull request #12265 from geoffw0/taintunaryplus ... Swift: Add unary +	2023-02-20 18:04:37 +00:00
Geoffrey White	3038543242	Swift: Add UnaryPlusExpr.	2023-02-20 17:15:20 +00:00
Michael Nebel	813ffa440c	Java: Consider ai-generated flow summaries to as generated summaries in dataflow.	2023-02-20 12:11:48 +01:00
Geoffrey White	b66ed57e17	Swift: Fix a mistake in FlowSources.qll.	2023-02-20 11:11:46 +00:00
Geoffrey White	343ddede5a	Merge branch 'main' into nsstring	2023-02-20 09:15:58 +00:00
Geoffrey White	7a9bbb1414	Swift: Model FileManager sources.	2023-02-17 20:04:27 +00:00
Geoffrey White	ad886a3241	Swift: Autoformat.	2023-02-17 13:50:11 +00:00
Geoffrey White	417d175ff2	Merge branch 'main' into nsstring	2023-02-17 11:32:40 +00:00
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