diff --git a/change-notes/1.23/analysis-java.md b/change-notes/1.23/analysis-java.md index 26c1e1f21ad4..ad1f22489129 100644 --- a/change-notes/1.23/analysis-java.md +++ b/change-notes/1.23/analysis-java.md @@ -22,7 +22,7 @@ The following changes in version 1.23 affect Java analysis in all applications. ## Changes to libraries The data-flow library has been extended with a new feature to aid debugging. -If you want to explore the possible flow from a source, replace -`isSink(Node n) { any() }` with the new `Configuration::hasPartialFlow` predicate. -This gives a more complete picture of the partial flow paths from a given source. +Previously, to explore the possible flow from all sources you could specify `isSink(Node n) { any() }` on a configuration. +Now you can use the new `Configuration::hasPartialFlow` predicate, +which gives a more complete picture of the partial flow paths from a given source, including flow that doesn't reach any sink. The feature is disabled by default and can be enabled for individual configurations by overriding `int explorationLimit()`.