15 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	7241bedf05	C#: Replace Guards with the new implementation.	2025-10-29 13:03:50 +01:00
Anders Schack-Mulligen	df6172b1f3	C#: Update nullness qltest	2025-10-03 15:29:35 +02:00
Michael Nebel	7a63c7d2a5	C#: Update test expected output.	2025-06-03 13:24:59 +02:00
Michael Nebel	0355ea8733	C#: Add some synthetic library extensions methods and tests for cs/dereferenced-value-is-always-null.	2025-06-03 13:24:56 +02:00
Tom Hvitved	84cba21a6c	C#: Add a few more is (not) null tests	2023-12-04 12:22:47 +01:00
erik-krogh	326666ac85	update the alert-messages of csharp queries	2022-09-26 14:01:39 +02:00
Tamas Vajk	5e2770339f	Add adjusted expected files	2021-07-01 16:09:11 +02:00
Tom Hvitved	4f4d9d35be	C#: Add more nullness tests	2020-07-30 12:15:49 +02:00
Tom Hvitved	51d093add0	C#: Address review comments	2019-06-25 17:01:48 +02:00
Tom Hvitved	fce805834e	C#: Address review comments	2018-12-07 09:40:49 +01:00
Tom Hvitved	80144a00c8	C#: Update nullness analyses ... Port the SSA-based logic from the Java nullness analyses.	2018-11-30 17:41:31 +01:00
Tom Hvitved	d2a431e6f3	C#: Add more nullness tests ... Port many of the nullness test from Java, as well as add new tests.	2018-11-30 17:02:05 +01:00
Tom Hvitved	5921a9ea51	C#: Teach guards library about assertions	2018-11-08 20:21:34 +01:00
Tom Hvitved	b233961a9a	C#: Add assertion tests	2018-10-19 14:05:30 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00