1770 Commits

Author	SHA1	Message	Date
Michael Nebel	4b649e0bad	C#: Update flowsummaries test expected output.	2022-11-04 08:19:05 +01:00
Tom Hvitved	fa762d9952	C#: Fix flow steps into phi nodes ... - Add missing flow from post-update nodes into phi nodes. - Prevent flow from reads into phi nodes when use-use flow is prohibited.	2022-11-02 10:21:50 +01:00
Tom Hvitved	5b5dd07d60	C#: Add data flow test that illustrates issue with flow into phi nodes	2022-11-02 10:20:56 +01:00
Michael Nebel	95488bf133	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	903abd0f3e	C#: Exhaustive validation of postupdate notes in conditional expression example.	2022-09-29 11:35:35 +02:00
Michael Nebel	131a6ac492	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	9ced3956d6	C#: Add assignment expression example.	2022-09-29 11:35:35 +02:00
Michael Nebel	e1ea1a464d	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	58bf283023	C#: Add suppress nullable warning expressions example.	2022-09-29 11:35:35 +02:00
Michael Nebel	940e925c31	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	d54406d599	C#: Add switch example.	2022-09-29 11:35:35 +02:00
Michael Nebel	65b32b665d	C#: Update test expected output.	2022-09-29 11:35:35 +02:00
Michael Nebel	11d67744f7	C#: Add NullCoalescing example.	2022-09-29 11:35:35 +02:00
Michael Nebel	2e5fc19e38	C#: Update expected test output.	2022-09-29 11:35:35 +02:00
Michael Nebel	ba4794790e	C#: Add Cast example.	2022-09-29 11:35:35 +02:00
Michael Nebel	c49a16c840	C#: Update expected test output for the local flow testcases.	2022-09-29 11:35:21 +02:00
Michael Nebel	e8fd2bfc78	C#: Update expected test output.	2022-09-28 14:35:09 +02:00
Michael Nebel	7b6e684eaf	C#: Update test expected output (no new flow is identified).	2022-09-28 14:35:09 +02:00
Michael Nebel	51daae01f1	C#: Add test case.	2022-09-28 14:35:09 +02:00
Michael Nebel	37795226a4	C#: Exclude stub implementation in test results.	2022-09-26 14:55:29 +02:00
Michael Nebel	85eee886ac	C#: Auto-format AspNetCore.ql.	2022-09-26 14:55:28 +02:00
Michael Nebel	a7011e11c4	C#: Minor refactoring to avoid introducing name variable.	2022-09-26 14:55:28 +02:00
Jaroslav Lobačevski	eed04696a9	Add tests	2022-09-26 14:55:28 +02:00
Octokit	f05d4b8410	failing tests	2022-09-26 14:55:28 +02:00
Michael Nebel	9c5a6dd031	C#: Add WithElement summary for Reverse and update expected test output.	2022-09-02 15:17:24 +02:00
Michael Nebel	e7e78dcab3	C#: Add with element example and update existing line numbers in testcase.	2022-09-02 15:17:24 +02:00
Michael Nebel	19da00a51a	C#: Delete clears content test case.	2022-09-02 15:17:23 +02:00
Michael Nebel	2ae2008453	C#: Update flow summaries test expected output.	2022-09-02 15:17:23 +02:00
Tom Hvitved	2681b88035	C#: Update Pre SSA library to use parameterized module	2022-08-31 11:45:15 +02:00
Tom Hvitved	0d81a6409d	SSA: Make shared library a parameterized module	2022-08-31 11:45:14 +02:00
Michael Nebel	f4835e3960	C#: Update flow summaries test cases based on the latest models.	2022-08-26 09:30:08 +02:00
Michael Nebel	e446eaba68	C#: Update C# Flowsummaries test expected out (Negative models has been updated due to rebase and changes in the model generator).	2022-08-24 09:58:54 +02:00
Michael Nebel	2e273f2273	C#: Re-arange the import order, such that CsvValidation follows ExternalFlow directly.	2022-08-24 09:58:54 +02:00
Michael Nebel	c3e21e8555	C#: Move NegativeSummary.qll to the internal folder.	2022-08-24 09:58:53 +02:00
Michael Nebel	37976d56bc	C#/Java/Go/Swift: Move CsvValidation back into ExternalFlow.	2022-08-24 09:58:53 +02:00
Michael Nebel	d2087ec748	C#: Update negative summaries reported by FlowSummaries test after rebase (stubs for .NET has been updated in the meantime).	2022-08-24 09:58:53 +02:00
Michael Nebel	ad671f7fb4	C#: Update test expected output after addition of negative summaries.	2022-08-24 09:58:53 +02:00
Michael Nebel	053460ffeb	C#: Introduce validation of negative summaries.	2022-08-24 09:58:52 +02:00
Michael Nebel	19469a26d7	C#: Re-factor CSV validation into a separate file.	2022-08-24 09:58:52 +02:00
Michael Nebel	0cf4e64655	C#: Update test cases with new empty query predicate.	2022-08-24 09:46:54 +02:00
Michael Nebel	cc44e89065	C#: Introduce support for Negative summary models.	2022-08-24 09:46:54 +02:00
Michael Nebel	c3e0388a75	C#: Add testcase for complex models.	2022-08-19 08:51:39 +02:00
Michael Nebel	bbb6ba088b	C#: Add more Map like remote flow source testcases.	2022-08-19 08:10:23 +02:00
Michael Nebel	d2c5266139	C#: Add more test examples.	2022-08-19 08:10:23 +02:00
Michael Nebel	6e5a412150	C#: Make one more ASP.NET routing example.	2022-08-19 08:10:23 +02:00
Michael Nebel	bd6d3c7347	C#: Consider parameters passed to lambdas in MapGet remote flow sources.	2022-08-19 08:10:23 +02:00
Michael Nebel	c8afb1bb94	C#: Update expected test case with new line numbers.	2022-08-19 08:10:23 +02:00
Michael Nebel	328e47834e	C#: Add ASP.NET Core MapGet routing end point example.	2022-08-19 08:10:23 +02:00
Tom Hvitved	355c1f5959	Merge pull request #10035 from hvitved/ssa/phi-reads ... SSA: Improve use-use calculation using "phi read nodes"	2022-08-17 13:43:00 +02:00
Tom Hvitved	611a6807bc	SSA: Improve use-use calculation using "phi read nodes"	2022-08-16 14:07:38 +02:00