Java: Remove list, map, and StringReplaceMethod flow steps.

This commit is contained in:
Anders Schack-Mulligen 2020-07-06 14:19:13 +02:00
Родитель a41c2d8abf
Коммит 2ae15f9ace
1 изменённых файлов: 0 добавлений и 13 удалений

Просмотреть файл

@ -377,19 +377,6 @@ private predicate taintPreservingQualifierToMethod(Method m) {
or
m = any(ProtobufMessageLite p).getAGetterMethod()
or
m instanceof MapMethod and
(
m.getName().regexpMatch("get|entrySet|keySet|values")
)
or
m.getDeclaringType().getSourceDeclaration().getASourceSupertype*().hasQualifiedName("java.util", "List") and
(
m.getName().regexpMatch("get|toArray|subList|spliterator|set|iterator|listIterator") or
(m.getName().regexpMatch("remove") and not m.getReturnType() instanceof BooleanType)
)
or
m instanceof StringReplaceMethod
or
exists(SpringUntrustedDataType dt |
m.(GetterMethod) = dt.getAMethod()
)