129 Commits

Author	SHA1	Message	Date
Michael Nebel	7d46d15f2b	C#: Update summary model generation test output.	2022-08-24 09:46:54 +02:00
Michael Nebel	136bdeb8e6	C#: Add test for Negative summary generation.	2022-08-24 09:46:54 +02:00
Michael Nebel	9c6bcec500	C#: Add model generator testcase for Negative summaries for abstract members.	2022-08-24 09:46:54 +02:00
Michael Nebel	87c7dd90c0	C#: Disregard destructors in model generation.	2022-08-24 09:46:54 +02:00
Tom Hvitved	e4c257db74	C#: Rename Argument[Qualifier] to Argument[this] in MaD	2022-08-16 13:24:41 +02:00
Michael Nebel	cf3cb292b7	C#: Update the model generator to use provenance column printing.	2022-06-20 16:20:01 +02:00
Michael Nebel	c79c9dd573	C#: Don't generate models for any higher order callables.	2022-04-19 12:50:51 +02:00
Michael Nebel	f6fd401df1	C#: Add some testcases, where we don't get a summary due to the use of simple types.	2022-04-19 12:50:51 +02:00
Michael Nebel	f9e5c6b77d	C#: Don't use simple types in summaries test cases as these will be excluded in generation purely based on the type.	2022-04-19 12:50:51 +02:00
Michael Nebel	412699f407	C#: Modify generator and update test output with updated kind column.	2022-04-05 12:51:01 +02:00
Michael Nebel	8c3be653c2	C#: Update test output.	2022-04-04 16:07:46 +02:00
Michael Nebel	5cb2bd9245	C#: Exclude IEquatable Equals implementations.	2022-04-01 11:39:41 +02:00
Michael Nebel	02a0cbf0f4	C#: Add test cases.	2022-04-01 11:32:10 +02:00
Michael Nebel	5c13391580	C#: Add test cases for operators.	2022-03-30 15:09:44 +02:00
Michael Nebel	5970fd9904	C#: Also include property reads in possible new sink discovery. Only include public fields and properties.	2022-03-29 11:07:57 +02:00
Michael Nebel	6194d5cf63	C#: Add test for CaptureSinkModel query.	2022-03-29 11:07:57 +02:00
Michael Nebel	cc4e26466f	C#: Add test case for CaptureSummaryModels query.	2022-03-29 11:07:56 +02:00
Michael Nebel	b204f783fb	C#: Remove special handling of bulk types.	2022-03-23 11:26:49 +01:00
Michael Nebel	8b16c1f585	C#: Add some test cases for inheritance.	2022-03-16 10:40:49 +01:00
Michael Nebel	e69ea8f577	C#: Add some testcases for generics.	2022-03-16 10:20:55 +01:00
Michael Nebel	814947b876	C#: Add some test cases for methods that are not properly exposed and will this not get their summary captured.	2022-03-16 09:47:14 +01:00
Michael Nebel	a555e04b55	C#: Bulk array flow.	2022-03-16 09:30:15 +01:00
Michael Nebel	226a874a74	C#: Test cases for IEnumerable.	2022-03-16 09:22:18 +01:00
Michael Nebel	4f2678fc72	C#: Add some testcases for model generation of methods using Lists.	2022-03-15 15:44:06 +01:00
Michael Nebel	34a91f1aac	C#: Rename CaptureSummaryModelsQuery to CaptureSummaryModels.	2022-03-14 13:48:56 +01:00
Michael Nebel	94a840e96b	C#: Add some more testcases for flow summary generation.	2022-03-14 13:48:56 +01:00
Michael Nebel	8d2593ba0c	C#: Add expected output from running the test.	2022-03-14 13:47:24 +01:00
Michael Nebel	4d46b581c3	C#: Add some initial examples.	2022-03-14 13:47:24 +01:00
Michael Nebel	75b4632815	C#: Add test query.	2022-03-14 13:47:24 +01:00