1770 Commits

Author	SHA1	Message	Date
Kasper Svendsen	3041fdebba	C#: Make implicit this receivers explicit	2023-05-09 15:34:59 +02:00
Michael Nebel	bd0133630d	C#: Re-factor the CIL dataflow test to use the new API.	2023-05-08 14:05:37 +02:00
Mathias Vorreiter Pedersen	77001a070b	Merge branch 'main' into identity-consistency-check	2023-05-03 22:01:06 +01:00
Mathias Vorreiter Pedersen	177dd76da6	C#: Accept consistency changes.	2023-05-03 20:30:06 +01:00
Michael Nebel	a9cf6885d0	Merge pull request #12952 from michaelnebel/csharp/refactorcontentflow ... C#: Re-factor ContentFlow to a parameterised module and use the new API.	2023-05-01 15:53:57 +02:00
Michael Nebel	36ea61c25e	C#: Address review comments.	2023-05-01 10:38:39 +02:00
Michael Nebel	8517f11477	C#: Re-factor the test case for ContentFlow.	2023-04-27 13:08:19 +02:00
Anders Schack-Mulligen	6025feebd9	C#: Update expected output.	2023-04-27 10:24:24 +02:00
Michael Nebel	c7b0ae8490	C#: Re-factor the CollectionFlow test to use the new API.	2023-04-17 11:38:37 +02:00
Michael Nebel	518aceba64	Re-factor the Types testcase to use the new API.	2023-04-17 11:38:37 +02:00
Michael Nebel	388cb704d0	C#: Re-factor the CallSensitivityFlow test to use the new API.	2023-04-17 11:38:37 +02:00
Michael Nebel	eaddb627ef	C#: Re-factor the GlobalFlow test to use the new API.	2023-04-17 11:38:37 +02:00
Michael Nebel	52bc43b22b	Merge pull request #12595 from michaelnebel/enhanceprovenance ... Java/C# : Enhance provenance.	2023-04-13 14:27:53 +02:00
Michael Nebel	dab4a61159	C#: Update flowsummaries expected test output.	2023-04-13 09:21:05 +02:00
Michael Nebel	6593991c13	Java/C#: Update generated models to have provenance df-generated.	2023-04-13 09:21:05 +02:00
Michael Nebel	c787bb2ff9	C#: Re-factor the callablereturnarg tests.	2023-04-12 11:47:42 +02:00
Michael Nebel	9c5b8e2894	C#: Update expected output of tests using the inline flow test framework.	2023-04-12 11:15:15 +02:00
Michael Nebel	5c586c3afd	C#: Re-factor the InlineFlowTest framework.	2023-04-12 11:15:15 +02:00
Michael Nebel	61b8f97b75	C#: Re-factor the flowsources test.	2023-04-12 11:15:15 +02:00
Michael Nebel	f00c97810a	C#: Re-factor the NHibernate test.	2023-04-12 11:15:14 +02:00
Michael Nebel	9c60c4b3d9	C#: Re-factor the JsonNet test.	2023-04-12 11:15:14 +02:00
Michael Nebel	1f0fbfaef0	C#: Re-factor the EntityFramework test.	2023-04-12 11:15:14 +02:00
Michael Nebel	4023cd3b4c	C#: Re-factor the dataflow/global tests.	2023-04-12 11:15:14 +02:00
Michael Nebel	a2c7388282	C#: Re-factor the ExternalFlow test.	2023-04-12 11:15:14 +02:00
Michael Nebel	bd886202f6	C#: Re-factor the Async test.	2023-04-12 11:15:14 +02:00
Michael Nebel	a98cf0ae45	C#: Re-factor the GlobalTaintTracking test.	2023-04-12 11:15:14 +02:00
Michael Nebel	0dc612f23f	C#: Re-factor the TaintTracking test.	2023-04-12 11:15:14 +02:00
Michael Nebel	f792bf09d3	C#: Update expected test output.	2023-03-31 10:13:20 +02:00
Michael Nebel	6f86cb1c1b	C#: Add interface definition and add more testcases.	2023-03-31 10:13:20 +02:00
Michael Nebel	9966e09fd7	C#: Add operator dataflow test case with checked and unchecked examples.	2023-03-28 15:05:48 +02:00
Michael Nebel	71d184e8c0	C#: Validate all access paths except for Field and Property.	2023-03-22 10:05:46 +01:00
Michael Nebel	41b2273dee	C#: Update expected test output.	2023-03-13 15:15:03 +01:00
Michael Nebel	8398ee43b3	C#: Update test comment and expected test output.	2023-03-13 10:09:03 +01:00
Michael Nebel	278f90e5fa	C#: Update expected test output.	2023-03-13 10:09:03 +01:00
Michael Nebel	cfe2a76431	C#: Add viable callable test cases for statics in interfaces.	2023-03-13 10:09:03 +01:00
Anders Schack-Mulligen	5ad7ed49dd	C#: Autoformat	2023-03-10 09:39:41 +01:00
Michael Nebel	24fa2be7b3	C#: Update flow summaries expected output test.	2023-03-03 15:37:36 +01:00
Michael Nebel	477b4566ed	C#: Update expected test output.	2023-03-01 10:42:29 +01:00
Michael Nebel	51be175111	C#: Add public members testcase and expected output.	2023-03-01 10:42:28 +01:00
Michael Nebel	363dd49a3c	C#: Add explicit interface implementation examples and update expected test output.	2023-03-01 10:42:28 +01:00
Michael Nebel	7aeb61ca71	C#: Add file scoped test cases.	2023-02-20 10:30:10 +01:00
Michael Nebel	3971dedcf6	C#: Add testcase for required members.	2023-02-17 08:40:39 +01:00
Michael Nebel	b3c234d020	C#: Add testcases for checked operators.	2023-02-14 12:59:36 +01:00
Michael Nebel	b7123aaa89	C#: Add viable callable testcases for regular and checked operators.	2023-02-14 12:57:59 +01:00
Michael Nebel	db41463d72	C#: Test of relaxed shift operator requirements.	2023-02-10 10:33:20 +01:00
Michael Nebel	54b45134ef	C#: Add example code including tests.	2023-02-09 11:32:09 +01:00
Michael Nebel	ae10a6beb0	C#: Check that we get AST for struct that doesn't initialize all fields.	2023-02-02 12:50:59 +01:00
Michael Nebel	4089845ea4	C#: Test that nameof can used on method parameters and type parameters in attribute declarations.	2023-02-02 09:25:24 +01:00
Michael Nebel	478474bbed	C#: Add ref field test case.	2023-01-31 13:35:47 +01:00
Michael Nebel	ecadb56419	C#: Update CIL consistency test expected output.	2023-01-31 13:21:00 +01:00