Java: Add change note.

This commit is contained in:
Anders Schack-Mulligen
2025-06-17 14:01:23 +02:00
parent 4645856f09
commit 5ddddaecdc

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Java analysis of guards has been switched to use the new and improved shared guards library. This improves precision of a number of queries, in particular `java/dereferenced-value-may-be-null`, which now has fewer false positives, and `java/useless-null-check` and `java/constant-comparison`, which gain additional true positives.