10 Commits

Author	SHA1	Message	Date
Chris Smowton	de2b98f4a1	Fix hasNullCase	2023-11-30 11:24:02 +00:00
Chris Smowton	6b9aed21df	Nullness library: recognise switches with null checks	2023-11-30 11:23:58 +00:00
erik-krogh	46b5bf32f9	update alert-messsages of java queries	2022-09-26 12:15:25 +02:00
Anders Schack-Mulligen	41d294229d	Java: Add support for bitwise compound assignments in Guards.	2022-01-21 13:56:07 +01:00
Anders Schack-Mulligen	8cbc01d49b	Java: Add a few qltest cases for nullness and range analysis FPs.	2020-05-20 10:44:15 +02:00
Anders Schack-Mulligen	4601639bad	Java: Document a FP in a test.	2020-03-03 13:39:26 +01:00
Anders Schack-Mulligen	2dca188288	Java: Document two FPs with unit tests.	2020-01-17 09:57:11 +01:00
Robin Neatherway	84202ff2e1	Java: Respect Hamcrest assertThat(X, notNullValue())	2019-10-29 17:52:13 +00:00
Anders Schack-Mulligen	0afea80d53	Java: Improve guards for equal ssa variables.	2019-09-26 16:29:13 +02:00
Pavel Avgustinov	846c9d5860	Migrate Java code to separate QL repo.	2018-08-30 10:48:05 +01:00