From 55ebbc3e012f66ef5830086976cdc6704bc8433a Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Fri, 2 Jul 2021 14:41:32 +0200 Subject: [PATCH] Java: Add signature to Map.put. --- .../semmle/code/java/dataflow/internal/ContainerFlow.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll b/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll index 61f2637d37d..6c92e16f0b1 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll @@ -115,9 +115,9 @@ private class ContainerFlowSummaries extends SummaryModelCsv { "java.util;Map;true;get;;;MapValue of Argument[-1];ReturnValue;value", "java.util;Map;true;getOrDefault;;;MapValue of Argument[-1];ReturnValue;value", "java.util;Map;true;getOrDefault;;;Argument[1];ReturnValue;value", - "java.util;Map;true;put;;;MapValue of Argument[-1];ReturnValue;value", - "java.util;Map;true;put;;;Argument[0];MapKey of Argument[-1];value", - "java.util;Map;true;put;;;Argument[1];MapValue of Argument[-1];value", + "java.util;Map;true;put;(Object,Object);;MapValue of Argument[-1];ReturnValue;value", + "java.util;Map;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value", + "java.util;Map;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value", "java.util;Map;true;putIfAbsent;;;MapValue of Argument[-1];ReturnValue;value", "java.util;Map;true;putIfAbsent;;;Argument[0];MapKey of Argument[-1];value", "java.util;Map;true;putIfAbsent;;;Argument[1];MapValue of Argument[-1];value",