837 Commits

Author	SHA1	Message	Date
Geoffrey White	59e9d0828b	Merge branch 'main' into generics	2022-12-05 10:30:10 +00:00
Geoffrey White	8acc09b551	Swift: Make ql-for-ql happy.	2022-12-01 09:07:17 +00:00
Geoffrey White	1ea44374a4	Swift: Autoformat.	2022-12-01 08:47:30 +00:00
Geoffrey White	0a0cfc34e7	Swift: Do the same for methods.	2022-12-01 08:47:29 +00:00
Geoffrey White	5a4d188255	Swift: Fix for extensions.	2022-12-01 08:47:29 +00:00
Geoffrey White	d71eeb4c95	Swift: First fix for MaD on generics.	2022-12-01 08:47:29 +00:00
Geoffrey White	b1b3487028	Swift: Add a test for MaD data sources in generics.	2022-12-01 08:47:28 +00:00
Tony Torralba	d958a62bf2	Fix expectations in data.swift	2022-11-30 16:19:55 +01:00
Karim Ali	8f456295e0	Merge pull request #11185 from karimhamdanali/swift-string-taint-steps ... Swift: add `String` taint steps	2022-11-30 17:03:15 +02:00
Nora Dimitrijević	91edeacb9f	Swift: update .expected test files	2022-11-29 19:39:48 +01:00
Karim Ali	9048d5d79b	fix expected output for LocalTaint	2022-11-29 15:38:44 +02:00
Karim Ali	9d17fae00c	fix expected output for TaintInline	2022-11-29 15:24:12 +02:00
Karim Ali	c0085cbb1a	fix expected output for Taint.ql	2022-11-29 15:18:39 +02:00
Karim Ali	f0d9dabca2	updated expected output for LocalTaint and Tain	2022-11-29 12:13:10 +02:00
Karim Ali	9b3c4e8db2	add test case for unicodeScalars	2022-11-29 12:12:10 +02:00
Karim Ali	7541b01a86	add test case for utf8CString	2022-11-29 12:12:10 +02:00
Karim Ali	58a87396ba	add taint steps for fields of String ... if a String is tainted, then all its fields (including those declared in extensions) should be tainted as well	2022-11-29 12:12:10 +02:00
Tony Torralba	0e59257442	Fix local taint steps ... Local taint should include local flow and simple summaries through library code	2022-11-29 10:36:56 +01:00
Geoffrey White	cf7cd2b470	Swift: Convert to MaD.	2022-11-28 19:02:56 +00:00
Geoffrey White	30468dd419	Swift: Implement field content as well.	2022-11-28 12:27:33 +00:00
Geoffrey White	ffbd201450	Swift: Implement basic model of WKUserScript.	2022-11-28 12:20:29 +00:00
Geoffrey White	3971cbf294	Swift: Extend the taint test with WKUserScript.	2022-11-28 12:11:38 +00:00
Geoffrey White	208a728d39	Swift: Fixes.	2022-11-25 00:28:53 +00:00
Geoffrey White	37cdef7ab1	Swift: add basic Alamofire taint source model.	2022-11-25 00:14:23 +00:00
Geoffrey White	afb5dc7da3	Swift: Add test for Alamofire sources.	2022-11-25 00:08:51 +00:00
Tony Torralba	1d57663343	Merge pull request #11345 from atorralba/atorralba/swift/data-models ... Swift: Add taint models for the Data class	2022-11-24 14:23:41 +01:00
Geoffrey White	32442a33de	Merge pull request #11270 from geoffw0/optionals2 ... Swift: Dataflow through ?? and ? :	2022-11-24 13:20:54 +00:00
Tony Torralba	e4e5291511	Fix more test expectations after rebase	2022-11-24 13:03:12 +01:00
Tony Torralba	e67b72d954	Update test expectations	2022-11-24 12:35:51 +01:00
Tony Torralba	25354d2dd8	Apply code review suggestions	2022-11-24 12:35:51 +01:00
Tony Torralba	6a8b9fde78	Add data flowsources test	2022-11-24 12:35:51 +01:00
Tony Torralba	d6b14a1395	Update test expectations	2022-11-24 12:35:50 +01:00
Tony Torralba	2284127650	Add MaD rows for the Data class	2022-11-24 12:35:50 +01:00
Tony Torralba	4f8ef13cd8	Fix expectation in NSData tests	2022-11-24 12:13:46 +01:00
Tony Torralba	2ac06b8db9	Turns out lambda flow is already supported	2022-11-24 10:52:27 +01:00
Geoffrey White	7d45ca6293	Merge branch 'main' into optionals2	2022-11-22 17:35:27 +00:00
Tony Torralba	2e1a78e1bf	Add models for NSData and NSMutableData	2022-11-22 15:48:58 +01:00
Tom Hvitved	0d89f57680	Swift: Update expected test output	2022-11-21 12:55:40 +01:00
Geoffrey White	2780d9a9a3	Merge branch 'main' into optionals2	2022-11-17 18:16:46 +00:00
Tom Hvitved	67e8ec1a5f	Swift: Update expected test output	2022-11-16 13:36:03 +01:00
Geoffrey White	4c806a442a	Swift: Dataflow through ? :.	2022-11-15 12:01:09 +00:00
Geoffrey White	2dbb891942	Swift: Dataflow through ??.	2022-11-15 11:42:43 +00:00
Geoffrey White	9b38e1102a	Swift: Add more tests of optionals.	2022-11-15 11:41:04 +00:00
AlexDenisov	e69d003d8f	Merge pull request #11196 from github/redsun82/swift-error-element ... Swift: create common `ErrorElement` superclass and tests	2022-11-11 15:50:58 +01:00
Mathias Vorreiter Pedersen	38acdaabfa	Merge pull request #11111 from geoffw0/tuples ... Swift: Content flow through tuples	2022-11-11 14:20:26 +00:00
Paolo Tranquilli	d3ff4908e6	Merge branch 'main' into redsun82/swift-error-element	2022-11-11 14:05:47 +01:00
Paolo Tranquilli	41977d1dbb	Swift: implement extraction of new properties	2022-11-11 12:49:48 +01:00
Paolo Tranquilli	3de650e19d	Swift: make toBeTested and shouldPrint propagate to children	2022-11-11 12:49:18 +01:00
Paolo Tranquilli	f5b198b8b7	Swift: fix dangling test reference	2022-11-10 17:50:22 +01:00
Geoffrey White	af9ad7b699	Merge branch 'main' into tuples	2022-11-08 21:38:38 +00:00