16 Commits

Author	SHA1	Message	Date
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Tom Hvitved	7cbf37c6ba	C#: Convert string.format() queries to path queries	2020-04-28 09:59:19 +02:00
Calum Grant	f3c92c5527	C#: Address review comment	2019-11-14 17:14:51 +00:00
Calum Grant	051dd6b3dc	C#: Update qltests.	2019-11-14 17:14:51 +00:00
Calum Grant	6b15bf62fd	C#: Rewrite null-coalsecing logic	2019-10-23 13:49:22 +01:00
Calum Grant	01ad93d199	C#: Fix for false positive.	2019-10-23 12:26:01 +01:00
Calum Grant	ee7cf17b15	C#: Add test case for local disposal.	2019-10-23 11:22:52 +01:00
Tom Hvitved	afdb788333	C#: Refactor cs/local-not-disposed using data flow library	2019-09-25 09:33:39 +02:00
Tom Hvitved	665564f809	C#: Add more tests for cs/local-not-disposed	2019-09-25 09:33:39 +02:00
Tom Hvitved	5c127ef20d	C#: Fix false positives in cs/unchecked-return-value	2019-07-29 17:32:21 -07:00
Tom Hvitved	b6f3f7866b	C#: Add more tests for cs/unchecked-return-value	2019-07-29 15:40:22 -07:00
Calum Grant	d055c85ff0	C#: Exclude case from cs/dispose-not-called-on-throw where the disposable is disposed by a UsingStmt, even when explicitly disposed.	2019-06-11 15:20:27 +01:00
Calum Grant	20752c80c9	C#: Address review comments	2019-06-04 18:10:49 +01:00
calum	7d17724cae	C#: The empty string is not considered a format string for this query.	2019-02-04 12:53:12 +00:00
calum	eb0036172e	C#: Add test for false-positive.	2019-02-04 12:30:43 +00:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00