Drop Map.merge as taint step

This commit is contained in:
Arthur Baars
2020-07-10 13:00:14 +02:00
parent 0d33a77ee3
commit 43b61038e9
2 changed files with 1 additions and 2 deletions

View File

@@ -112,7 +112,7 @@ private predicate taintPreservingQualifierToMethod(Method m) {
// java.util.Map
m
.(MapMethod)
.hasName(["computeIfAbsent", "entrySet", "get", "getOrDefault", "merge", "put", "putIfAbsent",
.hasName(["computeIfAbsent", "entrySet", "get", "getOrDefault", "put", "putIfAbsent",
"remove", "replace", "values"])
or
// java.util.Collection