691 Commits

Author	SHA1	Message	Date
Tom Hvitved	b69188fee9	C#: Adopt shared CFG construction library from shared controlflow pack	2023-08-03 14:12:24 +02:00
Jeroen Ketema	b420455e2b	C#: Update InlineFlowTests to use the merged path graph	2023-06-19 10:28:54 +02:00
Jeroen Ketema	853bf2ae4e	C#: Rewrite InlineFlowTest as a parameterized module	2023-06-15 10:51:59 +02:00
Anders Schack-Mulligen	bc7cb1ec47	C#: Fix some qltests.	2023-06-12 16:19:04 +02:00
Anders Schack-Mulligen	88fe0f089e	C#: Fix expected output.	2023-06-12 13:17:55 +02:00
Anders Schack-Mulligen	21dea62e99	C#: Fix qltests.	2023-06-09 08:37:35 +02:00
Jami	6867e94ed5	Merge pull request #13158 from jcogs33/jcogs33/update-csharp-sink-kinds ... C#: update MaD sink kinds	2023-05-26 08:03:21 -04:00
Michael Nebel	d28316d397	C#: Update the flow summaries expected test output.	2023-05-23 12:07:08 +02:00
Michael Nebel	2b8bbfe888	C#: Add the EntityFramework stub to the general flow summaries test.	2023-05-23 12:05:23 +02:00
Michael Nebel	c2ec1b0a81	C#: Add extension method testcase for Models as Data.	2023-05-17 13:11:32 +02:00
Jami Cogswell	06a28f6221	C#: update 'remote' sink kind to 'file-content-store'	2023-05-16 14:07:20 -04:00
Jami Cogswell	74cd2407fb	C#: update 'xss' sink kind to 'js-injection'	2023-05-16 14:07:20 -04:00
Jami Cogswell	a0b502fa44	C#: update 'html' sink kind to 'html-injection'	2023-05-16 14:07:20 -04:00
Jami Cogswell	f76563d6e9	C#: update some test cases	2023-05-16 14:07:19 -04:00
Jami Cogswell	b6d011b187	C#: update 'sql' sink kind to 'sql-injection'	2023-05-16 14:07:19 -04:00
Jami Cogswell	613077c7a9	C#: update 'code' sink kind to 'code-injection'	2023-05-16 14:07:19 -04:00
Tom Hvitved	3c173df69e	C#: Update expected test output	2023-05-15 09:35:20 +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	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	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	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
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	100f64c09a	C#: Migrate tests to use the implicitly loaded .ext.yml data extensions.	2022-12-15 13:11:09 +01:00
Michael Nebel	9fc1b3ac82	C#: Rename predicates in tests.	2022-12-14 13:43:34 +01:00
erik-krogh	873d3553cd	Merge branch 'main' into static-useInstanceOf	2022-12-12 15:36:54 +01:00
erik-krogh	8262fbbfb5	Java/C#/GO: Use instanceof in more places	2022-12-11 18:32:19 +01:00
Michael Nebel	ad90e58120	C#: Rename Negative Summary Model to Neutral Model.	2022-12-09 15:04:42 +01:00
Michael Nebel	c24302bec2	C#: Replace all uses of the deprecated hasQualifiedName/1 predicate.	2022-12-06 11:59:12 +01:00
Tom Hvitved	9f13cdadcb	C#: Add use-use stress test	2022-11-17 13:42:56 +01:00
Tom Hvitved	7cab6b5491	C#: Include SSA "phi reads" in DataFlow::Node	2022-11-16 15:31:01 +01:00
Tom Hvitved	bd78e73131	C#: Add tests for phi reads	2022-11-15 11:45:32 +01:00