hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-28 12:53:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java: Add signature to Map.put.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2021-07-02 14:41:32 +02:00
parent 80124df78e
commit 55ebbc3e01
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll
View File

@@ -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",