Skip to content

Commit 4dc13e8

Browse files
MathiasVPMathiasVP
committed
C++: Add summaries for std dequence containers.
1 parent 716df0c commit 4dc13e8

6 files changed

Lines changed: 275 additions & 0 deletions

File tree

‎cpp/ql/lib/ext/std.array.model.yml‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/cpp-all
4+
extensible: summaryModel
5+
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6+
- ["std", "array", True, "at", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
7+
- ["std", "array", True, "begin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
8+
- ["std", "array", True, "cbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
9+
- ["std", "array", True, "data", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
10+
- ["std", "array", True, "operator[]", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
11+
- ["std", "array", True, "rbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
12+
- ["std", "array", True, "rcbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]

‎cpp/ql/lib/ext/std.deque.model .yml‎

Lines changed: 72 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,72 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/cpp-all
4+
extensible: summaryModel
5+
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6+
- ["std", "deque", True, "assign", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
7+
- ["std", "deque", True, "assign<InputIt>", "(InputIt,InputIt)", "", "Argument[0]", "Argument[-1].Element[*]", "value", "manual"]
8+
- ["std", "deque", True, "at", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
9+
- ["std", "deque", True, "back", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
10+
- ["std", "deque", True, "begin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
11+
- ["std", "deque", True, "cbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
12+
- ["std", "deque", True, "deque", "(const deque &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
13+
- ["std", "deque", True, "deque", "(deque &&)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
14+
- ["std", "deque", True, "emplace", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
15+
- ["std", "deque", True, "emplace", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
16+
- ["std", "deque", True, "emplace", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
17+
- ["std", "deque", True, "emplace", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
18+
- ["std", "deque", True, "emplace", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
19+
- ["std", "deque", True, "emplace", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
20+
- ["std", "deque", True, "emplace", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
21+
- ["std", "deque", True, "emplace", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
22+
- ["std", "deque", True, "emplace", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
23+
- ["std", "deque", True, "emplace", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
24+
- ["std", "deque", True, "emplace", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
25+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
26+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]
27+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
28+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
29+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
30+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
31+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
32+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
33+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
34+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
35+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
36+
- ["std", "deque", True, "emplace_back", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
37+
- ["std", "deque", True, "emplace_back", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
38+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
39+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]
40+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
41+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
42+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
43+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
44+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
45+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
46+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
47+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
48+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
49+
- ["std", "deque", True, "emplace_front", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
50+
- ["std", "deque", True, "emplace_front", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
51+
- ["std", "deque", True, "front", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
52+
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
53+
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
54+
- ["std", "deque", True, "insert<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
55+
- ["std", "deque", True, "operator=", "", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
56+
- ["std", "deque", True, "operator[]", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
57+
- ["std", "deque", True, "push_back", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
58+
- ["std", "deque", True, "push_front", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
59+
- ["std", "deque", True, "rbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
60+
- ["std", "deque", True, "rcbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
61+
- ["std", "deque<T,Allocator>", True, "deque", "(const deque &,const Allocator &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
62+
- ["std", "deque<T,Allocator>", True, "deque", "(deque &&,const Allocator &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
63+
- ["std", "deque<T,Allocator>", True, "deque", "(size_type,const T &,const Allocator &)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
64+
- ["std", "deque<T,Allocator>", True, "deque<InputIterator>", "(InputIterator,InputIterator,const Allocator &)", "", "Argument[0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
65+
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
66+
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[*1]", "ReturnValue.Element[*]", "value", "manual"]
67+
- ["std", "deque<T>", True, "insert", "(const_iterator,const T &)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
68+
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
69+
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[*2]", "ReturnValue.Element[*]", "value", "manual"]
70+
- ["std", "deque<T>", True, "insert", "(const_iterator,size_type,const T &)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
71+
- ["std", "deque<T>", True, "insert", "(const_iterator,T &&)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
72+
- ["std", "deque<T>", True, "insert", "(const_iterator,T &&)", "", "Argument[*1]", "ReturnValue.Element[*]", "value", "manual"]

‎cpp/ql/lib/ext/std.forward_list.model.yml‎

Lines changed: 55 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,55 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/cpp-all
4+
extensible: summaryModel
5+
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6+
- ["std", "forward_list", True, "insert_after<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
7+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,const T &)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
8+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,size_type,const T &)", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
9+
- ["std", "forward_list", True, "assign", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
10+
- ["std", "forward_list", True, "assign<InputIt>", "(InputIt,InputIt)", "", "Argument[0]", "Argument[-1].Element[*]", "value", "manual"]
11+
- ["std", "forward_list", True, "begin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
12+
- ["std", "forward_list", True, "cbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
13+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
14+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
15+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
16+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
17+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
18+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
19+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
20+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
21+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
22+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
23+
- ["std", "forward_list", True, "emplace_after", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
24+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
25+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]
26+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
27+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*1]", "ReturnValue[*]", "value", "manual"]
28+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
29+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*2]", "ReturnValue[*]", "value", "manual"]
30+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*3]", "Argument[-1].Element[*]", "value", "manual"]
31+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*3]", "ReturnValue[*]", "value", "manual"]
32+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*4]", "Argument[-1].Element[*]", "value", "manual"]
33+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*4]", "ReturnValue[*]", "value", "manual"]
34+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*5]", "Argument[-1].Element[*]", "value", "manual"]
35+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[*5]", "ReturnValue[*]", "value", "manual"]
36+
- ["std", "forward_list", True, "emplace_front", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
37+
- ["std", "forward_list", True, "forward_list", "(const forward_list &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
38+
- ["std", "forward_list", True, "forward_list", "(forward_list &&)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
39+
- ["std", "forward_list", True, "front", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
40+
- ["std", "forward_list", True, "insert_after<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
41+
- ["std", "forward_list", True, "insert_after<InputIt>", "(const_iterator,InputIt,InputIt)", "", "Argument[1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
42+
- ["std", "forward_list", True, "operator=", "", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
43+
- ["std", "forward_list", True, "push_front", "", "", "Argument[*0]", "Argument[-1].Element[*]", "value", "manual"]
44+
- ["std", "forward_list", True, "rbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
45+
- ["std", "forward_list", True, "rcbegin", "", "", "Argument[-1].Element[*]", "ReturnValue.Element[*]", "value", "manual"]
46+
- ["std", "forward_list<T,Allocator>", True, "forward_list", "(const forward_list &,const Allocator &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
47+
- ["std", "forward_list<T,Allocator>", True, "forward_list", "(forward_list &&,const Allocator &)", "", "Argument[*0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
48+
- ["std", "forward_list<T,Allocator>", True, "forward_list", "(InputIterator,InputIterator,const Allocator &)", "", "Argument[0].Element[*]", "Argument[-1].Element[*]", "value", "manual"]
49+
- ["std", "forward_list<T,Allocator>", True, "forward_list", "(size_type,const T &,const Allocator &)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
50+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,const T &)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
51+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,const T &)", "", "Argument[*1]", "ReturnValue.Element[*]", "value", "manual"]
52+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,size_type,const T &)", "", "Argument[*2]", "Argument[-1].Element[*]", "value", "manual"]
53+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,size_type,const T &)", "", "Argument[*2]", "ReturnValue.Element[*]", "value", "manual"]
54+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,T &&)", "", "Argument[*1]", "Argument[-1].Element[*]", "value", "manual"]
55+
- ["std", "forward_list<T>", True, "insert_after", "(const_iterator,T &&)", "", "Argument[*1]", "ReturnValue.Element[*]", "value", "manual"]

‎cpp/ql/lib/ext/std.iterator.model.yml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/cpp-all
4+
extensible: summaryModel
5+
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6+
- ["std", "iterator", True, "operator*", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]
7+
- ["std", "iterator", True, "operator->", "", "", "Argument[-1].Element[*]", "ReturnValue[*]", "value", "manual"]

0 commit comments

Comments
 (0)