Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 85da3d2

Browse files
MathiasVPMathiasVP
committed
C++: Update MaD models.
1 parent b0bd7a9 commit 85da3d2

7 files changed

Lines changed: 245 additions & 246 deletions

‎cpp/ql/lib/ext/Boost.Asio.model.yml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
extensions:
21
# partial model of the Boost::Asio network library
32
extensions:
43
- addsTo:

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

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,10 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
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"]
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: 67 additions & 67 deletions
Original file line numberDiff line numberDiff line change
@@ -3,70 +3,70 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
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"]
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"]

0 commit comments

Comments
 (0)