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

C++: Update MaD models.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-06-19 14:35:56 +01:00
parent b0bd7a983f
commit 85da3d2f13
7 changed files with 245 additions and 246 deletions
Download Patch File Download Diff File Expand all files Collapse all files

134
cpp/ql/lib/ext/std.deque.model .yml
View File

@@ -3,70 +3,70 @@ extensions:
pack: codeql/cpp-all
extensible: summaryModel
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
- ["std", "deque", True, "assign", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "assign<InputIt>", "(InputIt,InputIt)", "", "Argument[0]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "at", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "back", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "begin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque", True, "cbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque", True, "deque", "(const deque &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "deque", "(deque &&)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "front", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque", True, "operator=", "", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "operator[]", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
- ["std", "deque", True, "push_back", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "push_front", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque", True, "rbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque", True, "rcbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque", "(const deque &,const Allocator &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque", "(deque &&,const Allocator &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque", "(size_type,const T &,const Allocator &)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque<InputIterator>", "(InputIterator,InputIterator,const Allocator &)", "", "Argument[0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[*1]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[*2]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,T &&)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,T &&)", "", "Argument[*1]", "ReturnValue.Element[*]", "value", "manual"]
- ["std", "deque", True, "assign", "", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "assign<InputIt>", "(InputIt,InputIt)", "", "Argument[0]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "at", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "back", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "begin", "", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque", True, "cbegin", "", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque", True, "deque", "(const deque &)", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "deque", "(deque &&)", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@1]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@2]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@2]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@3]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@3]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@4]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@4]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@5]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[*@5]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@0]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@0]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@1]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@2]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@2]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@3]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@3]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@4]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@4]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@5]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[*@5]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_back", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@0]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@0]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@1]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@2]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@2]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@3]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@3]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@4]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@4]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@5]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[*@5]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "emplace_front", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "front", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque", True, "operator=", "", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "operator[]", "", "", "Argument[-1].Element[*@]", "ReturnValue[*@]", "value", "manual"]
- ["std", "deque", True, "push_back", "", "", "Argument[*@0]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "push_front", "", "", "Argument[*@0]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque", True, "rbegin", "", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque", True, "rcbegin", "", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque", "(const deque &,const Allocator &)", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque", "(deque &&,const Allocator &)", "", "Argument[*0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque", "(size_type,const T &,const Allocator &)", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T,Allocator>", True, "deque<InputIterator>", "(InputIterator,InputIterator,const Allocator &)", "", "Argument[0].Element[*@]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[*@1]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[*@2]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[*@2]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[-1].Element[*@]", "ReturnValue.Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,T &&)", "", "Argument[*@1]", "Argument[-1].Element[*@]", "value", "manual"]
- ["std", "deque<T>", True, "insert", "(const_iterator,T &&)", "", "Argument[*@1]", "ReturnValue.Element[*@]", "value", "manual"]