1641 Commits

Author	SHA1	Message	Date
Geoffrey White	d0f214a9a7	Swift: Widen the model to include things that are not strictly RawRepresentable but which appear similar. This fixes the XXE test cases. Unclear whether xmlParserOption in the test should in fact extend RawRepresentable, or not.	2023-10-13 17:35:05 +01:00
Mathias Vorreiter Pedersen	fb0016e4f6	Merge pull request #14485 from geoffw0/logging ... Swift: Add more sinks to `swift/cleartext-logging`	2023-10-13 16:09:19 +01:00
Mathias Vorreiter Pedersen	9a2ac65f53	Merge pull request #14394 from geoffw0/sqlpathinject3 ... Swift: Add sinks for sqlite3 and SQLite.swift to swift/hardcoded-key	2023-10-13 16:07:09 +01:00
Geoffrey White	4e29ed5ff0	Swift: Model RawRepresentable.	2023-10-13 15:00:49 +01:00
Geoffrey White	228aaee0bf	Swift: Add data flow tests for RawRepresentable, OptionSet.	2023-10-13 14:34:05 +01:00
Geoffrey White	9e473ebda4	Swift: Remove the 'rawValue' step as well.	2023-10-13 14:02:15 +01:00
Geoffrey White	33f83a2089	Swift: Add some failing data flow test cases.	2023-10-13 12:24:43 +01:00
Robert Marsh	dd71204128	Swift: update test expectations for for-in locations	2023-10-12 18:59:36 +00:00
Geoffrey White	fe57cd0784	Merge pull request #14488 from geoffw0/strlentest ... Swift: Additional test cases for `swift\string-length-conflation`	2023-10-12 19:39:43 +01:00
AlexDenisov	6ab2de10e3	Merge pull request #14437 from github/alexdenisov/ignore-unavailable-declarations ... Swift: skip declarations marked as unavailable	2023-10-12 20:08:18 +02:00
Geoffrey White	9f683b8630	Swift: Remove duplicate results.	2023-10-12 17:38:58 +01:00
Geoffrey White	cf7f355fc4	Swift: Additional test cases.	2023-10-12 17:11:56 +01:00
Geoffrey White	e2a8569940	Swift: Clean up indentation.	2023-10-12 13:05:20 +01:00
Geoffrey White	8f852f2e7d	Swift: Turn sink models into flow summary models, where appropriate.	2023-10-12 12:57:05 +01:00
Mathias Vorreiter Pedersen	02f73145d6	Merge pull request #14354 from geoffw0/conversions2 ... Swift: Improve models for Numeric, RangeReplaceableCollection	2023-10-12 11:13:50 +01:00
Geoffrey White	09974b5176	Swift: Extend sink models.	2023-10-12 09:17:04 +01:00
Geoffrey White	0e4cd7f52f	Swift: Additional test cases.	2023-10-11 18:37:24 +01:00
Alex Denisov	4133284bc8	Swift: skip declarations marked as unavailable	2023-10-11 10:55:49 +02:00
Geoffrey White	48ee4add08	Merge branch 'main' into sqlpathinject3	2023-10-10 08:54:44 +01:00
Robert Marsh	dab9a859f3	Merge branch 'main' into rdmarsh2/swift/autoclosure-cfg	2023-10-09 14:21:28 +00:00
Robert Marsh	8af727734e	Merge pull request #13909 from rdmarsh2/rdmarsh2/swift/for-in ... Swift: dataflow for `for-in` loops	2023-10-09 10:00:27 -04:00
Geoffrey White	62b0ebf2fe	Merge pull request #14407 from geoffw0/grdbsinks ... Swift: Add sinks for the GRDB database library to swift/hardcoded-key	2023-10-09 12:58:17 +01:00
Geoffrey White	c492b5f2dd	Swift: Model sinks.	2023-10-07 23:19:09 +01:00
Geoffrey White	8bf6fd67d1	Swift: Add a test for GRDB hardcoded key sinks.	2023-10-07 23:07:32 +01:00
Robert Marsh	cb749bd973	Swift: CFG for normal autoclosure exprs	2023-10-06 20:14:49 +00:00
Robert Marsh	661da76838	Swift: add function call autoclosure tests	2023-10-06 19:49:33 +00:00
Geoffrey White	676179620a	Swift: Get sqlite3 C API results (model Data.withUnsafeBytes, Data.withUnsafeMutableBytes, permit flow out of collections at the query sink)	2023-10-06 18:26:20 +01:00
Geoffrey White	bc9d8cc40f	Swift: Get another SQLite.swift result.	2023-10-06 18:26:20 +01:00
Geoffrey White	691665fca8	Swift: Add models for SQLite.swift.	2023-10-06 18:26:19 +01:00
Geoffrey White	9a628d4165	Swift: Add test for sqlite3 C API.	2023-10-06 18:26:18 +01:00
Geoffrey White	8006996f46	Swift: Add test for SQLite.swift.	2023-10-06 18:26:18 +01:00
Geoffrey White	9ad1749957	Swift: Hide OpenExistentialExpr from the AST instead.	2023-10-06 17:55:29 +01:00
Geoffrey White	76db1c5c8b	Swift: Add the same code to the AST test as well.	2023-10-06 17:13:49 +01:00
Geoffrey White	b0c7964ea6	Swift: Add the same code to the CFG test as well.	2023-10-06 10:07:52 +01:00
Geoffrey White	b3185e9519	Swift: Expand the test case.	2023-10-06 09:43:33 +01:00
Geoffrey White	7ddece1560	Swift: Update .expected after merge.	2023-10-05 16:20:56 +01:00
Geoffrey White	6bea7f89a8	Merge branch 'main' into sqlpathinject2	2023-10-05 16:15:37 +01:00
Geoffrey White	e31ca58a2f	Swift: Post-merge fix.	2023-10-05 15:45:22 +01:00
Geoffrey White	17894db501	Merge branch 'main' into conversions2	2023-10-05 15:33:05 +01:00
Geoffrey White	dcd88100f0	Swift: Minor corrections, update parse.expected.	2023-10-05 11:11:52 +01:00
Geoffrey White	fa10dbea9f	Swift: Support mode flags through NSString.CompareOptions.	2023-10-05 10:45:59 +01:00
Geoffrey White	a052a4e385	Swift: Update to a proper data flow config so we can add implicit reads from arrays at the sink.	2023-10-05 10:45:58 +01:00
Geoffrey White	cdc0d1fff1	Swift: Check the options flag contains .regularExpression.	2023-10-05 10:45:58 +01:00
Geoffrey White	b5ff104a00	Swift: Naive model for regular expression evaluations through NSString and StringProtocol methods.	2023-10-04 19:19:29 +01:00
Geoffrey White	5263cccefc	Swift: Bite the bullet and make 'regex' a non-optional field of the regex test, so that we can be confident where we fail to identify them.	2023-10-04 19:19:28 +01:00
Geoffrey White	24c385b1da	Swift: Expand and correct regex tests.	2023-10-04 19:19:28 +01:00
Robert Marsh	00068d6157	Merge branch 'main' into rdmarsh2/swift/for-in ... Fix conflict in AST test output	2023-10-04 15:58:36 +00:00
Robert Marsh	f7ca8e5b39	Merge pull request #14224 from rdmarsh2/rdmarsh2/swift/nil-coalescing-cfg ... Swift: CFG and data flow for nil coalescing operator	2023-10-04 09:43:31 -04:00
Geoffrey White	34b33e1577	Merge pull request #14328 from geoffw0/debugdesc ... Swift: Model .description, .debugDescription more generally	2023-10-03 17:37:22 +01:00
Robert Marsh	497f0aa8ab	Swift: sync test files and update expectation	2023-10-03 14:57:04 +00:00