Skip to content

Commit 38fc8a7

Browse files
committed
Java: Improve test and fix a few missing cases.
1 parent 9110dfa commit 38fc8a7

File tree

3 files changed

+374
-343
lines changed

3 files changed

+374
-343
lines changed

java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -95,6 +95,7 @@ private class ContainerFlowSummaries extends SummaryModelCsv {
9595
override predicate row(string row) {
9696
row =
9797
[
98+
"java.util;Map<>$Entry;true;getKey;;;MapKey of Argument[-1];ReturnValue;value",
9899
"java.util;Map<>$Entry;true;getValue;;;MapValue of Argument[-1];ReturnValue;value",
99100
"java.util;Map<>$Entry;true;setValue;;;MapValue of Argument[-1];ReturnValue;value",
100101
"java.util;Map<>$Entry;true;setValue;;;Argument[0];MapValue of Argument[-1];value",
@@ -193,6 +194,7 @@ private class ContainerFlowSummaries extends SummaryModelCsv {
193194
"java.util.concurrent;ConcurrentHashMap;true;elements;();;MapValue of Argument[-1];Element of ReturnValue;value",
194195
"java.util;Dictionary;true;elements;();;MapValue of Argument[-1];Element of ReturnValue;value",
195196
"java.util;Dictionary;true;get;(Object);;MapValue of Argument[-1];ReturnValue;value",
197+
"java.util;Dictionary;true;keys;();;MapKey of Argument[-1];Element of ReturnValue;value",
196198
"java.util;Dictionary;true;put;(Object,Object);;MapValue of Argument[-1];ReturnValue;value",
197199
"java.util;Dictionary;true;put;(Object,Object);;Argument[0];MapKey of Argument[-1];value",
198200
"java.util;Dictionary;true;put;(Object,Object);;Argument[1];MapValue of Argument[-1];value",

0 commit comments

Comments
 (0)