10 Commits

Author	SHA1	Message	Date
Tom Hvitved	88b7ad001f	C#: Take phi nodes into account in Steps::getARead()	2021-03-16 13:55:30 +01:00
Tom Hvitved	cb8e2d451d	C#: Add test for DeadStoreOfLocal.ql	2021-03-16 13:52:41 +01:00
Tom Hvitved	63f76b1b43	C#: Uniform treatment of all SSA definitions	2021-01-07 15:16:44 +01:00
Tom Hvitved	85e6b24c49	C#: Remove false positives for cs/useless-assignment-to-local	2020-02-05 20:12:39 +01:00
Tom Hvitved	d9f9fc510f	C#: Add more tests for cs/useless-assignment-to-local	2020-02-05 20:11:22 +01:00
Calum Grant	3db900b183	C#: Remove false positive and update test output ... C#: Mark results as GOOD	2019-12-27 12:07:19 +00:00
Calum Grant	fd0225ca59	C#: Add test	2019-12-27 11:44:39 +00:00
Tom Hvitved	b233961a9a	C#: Add assertion tests	2018-10-19 14:05:30 +02:00
Tom Hvitved	e8cd99335a	C#: Simple Boolean control flow graph splitting	2018-09-28 14:59:39 +02:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00