2268 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	9647b6a3f5	Swift: Add stub.	2023-03-06 13:45:04 +00:00
Geoffrey White	56b6441ef5	Merge pull request #12391 from geoffw0/ptrout ... Swift: Permit data flow out through pointer arguments	2023-03-06 13:37:22 +00:00
Anders Schack-Mulligen	5c7f2ac7f7	Merge pull request #12186 from aschackmull/dataflow/refactor-configuration ... Data flow: Refactor configuration	2023-03-06 13:38:59 +01:00
Anders Schack-Mulligen	557cb17f4d	Dataflow: Minor perf fix for single config wrapper.	2023-03-06 10:24:33 +01:00
Geoffrey White	6e3040987a	Swift: Autoformat.	2023-03-03 16:24:28 +00:00
Geoffrey White	234f17b578	Swift: Use PointerType in data flow's 'modifiable' predicate.	2023-03-03 16:23:49 +00:00
Geoffrey White	3249cee1c9	Swift: Add an overall PointerType.	2023-03-03 16:23:46 +00:00
Geoffrey White	9423c21d46	Swift: Add simple model for pointer types.	2023-03-03 16:23:27 +00:00
Geoffrey White	9f86bcb1b8	Swift: Proof of concept fix.	2023-03-03 15:04:47 +00:00
Anders Schack-Mulligen	0addcfa7c5	Dataflow: Fix some perf issues.	2023-03-03 11:45:32 +01:00
Geoffrey White	27ec36298f	Swift: Understand binary pointwise operations.	2023-03-02 12:42:34 +00:00
Geoffrey White	ec2c58b416	Swift: Understand overflow binary bitwise operations.	2023-03-02 12:11:25 +00:00
Geoffrey White	1206b73d87	Swift: Understand overflow binary arithmetic operations.	2023-03-02 12:11:15 +00:00
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