11 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	02452704b2	Java: Fix bug in nullness	2025-08-22 10:15:22 +02:00
Anders Schack-Mulligen	9fc0793d6a	Java: More nullness qltests, including highlight of FN bug.	2025-08-22 10:12:48 +02:00
Anders Schack-Mulligen	1c724372f2	Java: More nullness qltests.	2025-08-22 10:08:17 +02:00
Anders Schack-Mulligen	ba252cb5cf	Java: Add a couple of difficult condition correlation tests.	2025-08-22 10:08:00 +02:00
Anders Schack-Mulligen	23aac0ac51	Java: document nullness false negative as qltest	2025-08-05 13:49:51 +02:00
Anders Schack-Mulligen	41d294229d	Java: Add support for bitwise compound assignments in Guards.	2022-01-21 13:56:07 +01:00
Cornelius Riemenschneider	92f32a12d8	Add tests for nullness tracking by comparing variables.	2019-11-21 19:23:39 +01:00
Cornelius Riemenschneider	d8aae1c126	Add tests to track nullness by instanceof checks.	2019-11-21 18:38:27 +01:00
Robin Neatherway	96f9a01355	Correct minor compilation errors in test code	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