5 Commits

Author	SHA1	Message	Date
Tom Hvitved	078dc7b6c0	C#: Fix false positives in cs/dereferenced-value-may-be-null	2018-12-14 12:03:32 +00:00
Tom Hvitved	287ce4e683	C#: Add more nullness tests	2018-12-14 12:03:32 +00:00
calum	3037b2b197	C#: Sync the -Good and -Bad files in the qltest to match the sample.	2018-12-12 11:36:00 +00: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