2725 Commits

Author	SHA1	Message	Date
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
erik-krogh	326666ac85	update the alert-messages of csharp queries	2022-09-26 14:01:39 +02:00
Michael Nebel	9ace52114c	C#: Update expected test output.	2022-09-23 13:06:48 +02:00
Michael Nebel	7c74cc6420	C#: Update expected test output - including false positive.	2022-09-23 13:04:04 +02:00
Michael Nebel	e45e06b675	C#: Add LogForging testcase based on ASP.NET.	2022-09-23 13:02:42 +02:00
Michael Nebel	39402b842e	C#: Add ASP.NET Core stubs to LogForging tests.	2022-09-23 12:59:15 +02:00
Michael Nebel	96a46a007f	C#: Use stubs in the CWE-117 LogForging test.	2022-09-23 12:49:12 +02:00
Michael Nebel	eefe457c4b	Merge pull request #10238 from michaelnebel/csharp/theoremsforfree ... C#: Theorems for Free - Model generation	2022-09-20 09:30:10 +02:00
Michael Nebel	4e57b40c2a	C#: Update test expected output.	2022-09-14 11:06:24 +02:00
Michael Nebel	0f22828cb6	C#: Add test cases corresponding to the System.Linq.Enumerable extensions methods.	2022-09-14 11:06:23 +02:00
Michael Nebel	cdb892da43	C#: Update test expected output.	2022-09-14 11:06:23 +02:00
Michael Nebel	20cb5daeb1	C#: Add testcase for implicit set.	2022-09-14 11:06:23 +02:00
Michael Nebel	262c28b77a	C#: Update expected test output.	2022-09-14 11:06:23 +02:00
Michael Nebel	001d3571ec	C#: Restructure test cases.	2022-09-14 11:06:23 +02:00
Michael Nebel	c5949fad75	C#/Java: Rename to Typed based summary model generation.	2022-09-14 11:06:23 +02:00
Michael Nebel	5f161dfaad	C#: Update expected test output with further models.	2022-09-14 11:06:23 +02:00
Michael Nebel	055072b1c0	C#: Add more test examples.	2022-09-14 11:06:23 +02:00
Michael Nebel	d580a8a078	C#: Update expected test output.	2022-09-14 11:06:23 +02:00
Michael Nebel	f6e9013435	C#: Update expected output of tests.	2022-09-14 11:06:23 +02:00
Michael Nebel	e66dce1524	C#: Update test relevant test cases.	2022-09-14 11:06:23 +02:00
Michael Nebel	dd44d71757	C#: Add Type based summary test cases and move dataflow model generation test cases.	2022-09-14 11:06:22 +02:00
Raul Garcia	0df2b64355	Merge branch 'main' into Token_validation	2022-09-12 18:31:00 -07:00
Raul Garcia	1bfe335d93	Merge branch 'main' into Token_validation	2022-09-02 09:00:55 -07: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	41274d9e5a	C#: Update expected test output.	2022-08-26 09:30:07 +02:00
Michael Nebel	83b3125dea	C#: Some test examples of collection like types that should be excluded.	2022-08-26 09:30:07 +02:00
Erik Krogh Kristensen	06afe9c0f4	Merge pull request #9816 from erik-krogh/msgConsis ... Make alert messages consistent across languages	2022-08-25 15:20:01 +02:00
erik-krogh	c7aa58252a	change "does not seem to check" to "does not check" in unchecked-cast-in-equals queries	2022-08-25 12:31:58 +02:00
Ian Lynagh	5d97bb35d0	Make *.cs non-executable	2022-08-24 16:54:34 +01:00
Ian Lynagh	b9a4b5ab9a	Make *.qlref non-executable	2022-08-24 16:53:16 +01:00
Ian Lynagh	4cd618f81c	Make *.expected non-executable	2022-08-24 16:51:50 +01:00
erik-krogh	1c0f2251e2	Merge branch 'main' into msgConsis	2022-08-24 14:38:57 +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