35 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	d6800394fa	Guards: Support disjunctive implications.	2025-11-12 14:14:32 +01:00
Anders Schack-Mulligen	2192d75286	Java: Add test for a known FP.	2025-11-12 14:08:18 +01:00
Anders Schack-Mulligen	e302616135	Java: Accept qltest change.	2025-09-12 15:41:18 +02:00
Anders Schack-Mulligen	03321ff910	Java: Replace nullness implementation.	2025-09-12 15:41:16 +02:00
Anders Schack-Mulligen	452bbf7289	Java: Add some more nullness tests.	2025-09-12 13:38:21 +02:00
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	d9cfe14729	Java: Accept qltest change.	2025-08-07 14:51:49 +02:00
Anders Schack-Mulligen	23aac0ac51	Java: document nullness false negative as qltest	2025-08-05 13:49:51 +02:00
Anders Schack-Mulligen	1d4c8197ec	Java: Fix assert CFG by properly tagging the false successor.	2025-06-26 10:18:14 +02:00
Anders Schack-Mulligen	4645856f09	Java: document FP	2025-06-26 07:17:36 +02:00
Anders Schack-Mulligen	5c0dcd980d	Java: Switch to the shared Guards library.	2025-06-26 07:17:34 +02:00
Chris Smowton	de2b98f4a1	Fix hasNullCase	2023-11-30 11:24:02 +00:00
Chris Smowton	e94c5a772c	Check nullness pass knows pattern case variables can't be null	2023-11-30 11:23:59 +00:00
Chris Smowton	6b9aed21df	Nullness library: recognise switches with null checks	2023-11-30 11:23:58 +00:00
erik-krogh	129cda00db	get a few more queries in sync with other languages	2022-10-01 11:17:48 +02:00
erik-krogh	46b5bf32f9	update alert-messsages of java queries	2022-09-26 12:15:25 +02:00
Chris Smowton	9bcf466aa8	Accept expected test result improvement	2022-03-31 15:19:08 +01:00
Anders Schack-Mulligen	41d294229d	Java: Add support for bitwise compound assignments in Guards.	2022-01-21 13:56:07 +01:00
yo-h	e194411cfa	Java: fix javac errors in test code	2021-02-09 09:16:57 -05: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	4bd332ddca	Java: Add Expr.isParenthesized, adjust VarAccess.toString, and fix tests.	2020-01-28 10:15:48 +01:00
Anders Schack-Mulligen	2dca188288	Java: Document two FPs with unit tests.	2020-01-17 09:57:11 +01:00
Anders Schack-Mulligen	e74aa33f9d	Java: Include non-null final fields in clearlyNotNull.	2020-01-03 16:24:54 +01:00
Cornelius Riemenschneider	5d4b6c3a8c	Nullness: Track correlated conditions of equality tests of variables.	2019-11-21 19:24:40 +01:00
Cornelius Riemenschneider	92f32a12d8	Add tests for nullness tracking by comparing variables.	2019-11-21 19:23:39 +01:00
Cornelius Riemenschneider	3e5324e772	More precise Nullness tracking by taking correlated instanceof expressions into account. ... Fixes #2238.	2019-11-21 18:38:27 +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
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