Java: Add change note.

This commit is contained in:
Anders Schack-Mulligen
2022-09-16 11:14:44 +02:00
parent a4ae9a09f9
commit 9714497268

View File

@@ -0,0 +1,4 @@
---
category: majorAnalysis
---
* The virtual dispatch relation used in data flow now favors summary models over source code for dispatch to interface methods from `java.util` unless there is evidence that a specific source implementation is reachable. This should provide increased precision for any projects that include, for example, custom `List` or `Map` implementations.