Skip to content

Commit 8d365b0

Browse files
aschackmullaschackmull
committed
C/C++: Adjust expected output.
1 parent e72a0b2 commit 8d365b0

File tree

1 file changed

+44
-2
lines changed

1 file changed

+44
-2
lines changed

‎cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/pointer-deref/InvalidPointerDeref.expected

Lines changed: 44 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,33 +2,48 @@ edges
22
| test.cpp:4:15:4:20 | call to malloc | test.cpp:5:15:5:22 | ... + ... |
33
| test.cpp:4:15:4:20 | call to malloc | test.cpp:5:15:5:22 | ... + ... |
44
| test.cpp:4:15:4:20 | call to malloc | test.cpp:6:14:6:15 | * ... |
5+
| test.cpp:4:15:4:20 | call to malloc | test.cpp:6:14:6:15 | * ... |
56
| test.cpp:4:15:4:20 | call to malloc | test.cpp:8:14:8:21 | * ... |
7+
| test.cpp:5:15:5:22 | ... + ... | test.cpp:5:15:5:22 | ... + ... |
8+
| test.cpp:5:15:5:22 | ... + ... | test.cpp:6:14:6:15 | * ... |
9+
| test.cpp:5:15:5:22 | ... + ... | test.cpp:6:14:6:15 | * ... |
610
| test.cpp:5:15:5:22 | ... + ... | test.cpp:6:14:6:15 | * ... |
711
| test.cpp:5:15:5:22 | ... + ... | test.cpp:6:14:6:15 | * ... |
812
| test.cpp:5:15:5:22 | ... + ... | test.cpp:8:14:8:21 | * ... |
913
| test.cpp:5:15:5:22 | ... + ... | test.cpp:8:14:8:21 | * ... |
14+
| test.cpp:6:14:6:15 | * ... | test.cpp:8:14:8:21 | * ... |
1015
| test.cpp:16:15:16:20 | call to malloc | test.cpp:20:14:20:21 | * ... |
1116
| test.cpp:28:15:28:20 | call to malloc | test.cpp:29:15:29:28 | ... + ... |
1217
| test.cpp:28:15:28:20 | call to malloc | test.cpp:29:15:29:28 | ... + ... |
1318
| test.cpp:28:15:28:20 | call to malloc | test.cpp:30:14:30:15 | * ... |
19+
| test.cpp:28:15:28:20 | call to malloc | test.cpp:30:14:30:15 | * ... |
1420
| test.cpp:28:15:28:20 | call to malloc | test.cpp:32:14:32:21 | * ... |
21+
| test.cpp:29:15:29:28 | ... + ... | test.cpp:29:15:29:28 | ... + ... |
22+
| test.cpp:29:15:29:28 | ... + ... | test.cpp:30:14:30:15 | * ... |
23+
| test.cpp:29:15:29:28 | ... + ... | test.cpp:30:14:30:15 | * ... |
1524
| test.cpp:29:15:29:28 | ... + ... | test.cpp:30:14:30:15 | * ... |
1625
| test.cpp:29:15:29:28 | ... + ... | test.cpp:30:14:30:15 | * ... |
1726
| test.cpp:29:15:29:28 | ... + ... | test.cpp:32:14:32:21 | * ... |
1827
| test.cpp:29:15:29:28 | ... + ... | test.cpp:32:14:32:21 | * ... |
28+
| test.cpp:30:14:30:15 | * ... | test.cpp:32:14:32:21 | * ... |
1929
| test.cpp:40:15:40:20 | call to malloc | test.cpp:41:15:41:28 | ... + ... |
2030
| test.cpp:40:15:40:20 | call to malloc | test.cpp:41:15:41:28 | ... + ... |
2131
| test.cpp:40:15:40:20 | call to malloc | test.cpp:42:14:42:15 | * ... |
32+
| test.cpp:40:15:40:20 | call to malloc | test.cpp:42:14:42:15 | * ... |
2233
| test.cpp:40:15:40:20 | call to malloc | test.cpp:44:14:44:21 | * ... |
34+
| test.cpp:41:15:41:28 | ... + ... | test.cpp:41:15:41:28 | ... + ... |
35+
| test.cpp:41:15:41:28 | ... + ... | test.cpp:42:14:42:15 | * ... |
36+
| test.cpp:41:15:41:28 | ... + ... | test.cpp:42:14:42:15 | * ... |
2337
| test.cpp:41:15:41:28 | ... + ... | test.cpp:42:14:42:15 | * ... |
2438
| test.cpp:41:15:41:28 | ... + ... | test.cpp:42:14:42:15 | * ... |
2539
| test.cpp:41:15:41:28 | ... + ... | test.cpp:44:14:44:21 | * ... |
2640
| test.cpp:41:15:41:28 | ... + ... | test.cpp:44:14:44:21 | * ... |
41+
| test.cpp:42:14:42:15 | * ... | test.cpp:44:14:44:21 | * ... |
2742
| test.cpp:51:33:51:35 | end | test.cpp:60:34:60:37 | mk_array output argument |
2843
| test.cpp:52:19:52:24 | call to malloc | test.cpp:53:5:53:23 | ... = ... |
2944
| test.cpp:52:19:52:24 | call to malloc | test.cpp:53:12:53:23 | ... + ... |
3045
| test.cpp:53:5:53:23 | ... = ... | test.cpp:51:33:51:35 | end |
31-
| test.cpp:53:12:53:23 | ... + ... | test.cpp:51:33:51:35 | end |
46+
| test.cpp:53:12:53:23 | ... + ... | test.cpp:53:5:53:23 | ... = ... |
3247
| test.cpp:60:34:60:37 | mk_array output argument | test.cpp:67:9:67:14 | ... = ... |
3348
| test.cpp:80:9:80:16 | mk_array indirection [end] | test.cpp:89:19:89:26 | call to mk_array [end] |
3449
| test.cpp:80:9:80:16 | mk_array indirection [end] | test.cpp:119:18:119:25 | call to mk_array [end] |
@@ -85,11 +100,13 @@ edges
85100
| test.cpp:194:23:194:28 | call to malloc | test.cpp:195:17:195:23 | ... + ... |
86101
| test.cpp:194:23:194:28 | call to malloc | test.cpp:195:17:195:23 | ... + ... |
87102
| test.cpp:194:23:194:28 | call to malloc | test.cpp:201:5:201:19 | ... = ... |
103+
| test.cpp:195:17:195:23 | ... + ... | test.cpp:195:17:195:23 | ... + ... |
88104
| test.cpp:195:17:195:23 | ... + ... | test.cpp:201:5:201:19 | ... = ... |
89105
| test.cpp:195:17:195:23 | ... + ... | test.cpp:201:5:201:19 | ... = ... |
90106
| test.cpp:205:23:205:28 | call to malloc | test.cpp:206:17:206:23 | ... + ... |
91107
| test.cpp:205:23:205:28 | call to malloc | test.cpp:206:17:206:23 | ... + ... |
92108
| test.cpp:205:23:205:28 | call to malloc | test.cpp:213:5:213:13 | ... = ... |
109+
| test.cpp:206:17:206:23 | ... + ... | test.cpp:206:17:206:23 | ... + ... |
93110
| test.cpp:206:17:206:23 | ... + ... | test.cpp:213:5:213:13 | ... = ... |
94111
| test.cpp:206:17:206:23 | ... + ... | test.cpp:213:5:213:13 | ... = ... |
95112
| test.cpp:231:18:231:30 | new[] | test.cpp:232:3:232:20 | ... = ... |
@@ -98,11 +115,18 @@ edges
98115
| test.cpp:260:13:260:24 | new[] | test.cpp:261:14:261:21 | ... + ... |
99116
| test.cpp:260:13:260:24 | new[] | test.cpp:261:14:261:21 | ... + ... |
100117
| test.cpp:260:13:260:24 | new[] | test.cpp:264:13:264:14 | * ... |
118+
| test.cpp:260:13:260:24 | new[] | test.cpp:264:13:264:14 | * ... |
119+
| test.cpp:261:14:261:21 | ... + ... | test.cpp:261:14:261:21 | ... + ... |
120+
| test.cpp:261:14:261:21 | ... + ... | test.cpp:264:13:264:14 | * ... |
101121
| test.cpp:261:14:261:21 | ... + ... | test.cpp:264:13:264:14 | * ... |
102122
| test.cpp:261:14:261:21 | ... + ... | test.cpp:264:13:264:14 | * ... |
123+
| test.cpp:261:14:261:21 | ... + ... | test.cpp:264:13:264:14 | * ... |
124+
| test.cpp:264:13:264:14 | * ... | test.cpp:264:13:264:14 | * ... |
125+
| test.cpp:264:13:264:14 | * ... | test.cpp:264:13:264:14 | * ... |
103126
| test.cpp:270:13:270:24 | new[] | test.cpp:271:14:271:21 | ... + ... |
104127
| test.cpp:270:13:270:24 | new[] | test.cpp:271:14:271:21 | ... + ... |
105128
| test.cpp:270:13:270:24 | new[] | test.cpp:274:5:274:10 | ... = ... |
129+
| test.cpp:271:14:271:21 | ... + ... | test.cpp:271:14:271:21 | ... + ... |
106130
| test.cpp:271:14:271:21 | ... + ... | test.cpp:274:5:274:10 | ... = ... |
107131
| test.cpp:271:14:271:21 | ... + ... | test.cpp:274:5:274:10 | ... = ... |
108132
| test.cpp:304:15:304:26 | new[] | test.cpp:308:5:308:29 | ... = ... |
@@ -112,10 +136,12 @@ edges
112136
| test.cpp:355:14:355:27 | new[] | test.cpp:357:24:357:30 | ... + ... |
113137
| test.cpp:355:14:355:27 | new[] | test.cpp:358:14:358:26 | * ... |
114138
| test.cpp:355:14:355:27 | new[] | test.cpp:359:14:359:32 | * ... |
139+
| test.cpp:356:15:356:23 | ... + ... | test.cpp:356:15:356:23 | ... + ... |
115140
| test.cpp:356:15:356:23 | ... + ... | test.cpp:358:14:358:26 | * ... |
116141
| test.cpp:356:15:356:23 | ... + ... | test.cpp:358:14:358:26 | * ... |
117142
| test.cpp:356:15:356:23 | ... + ... | test.cpp:359:14:359:32 | * ... |
118143
| test.cpp:356:15:356:23 | ... + ... | test.cpp:359:14:359:32 | * ... |
144+
| test.cpp:357:24:357:30 | ... + ... | test.cpp:357:24:357:30 | ... + ... |
119145
| test.cpp:357:24:357:30 | ... + ... | test.cpp:358:14:358:26 | * ... |
120146
| test.cpp:357:24:357:30 | ... + ... | test.cpp:358:14:358:26 | * ... |
121147
| test.cpp:357:24:357:30 | ... + ... | test.cpp:359:14:359:32 | * ... |
@@ -125,53 +151,64 @@ edges
125151
| test.cpp:377:14:377:27 | new[] | test.cpp:381:5:381:9 | ... ++ |
126152
| test.cpp:377:14:377:27 | new[] | test.cpp:381:5:381:9 | ... ++ |
127153
| test.cpp:377:14:377:27 | new[] | test.cpp:384:13:384:16 | * ... |
154+
| test.cpp:378:15:378:23 | ... + ... | test.cpp:378:15:378:23 | ... + ... |
128155
| test.cpp:378:15:378:23 | ... + ... | test.cpp:384:13:384:16 | * ... |
129156
| test.cpp:378:15:378:23 | ... + ... | test.cpp:384:13:384:16 | * ... |
130-
| test.cpp:381:5:381:9 | ... ++ | test.cpp:384:13:384:16 | * ... |
157+
| test.cpp:381:5:381:9 | ... ++ | test.cpp:381:5:381:9 | ... ++ |
131158
| test.cpp:381:5:381:9 | ... ++ | test.cpp:384:13:384:16 | * ... |
132159
| test.cpp:410:14:410:27 | new[] | test.cpp:411:15:411:23 | & ... |
133160
| test.cpp:410:14:410:27 | new[] | test.cpp:411:15:411:23 | & ... |
134161
| test.cpp:410:14:410:27 | new[] | test.cpp:413:5:413:8 | ... ++ |
135162
| test.cpp:410:14:410:27 | new[] | test.cpp:413:5:413:8 | ... ++ |
136163
| test.cpp:410:14:410:27 | new[] | test.cpp:415:7:415:15 | ... = ... |
164+
| test.cpp:411:15:411:23 | & ... | test.cpp:411:15:411:23 | & ... |
137165
| test.cpp:411:15:411:23 | & ... | test.cpp:415:7:415:15 | ... = ... |
138166
| test.cpp:411:15:411:23 | & ... | test.cpp:415:7:415:15 | ... = ... |
167+
| test.cpp:413:5:413:8 | ... ++ | test.cpp:413:5:413:8 | ... ++ |
139168
| test.cpp:413:5:413:8 | ... ++ | test.cpp:415:7:415:15 | ... = ... |
140169
| test.cpp:413:5:413:8 | ... ++ | test.cpp:415:7:415:15 | ... = ... |
141170
| test.cpp:421:14:421:27 | new[] | test.cpp:422:15:422:23 | & ... |
142171
| test.cpp:421:14:421:27 | new[] | test.cpp:422:15:422:23 | & ... |
143172
| test.cpp:421:14:421:27 | new[] | test.cpp:424:5:424:8 | ... ++ |
144173
| test.cpp:421:14:421:27 | new[] | test.cpp:424:5:424:8 | ... ++ |
145174
| test.cpp:421:14:421:27 | new[] | test.cpp:426:7:426:15 | ... = ... |
175+
| test.cpp:422:15:422:23 | & ... | test.cpp:422:15:422:23 | & ... |
146176
| test.cpp:422:15:422:23 | & ... | test.cpp:426:7:426:15 | ... = ... |
147177
| test.cpp:422:15:422:23 | & ... | test.cpp:426:7:426:15 | ... = ... |
178+
| test.cpp:424:5:424:8 | ... ++ | test.cpp:424:5:424:8 | ... ++ |
148179
| test.cpp:424:5:424:8 | ... ++ | test.cpp:426:7:426:15 | ... = ... |
149180
| test.cpp:424:5:424:8 | ... ++ | test.cpp:426:7:426:15 | ... = ... |
150181
| test.cpp:432:14:432:27 | new[] | test.cpp:433:15:433:23 | & ... |
151182
| test.cpp:432:14:432:27 | new[] | test.cpp:433:15:433:23 | & ... |
152183
| test.cpp:432:14:432:27 | new[] | test.cpp:436:5:436:8 | ... ++ |
153184
| test.cpp:432:14:432:27 | new[] | test.cpp:436:5:436:8 | ... ++ |
154185
| test.cpp:432:14:432:27 | new[] | test.cpp:438:7:438:15 | ... = ... |
186+
| test.cpp:433:15:433:23 | & ... | test.cpp:433:15:433:23 | & ... |
155187
| test.cpp:433:15:433:23 | & ... | test.cpp:438:7:438:15 | ... = ... |
156188
| test.cpp:433:15:433:23 | & ... | test.cpp:438:7:438:15 | ... = ... |
189+
| test.cpp:436:5:436:8 | ... ++ | test.cpp:436:5:436:8 | ... ++ |
157190
| test.cpp:436:5:436:8 | ... ++ | test.cpp:438:7:438:15 | ... = ... |
158191
| test.cpp:436:5:436:8 | ... ++ | test.cpp:438:7:438:15 | ... = ... |
159192
| test.cpp:444:14:444:27 | new[] | test.cpp:445:15:445:23 | & ... |
160193
| test.cpp:444:14:444:27 | new[] | test.cpp:445:15:445:23 | & ... |
161194
| test.cpp:444:14:444:27 | new[] | test.cpp:448:5:448:8 | ... ++ |
162195
| test.cpp:444:14:444:27 | new[] | test.cpp:448:5:448:8 | ... ++ |
163196
| test.cpp:444:14:444:27 | new[] | test.cpp:450:7:450:15 | ... = ... |
197+
| test.cpp:445:15:445:23 | & ... | test.cpp:445:15:445:23 | & ... |
164198
| test.cpp:445:15:445:23 | & ... | test.cpp:450:7:450:15 | ... = ... |
165199
| test.cpp:445:15:445:23 | & ... | test.cpp:450:7:450:15 | ... = ... |
200+
| test.cpp:448:5:448:8 | ... ++ | test.cpp:448:5:448:8 | ... ++ |
166201
| test.cpp:448:5:448:8 | ... ++ | test.cpp:450:7:450:15 | ... = ... |
167202
| test.cpp:448:5:448:8 | ... ++ | test.cpp:450:7:450:15 | ... = ... |
168203
| test.cpp:480:14:480:27 | new[] | test.cpp:481:15:481:23 | & ... |
169204
| test.cpp:480:14:480:27 | new[] | test.cpp:481:15:481:23 | & ... |
170205
| test.cpp:480:14:480:27 | new[] | test.cpp:484:5:484:8 | ... ++ |
171206
| test.cpp:480:14:480:27 | new[] | test.cpp:484:5:484:8 | ... ++ |
172207
| test.cpp:480:14:480:27 | new[] | test.cpp:486:7:486:15 | ... = ... |
208+
| test.cpp:481:15:481:23 | & ... | test.cpp:481:15:481:23 | & ... |
173209
| test.cpp:481:15:481:23 | & ... | test.cpp:486:7:486:15 | ... = ... |
174210
| test.cpp:481:15:481:23 | & ... | test.cpp:486:7:486:15 | ... = ... |
211+
| test.cpp:484:5:484:8 | ... ++ | test.cpp:484:5:484:8 | ... ++ |
175212
| test.cpp:484:5:484:8 | ... ++ | test.cpp:486:7:486:15 | ... = ... |
176213
| test.cpp:484:5:484:8 | ... ++ | test.cpp:486:7:486:15 | ... = ... |
177214
| test.cpp:543:14:543:27 | new[] | test.cpp:548:5:548:19 | ... = ... |
@@ -180,6 +217,7 @@ edges
180217
| test.cpp:652:14:652:27 | new[] | test.cpp:656:3:656:6 | ... ++ |
181218
| test.cpp:652:14:652:27 | new[] | test.cpp:656:3:656:6 | ... ++ |
182219
| test.cpp:652:14:652:27 | new[] | test.cpp:662:3:662:11 | ... = ... |
220+
| test.cpp:656:3:656:6 | ... ++ | test.cpp:656:3:656:6 | ... ++ |
183221
| test.cpp:656:3:656:6 | ... ++ | test.cpp:662:3:662:11 | ... = ... |
184222
| test.cpp:656:3:656:6 | ... ++ | test.cpp:662:3:662:11 | ... = ... |
185223
| test.cpp:667:14:667:31 | new[] | test.cpp:675:7:675:23 | ... = ... |
@@ -188,18 +226,21 @@ nodes
188226
| test.cpp:5:15:5:22 | ... + ... | semmle.label | ... + ... |
189227
| test.cpp:5:15:5:22 | ... + ... | semmle.label | ... + ... |
190228
| test.cpp:6:14:6:15 | * ... | semmle.label | * ... |
229+
| test.cpp:6:14:6:15 | * ... | semmle.label | * ... |
191230
| test.cpp:8:14:8:21 | * ... | semmle.label | * ... |
192231
| test.cpp:16:15:16:20 | call to malloc | semmle.label | call to malloc |
193232
| test.cpp:20:14:20:21 | * ... | semmle.label | * ... |
194233
| test.cpp:28:15:28:20 | call to malloc | semmle.label | call to malloc |
195234
| test.cpp:29:15:29:28 | ... + ... | semmle.label | ... + ... |
196235
| test.cpp:29:15:29:28 | ... + ... | semmle.label | ... + ... |
197236
| test.cpp:30:14:30:15 | * ... | semmle.label | * ... |
237+
| test.cpp:30:14:30:15 | * ... | semmle.label | * ... |
198238
| test.cpp:32:14:32:21 | * ... | semmle.label | * ... |
199239
| test.cpp:40:15:40:20 | call to malloc | semmle.label | call to malloc |
200240
| test.cpp:41:15:41:28 | ... + ... | semmle.label | ... + ... |
201241
| test.cpp:41:15:41:28 | ... + ... | semmle.label | ... + ... |
202242
| test.cpp:42:14:42:15 | * ... | semmle.label | * ... |
243+
| test.cpp:42:14:42:15 | * ... | semmle.label | * ... |
203244
| test.cpp:44:14:44:21 | * ... | semmle.label | * ... |
204245
| test.cpp:51:33:51:35 | end | semmle.label | end |
205246
| test.cpp:52:19:52:24 | call to malloc | semmle.label | call to malloc |
@@ -267,6 +308,7 @@ nodes
267308
| test.cpp:261:14:261:21 | ... + ... | semmle.label | ... + ... |
268309
| test.cpp:261:14:261:21 | ... + ... | semmle.label | ... + ... |
269310
| test.cpp:264:13:264:14 | * ... | semmle.label | * ... |
311+
| test.cpp:264:13:264:14 | * ... | semmle.label | * ... |
270312
| test.cpp:270:13:270:24 | new[] | semmle.label | new[] |
271313
| test.cpp:271:14:271:21 | ... + ... | semmle.label | ... + ... |
272314
| test.cpp:271:14:271:21 | ... + ... | semmle.label | ... + ... |

0 commit comments

Comments
 (0)