hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add more missing models

Browse Source 
And corresponding tests
This commit is contained in:
Owen Mansel-Chan
2021-08-09 17:14:29 +01:00
parent 54fdfe3906
commit a55a32f50a
2 changed files with 25 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/src/semmle/code/java/frameworks/apache/Collections.qll
View File

@@ -42,6 +42,7 @@ private class ApacheCollectionsModel extends SummaryModelCsv {
";ArrayStack;true;peek;;;Element of Argument[-1];ReturnValue;value",
";ArrayStack;true;pop;;;Element of Argument[-1];ReturnValue;value",
";ArrayStack;true;push;;;Argument[0];Element of Argument[-1];value",
";ArrayStack;true;push;;;Argument[0];ReturnValue;value",
";Bag;true;add;;;Argument[0];Element of Argument[-1];value",
";Bag;true;uniqueSet;;;Element of Argument[-1];Element of ReturnValue;value",
";BidiMap;true;getKey;;;MapKey of Argument[-1];ReturnValue;value",
@@ -100,6 +101,8 @@ private class ApacheCollectionsModel extends SummaryModelCsv {
";MultiSet;true;entrySet;;;Element of Argument[-1];Element of Element of ReturnValue;value",
";MultiValuedMap;true;asMap;;;MapKey of Argument[-1];MapKey of ReturnValue;value",
";MultiValuedMap;true;asMap;;;Element of MapValue of Argument[-1];Element of MapValue of ReturnValue;value",
";MultiValuedMap;true;entries;;;MapKey of Argument[-1];MapKey of Element of ReturnValue;value",
";MultiValuedMap;true;entries;;;Element of MapValue of Argument[-1];MapValue of Element of ReturnValue;value",
";MultiValuedMap;true;get;;;Element of MapValue of Argument[-1];Element of ReturnValue;value",
";MultiValuedMap;true;keys;;;MapKey of Argument[-1];Element of ReturnValue;value",
";MultiValuedMap;true;keySet;;;MapKey of Argument[-1];Element of ReturnValue;value",