844 Commits

Author	SHA1	Message	Date
Geoffrey White	9f86bcb1b8	Swift: Proof of concept fix.	2023-03-03 15:04:47 +00:00
Geoffrey White	15227d3c09	Swift: Add tests where a user-defined (non-modelled) function taints the pointee of a pointer argument.	2023-03-03 15:00:22 +00: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	53f52df809	Swift: Add taint test cases for overflow, bitwise and pointwise arithmetic operations.	2023-03-02 11:41:31 +00:00
Geoffrey White	c42add2191	Swift: Add test cases for overflow and pointwise binary arithmetic operations.	2023-03-02 11:28:59 +00:00
Geoffrey White	730532f96a	Swift: Add some (limited) test coverage for NSString <-> Data conversion.	2023-03-02 10:33:57 +00:00
Geoffrey White	1332309f59	Swift: Add some (limited) test coverage for String <-> NSString conversions.	2023-03-02 10:33:57 +00:00
Geoffrey White	8e069b7686	Swift: Split the taint flow test.	2023-03-01 20:45:46 +00:00
Geoffrey White	f8079056ec	Swift: Fix test on Linux.	2023-03-01 15:47:30 +00:00
Geoffrey White	b6db0de437	Swift: Add inline expectation results.	2023-03-01 09:26:30 +00:00
Geoffrey White	228c0e221d	Merge branch 'main' into nsstring	2023-03-01 09:12:36 +00:00
Geoffrey White	36a33bc718	Swift: Delete file that was resurrected by the merge.	2023-02-27 17:33:21 +00:00
Geoffrey White	296093ded6	Merge branch 'main' into nsstring	2023-02-27 17:26:57 +00:00
Geoffrey White	8ef6521cc9	Swift: Undo toString changes.	2023-02-27 12:01:02 +00:00
Geoffrey White	e71c7e7842	Swift: Autoformat.	2023-02-24 19:09:14 +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
Geoffrey White	aaa89f7f32	Swift: Add a test for assignment exprs.	2023-02-23 13:15:06 +00: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	87c0b6195f	Swift: Add taint tests for various arithmetic operators.	2023-02-20 17:22:51 +00:00
Geoffrey White	3038543242	Swift: Add UnaryPlusExpr.	2023-02-20 17:15:20 +00:00
Geoffrey White	e19e28fbb9	Merge pull request #12263 from geoffw0/flowsourceinline ... Swift: Convert the flow sources test to inline expectations.	2023-02-20 16:13:01 +00:00
Geoffrey White	31967cc032	Swift: Add a couple of dataflow test cases for operators that behave as an identity function.	2023-02-20 15:42:07 +00:00
Geoffrey White	690b5debf4	Swift: Remove the old test.	2023-02-20 13:58:53 +00:00
Geoffrey White	dd7f54677b	Swift: Add inline expectation tags.	2023-02-20 13:57:24 +00:00
Geoffrey White	b66ed57e17	Swift: Fix a mistake in FlowSources.qll.	2023-02-20 11:11:46 +00:00
Geoffrey White	d9f2d348f4	Swift: Add an inline expectations test for flow sources.	2023-02-20 11:03:10 +00:00
Tom Hvitved	658cc33bb8	Merge pull request #12212 from hvitved/util/inline-expect-test-use-end-line ... Util: Use end line instead of start line for actual results	2023-02-20 11:41:02 +01:00
Geoffrey White	6cec8ece3f	Swift: Split off FlowConfig.qll.	2023-02-20 10:27:40 +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	5d125572ec	Swift: Test for FileManager taint sources.	2023-02-17 18:14:16 +00:00
Tom Hvitved	37fc8f5039	Swift: Update test expectations	2023-02-17 13:24:28 +01: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	981f232ea9	Swift: Additional test cases.	2023-02-17 09:49:02 +00:00
Geoffrey White	a894fc6ce8	Swift: Fix mistakes in String.qll models.	2023-02-16 18:24:36 +00:00
Geoffrey White	f64cb2983a	Swift: Add tests for a few models we didn't cover.	2023-02-16 18:15:17 +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	75dd95f458	Swift: Correct one of the tests.	2023-02-15 18:37:51 +00:00
Geoffrey White	99caafb9b9	Swift: Model NSString.	2023-02-15 18:37:51 +00:00
Geoffrey White	d763c5a3a0	Swift: Update LocalTaint.expected for the changes so far.	2023-02-15 11:42:42 +00:00