Merge pull request #15126 from egregius313/egregius313/java/minor/add-replace-to-mapmutator

Java: Add the `Map#replace` and `Map#replaceAll` methods to `MapMutator` in `Maps.qll`

Author: egregius313

java/ql/lib/change-notes/2023-12-19-add-replace-methods-to-mapmutator.md

@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* Added the `Map#replace` and `Map#replaceAll` methods to the `MapMutator` class in `semmle.code.java.Maps`.

java/ql/lib/semmle/code/java/Maps.qll

@@ -40,7 +40,9 @@ class MapMethod extends Method {
 
 /** A method that mutates the map it belongs to. */
 class MapMutator extends MapMethod {
-  MapMutator() { pragma[only_bind_into](this).getName().regexpMatch("(put.*|remove|clear)") }
+  MapMutator() {
+    pragma[only_bind_into](this).getName().regexpMatch("(put.*|remove|clear|replace.*)")
+  }
 }
 
 /** The `size` method of `java.util.Map`. */