23 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	228a61ead3	Swift: Add empty provenance column to expected files.	2024-02-09 11:32:07 +01:00
Geoffrey White	c49f05aa2b	Swift: Fix false positive / result overlap.	2023-11-16 09:00:35 +00:00
Geoffrey White	96b4a12af7	Swift: Add heuristic sinks.	2023-11-16 09:00:35 +00:00
Geoffrey White	697c3df74a	Swift: Model C printf variants.	2023-11-16 09:00:34 +00:00
Geoffrey White	1040561ec1	Swift: Model formatting append methods.	2023-11-16 09:00:34 +00:00
Geoffrey White	a6fe620bcb	Swift: Fix Swift warnings in the test.	2023-11-15 18:06:38 +00:00
Geoffrey White	3a38f3b947	Swift: Add test cases.	2023-11-15 18:06:37 +00:00
Geoffrey White	0ae04de7f0	Swift: Test stubs / classes.	2023-11-15 17:23:22 +00:00
Mathias Vorreiter Pedersen	93234c0b5c	Swift: Add model for 'withVaList' and accept test changes.	2023-10-27 10:21:12 +01:00
Mathias Vorreiter Pedersen	9e2dd09ddc	Swift: Accept test regression (caused by no model for 'withVaList').	2023-10-27 10:20:07 +01:00
Mathias Vorreiter Pedersen	6f37d7c374	Swift: Accept changes in paths.	2023-10-24 15:39:19 +01:00
Nora Dimitrijević	af49a3aa64	Swift: accept new results in old tests	2023-10-24 13:56:31 +01:00
Mathias Vorreiter Pedersen	c50a0419e2	Swift: Accept test changes.	2023-06-22 09:46:10 +01:00
Anders Schack-Mulligen	b2d3f29ef3	Swift: Fix tests.	2023-06-09 15:39:28 +02:00
Paolo Tranquilli	7b76aa34bd	Swift: fix CFG inconsistency on TapExpr	2023-05-25 13:05:21 +02:00
Paolo Tranquilli	63fb0581c2	Swift: accept inconsistencies for now	2023-05-24 20:09:46 +02:00
Anders Schack-Mulligen	9fe5462b1b	Swift: Update more expected output.	2023-04-26 13:41:50 +02:00
Geoffrey White	c692a316b0	Swift: Add new results found in UncontrolledFormatString test.	2023-02-17 10:07:32 +00:00
Geoffrey White	9333e80def	Swift: Add getVaList stub to the test.	2023-01-09 10:29:37 +00:00
Geoffrey White	fc646a6d48	Swift: Update .expected following a toString change in main.	2023-01-03 16:25:14 +00:00
Geoffrey White	85a0a42da9	Swift: try again to satisfy ql-for-ql.	2022-12-02 10:15:11 +00:00
Geoffrey White	f7ebd1312e	Swift: Corrections.	2022-12-01 20:13:56 +00:00
Geoffrey White	32c4728f83	Swift: Add tests.	2022-12-01 16:32:33 +00:00