1778 Commits

Author	SHA1	Message	Date
Michael Nebel	d6f657cfd7	C#: Update expected test output.	2024-02-20 15:55:19 +01:00
Michael Nebel	3112bf4682	C#: Add some test property inititialization test cases and update expected output.	2024-02-20 15:55:19 +01:00
Michael Nebel	feda6bc01b	C#: Update expected test output.	2024-02-19 13:04:13 +01:00
Michael Nebel	dcde6597bc	C#: Updated expected test output.	2024-02-19 13:04:13 +01:00
Michael Nebel	6b38a81e50	C#: Add some test cases for primary constructor inititalizers and a failing dataflow test.	2024-02-19 13:04:12 +01:00
Tom Hvitved	7bdc2c57f0	C#: Simplify primaryConstructorParameterStore	2024-02-13 13:59:14 +01:00
Tom Hvitved	3f43f45437	C#: Assume captured variables are live at exit in SSA construction	2024-02-13 13:59:08 +01:00
Tom Hvitved	ebd6853194	C#: Avoid overlapping output in data flow test	2024-02-13 13:59:03 +01:00
Michael Nebel	8efe34942f	C#: Add indirect assignment example.	2024-02-13 12:02:25 +01:00
Michael Nebel	eaf129d519	C#: Update expected test output.	2024-02-13 11:40:46 +01:00
Michael Nebel	69c0f0cb6a	C#: Address review comments.	2024-02-13 11:39:21 +01:00
Michael Nebel	68b920f330	C#: Update other tests expected output.	2024-02-12 15:09:36 +01:00
Michael Nebel	4083348b3e	C#: Add a primary constructor QL library test.	2024-02-12 13:27:39 +01:00
Michael Nebel	ff29679317	C#: Update expected test output.	2024-02-12 13:27:39 +01:00
Michael Nebel	f5d4c49b16	C#: Add some more constructor dataflow tests.	2024-02-12 13:13:06 +01:00
Michael Nebel	86212b24ba	C#: Move constructor data flow tests to a separate folder.	2024-02-12 13:13:06 +01:00
Michael Nebel	afe3c5ea8d	C#: Re-arrange the code in constructor data flow test and update expected output.	2024-02-12 13:13:06 +01:00
Tom Hvitved	9634511ac5	Merge pull request #15489 from hvitved/csharp/lambda-field-flow ... C#: Additional tracking of lambdas through fields and properties	2024-02-12 09:14:21 +01:00
Anders Schack-Mulligen	21a6520cd3	C#: Add empty provenance column to expected files.	2024-02-09 11:32:07 +01:00
Anders Schack-Mulligen	b7d4a6926f	Dataflow: Add empty provenance column to PathGraph.	2024-02-09 11:27:30 +01:00
Michael Nebel	2e4786c2ab	C#: Update flow summaries expected output test.	2024-02-06 14:06:07 +01:00
Michael Nebel	b41758fb39	C#: Update summaries for Enumerable.DefaultIfEmpty to target elements in the return value.	2024-02-06 11:24:02 +01:00
Michael Nebel	4acce3276a	C#: Update FlowSummaries expected output test.	2024-02-02 14:47:45 +01:00
Michael Nebel	91d844316a	C#: Add some tests with expected output.	2024-02-02 14:47:45 +01:00
Michael Nebel	7f5d2e1f44	C#: Update flowsummaries expected output.	2024-02-02 14:47:44 +01:00
Michael Nebel	551a7f9577	C#: Update expected test output.	2024-02-01 15:04:06 +01:00
Michael Nebel	4dfeff38f9	C#: Add dataflow field test for ref structs with ref and ordinary fields.	2024-02-01 15:04:06 +01:00
Henti Smith	16e62e6649	Merge pull request #15475 from github/henti/update_dotnet ... Updated dotnet version to 8.0.101	2024-02-01 11:25:21 +00:00
Tom Hvitved	bfe4a4bf0b	C#: Additional tracking of lambdas through fields and properties	2024-02-01 11:51:00 +01:00
Tom Hvitved	817d04c087	C#: Add more delegate flow tests	2024-02-01 11:51:00 +01:00
Tom Hvitved	d1ed317832	C#: Add tests for qualified delegate pointer calls	2024-02-01 10:59:05 +01:00
Tom Hvitved	c74bc68287	C#: Fix extraction of qualified delegate calls	2024-01-31 13:21:16 +01:00
Tom Hvitved	c21bf5d82c	C#: Add tests for qualified delegate calls	2024-01-31 11:22:35 +01:00
Michael Nebel	e575e97eb9	C#: Update cil attribute expected output.	2024-01-31 10:08:55 +01:00
Michael Nebel	cda09478c5	C# Update expected test output and remove false positive.	2024-01-29 14:37:25 +01:00
Michael Nebel	b6f94ea44a	C#: Add example test of field flow via the spread operator, which leads to a false positive.	2024-01-29 14:30:52 +01:00
Michael Nebel	cd5f678e1c	C#: Add IntegerCollection class to the CollectionFlow tests and update line numbers in expected test output.	2024-01-29 14:28:05 +01:00
Michael Nebel	13b8d57bff	C#: Add collection flow test cases for collection expressions.	2024-01-26 14:18:16 +01:00
Michael Nebel	8eb89cf0bb	C#: Add test and expected output.	2024-01-26 14:18:16 +01:00
Michael Nebel	1252d3ee89	C#: Rename CollectionExpr to EnumerableCollectionExpr.	2024-01-25 19:53:51 +01:00
Ed Minnix	a6c977c169	Use appropriate pack for test models	2024-01-22 12:24:21 -05:00
Ed Minnix	975327648c	Remove commented-out code	2024-01-22 11:09:50 -05:00
Ed Minnix	c530fbd9f8	C# Threat Modeling Tests	2024-01-22 11:09:45 -05:00
Michael Nebel	24855ddc64	Merge pull request #15328 from michaelnebel/csharp/inlinearrays ... C# 12: Inline array support.	2024-01-19 09:11:26 +01:00
Michael B. Gale	d0003ce7be	C#: Rename query to ExtractedFiles	2024-01-18 12:47:11 +00:00
Michael Nebel	f8f95e6a19	C#: Add models as data test for inline arrays.	2024-01-18 12:23:26 +01:00
Michael Nebel	1d88ca2388	C#: Add more InlineArray test cases.	2024-01-18 12:23:26 +01:00
Michael Nebel	674838e698	C#: Add flow test for inline arrays.	2024-01-18 11:09:01 +01:00
Michael Nebel	f14b3265ab	C#: Move static methods in CollectionFlow as these impact result line numbers.	2024-01-18 11:09:00 +01:00
Michael Nebel	47505b3bfa	C#: Add array access test for an inline array.	2024-01-18 11:09:00 +01:00