1641 Commits

Author	SHA1	Message	Date
Geoffrey White	7b9b96d657	Swift: Unify the two sink models into one (needs further polish).	2023-08-04 17:01:04 +01:00
Geoffrey White	8c2140b28d	Swift: Add tests.	2023-08-04 17:01:04 +01:00
Geoffrey White	d24db3fcd3	Swift: Use .ArrayElement in the models, where appropriate.	2023-08-04 09:18:37 +01:00
Geoffrey White	b41d47b910	Swift: Array.withUnsafeBytes doesn't reliably match ContiguousBytes, so define models there as well.	2023-08-04 09:18:36 +01:00
Geoffrey White	c48d47484a	Swift: Fix mistake in the string taint test.	2023-08-04 09:18:36 +01:00
Geoffrey White	664dc01c48	Swift: Add closure function models.	2023-08-04 09:18:36 +01:00
Geoffrey White	49d1556c29	Swift: Model update(repeating:), to support the tests.	2023-08-04 09:18:36 +01:00
Geoffrey White	315cb32f6c	Swift: Remove special case from UnsafeJsEval query.	2023-08-04 09:18:35 +01:00
Geoffrey White	feadd7127b	Swift: Add tests with some different container types.	2023-08-04 09:18:35 +01:00
Geoffrey White	63c71f0b77	Swift: Add tests of with* closure methods.	2023-08-04 09:18:34 +01:00
Paolo Tranquilli	67cd25184a	Merge pull request #12433 from github/alexdenisov+redsun82/tuple-mangling ... Swift: properly identify types and declarations in trap files via mangling	2023-08-03 13:27:07 +02:00
Geoffrey White	06c19fd8cf	Swift: Add CommonCrypto test cases for the broken crypto query.	2023-08-02 18:36:05 +01:00
Mathias Vorreiter Pedersen	89aa86a1d6	Merge pull request #13741 from rdmarsh2/rdmarsh2/swift/array-content-flow ... Swift: add DataFlow::Content for arrays	2023-08-02 17:37:40 +02:00
Alexandre Boulgakov	0dafe2d757	Swift: Mangle ArchetypeTypes with different superclasses in different extensions.	2023-08-02 15:18:52 +01:00
Mathias Vorreiter Pedersen	7bea18773c	Merge pull request #13857 from github/alexdenisov/unresolved-dot-exprs-patterns ... Swift: SubExpr may yield unresolved nodes in certain cases while MatchedExpr is always resolved	2023-08-02 09:35:06 +02:00
Geoffrey White	e30ac42e3e	Merge branch 'main' into typegetname	2023-08-01 16:36:31 +01:00
Geoffrey White	c8f5ada594	Swift: Fix errors in queries.	2023-08-01 15:50:15 +01:00
Alex Denisov	9d643ae1ed	Swift: record CFG incosistency	2023-08-01 15:06:04 +02:00
Geoffrey White	116006d280	Swift: Fix for type names containing '...'.	2023-08-01 13:57:46 +01:00
Geoffrey White	40219aad88	Swift: More robust Type.getName().	2023-08-01 13:24:10 +01:00
Alex Denisov	6667d9e45c	Swift: SubExpr may yield unresolved nodes in certain cases while MatchedExpr is always resolved	2023-08-01 14:15:33 +02:00
Geoffrey White	655f238017	Swift: Accept test changes.	2023-08-01 13:14:14 +01:00
Geoffrey White	1c64fb16f1	Merge pull request #13756 from geoffw0/sources2 ... Swift: CustomUrlSchemes test enhancements and minor model improvement	2023-07-31 12:53:03 +01:00
Geoffrey White	12f2539d1d	Swift: Use flowTo.	2023-07-31 10:03:25 +01:00
Robert Marsh	22ae430e65	Swift: accept more test changes from hiding InOutExpr	2023-07-28 20:43:25 +00:00
Alexandre Boulgakov	3e7a7fe54e	Swift: Mangle ArchetypeTypes with different constraints in different extensions.	2023-07-28 21:39:52 +01:00
Robert Marsh	7ed520ab54	Swift: update test expectations after hiding InOutExpr	2023-07-28 14:29:24 +00:00
Geoffrey White	15244e0ee1	Swift: Expand NominalType.getFullName to Type.getFullName (so it is a suitble substitute for the old Type.getName behaviour).	2023-07-27 22:41:46 +01:00
Geoffrey White	82057513c5	Swift: Implement Type.getName() as different from Type.getFullName() (regex solution).	2023-07-27 20:50:21 +01:00
Robert Marsh	c36ce785d8	Merge branch 'main' into rdmarsh2/swift/array-content-flow	2023-07-27 19:18:03 +00:00
Geoffrey White	aa6d7c088b	Swift: Add some more diverse test cases.	2023-07-27 19:35:13 +01:00
Geoffrey White	9588e68115	Swift: Add detail and spacing to the NoominalType tests.	2023-07-27 19:17:51 +01:00
Geoffrey White	3eb1bac9df	Swift: Update consistency test failure (line numbers).	2023-07-27 16:11:59 +01:00
Geoffrey White	44d785fabf	Swift: Make QL-for-QL happy.	2023-07-27 15:37:13 +01:00
Robert Marsh	bf5ba37348	Swift: Hide InOutExpr	2023-07-26 18:42:27 +00:00
Robert Marsh	358737452e	Swift: reverse flow steps through InOutExpr	2023-07-25 20:34:36 +00:00
Geoffrey White	5188095529	Swift: Use enum content in withContiguousStorageIfAvailable model.	2023-07-25 14:33:20 +01:00
Geoffrey White	aedd073dad	Merge pull request #12416 from geoffw0/contig ... Swift: Model Sequence.withContiguousStorageIfAvailable	2023-07-25 14:05:07 +01:00
Mathias Vorreiter Pedersen	0a7eecf28c	Merge pull request #13795 from geoffw0/enumcontent ... Swift: Support EnumContent in models-as-data	2023-07-25 14:43:44 +02:00
Geoffrey White	374c157afe	Swift: Update the taint aspect of the flowsources test to use sinks like the regular taint test.	2023-07-24 19:17:51 +01:00
Geoffrey White	b8f67d7e8a	Swift: Test changes (not affecting results).	2023-07-24 09:03:01 +01:00
Geoffrey White	94780aabec	Swift: Effect on the taint/core test.	2023-07-21 22:34:59 +01:00
Geoffrey White	1259f8d596	Swift: Clearer syntax and a shortcut for Optional.some.	2023-07-21 22:34:59 +01:00
Geoffrey White	89e7b75ea1	Swift: Flow from optional content through "!".	2023-07-21 22:34:59 +01:00
Geoffrey White	d9187c62fe	Swift: Parse MAD enum content.	2023-07-21 22:34:59 +01:00
Geoffrey White	1cfb9bbf34	Swift: Tests for enum content in MAD.	2023-07-21 22:34:58 +01:00
Geoffrey White	d13170de98	Swift: Model return values.	2023-07-21 14:23:40 +01:00
Geoffrey White	52e84ba12b	Swift: Add some more test cases, including handling return propagation.	2023-07-21 13:53:14 +01:00
Geoffrey White	7c0c820684	Swift: Accept fixed spurious result.	2023-07-21 11:26:11 +01:00
Geoffrey White	6110243306	Swift: Fix .expected and autoformat after merge.	2023-07-21 11:17:19 +01:00