hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 09:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fill in implementations for getElement

Browse Source
This commit is contained in:
Joe Farebrother
2021-07-28 11:15:48 +01:00
parent cd7c7c3152
commit 338a6f2114
2 changed files with 479 additions and 472 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
java/ql/lib/semmle/code/java/frameworks/guava/Collections.qll
View File

@@ -281,7 +281,7 @@ private class GuavaCollectCsv extends SummaryModelCsv {
"com.google.common.collect;Iterators;false;filter;(Iterator,Predicate);;Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;find;(Iterator,Predicate);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;find;(Iterator,Predicate,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;find;(Iterator,Predicate,Object);;Argument[2];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;find;(Iterator,Predicate,Object);;Argument[2];ReturnValue;value",
"com.google.common.collect;Iterators;false;forArray;(Object[]);;ArrayElement of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;forEnumeration;(Enumeration);;Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;get;(Iterator,int);;Element of Argument[0];ReturnValue;value",
@@ -289,12 +289,12 @@ private class GuavaCollectCsv extends SummaryModelCsv {
"com.google.common.collect;Iterators;false;get;(Iterator,int,Object);;Argument[2];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;getLast;(Iterator);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;getLast;(Iterator,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;getLast;(Iterator,Object);;Argument[1];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;getLast;(Iterator,Object);;Argument[1];ReturnValue;value",
"com.google.common.collect;Iterators;false;getNext;(Iterator,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;getNext;(Iterator,Object);;Argument[1];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;getNext;(Iterator,Object);;Argument[1];ReturnValue;value",
"com.google.common.collect;Iterators;false;getOnlyElement;(Iterator);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;getOnlyElement;(Iterator,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterators;false;getOnlyElement;(Iterator,Object);;Argument[1];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;getOnlyElement;(Iterator,Object);;Argument[1];ReturnValue;value",
"com.google.common.collect;Iterators;false;limit;(Iterator,int);;Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;mergeSorted;(Iterable,Comparator);;Element of Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterators;false;partition;(Iterator,int);;Element of Element of Argument[0];Element of ReturnValue;value",
@@ -320,16 +320,16 @@ private class GuavaCollectCsv extends SummaryModelCsv {
"com.google.common.collect;Iterables;false;filter;(Iterable,Predicate);;Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;find;(Iterable,Predicate);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;find;(Iterable,Predicate,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;find;(Iterable,Predicate,Object);;Argument[2];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;find;(Iterable,Predicate,Object);;Argument[2];ReturnValue;value",
"com.google.common.collect;Iterables;false;get;(Iterable,int);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;get;(Iterable,int,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;get;(Iterable,int,Object);;Argument[2];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;get;(Iterable,int,Object);;Argument[2];ReturnValue;value",
"com.google.common.collect;Iterables;false;getLast;(Iterable);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;getLast;(Iterable,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;getLast;(Iterable,Object);;Argument[1];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;getLast;(Iterable,Object);;Argument[1];ReturnValue;value",
"com.google.common.collect;Iterables;false;getOnlyElement;(Iterable);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;getOnlyElement;(Iterable,Object);;Element of Argument[0];ReturnValue;value",
"com.google.common.collect;Iterables;false;getOnlyElement;(Iterable,Object);;Argument[1];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;getOnlyElement;(Iterable,Object);;Argument[1];ReturnValue;value",
"com.google.common.collect;Iterables;false;limit;(Iterable,int);;Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;mergeSorted;(Iterable,Comparator);;Element of Element of Argument[0];Element of ReturnValue;value",
"com.google.common.collect;Iterables;false;partition;(Iterable,int);;Element of Element of Argument[0];Element of ReturnValue;value",