Skip to content

Commit 0f49ba8

Browse files
committed
C++: Accept test changes. Nothing exciting to see here.
1 parent 9bcdfb6 commit 0f49ba8

File tree

1 file changed

+42
-0
lines changed

1 file changed

+42
-0
lines changed

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-193/constant-size/ConstantSizeArrayOffByOne.expected

+42
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,11 @@ edges
2121
| test.cpp:85:21:85:36 | buf | test.cpp:87:5:87:31 | access to array | provenance | Config |
2222
| test.cpp:85:21:85:36 | buf | test.cpp:88:5:88:27 | access to array | provenance | Config |
2323
| test.cpp:85:34:85:36 | buf | test.cpp:85:21:85:36 | buf | provenance | |
24+
| test.cpp:92:9:92:11 | definition of arr | test.cpp:96:13:96:18 | access to array | provenance | Config |
2425
| test.cpp:96:13:96:15 | arr | test.cpp:96:13:96:18 | access to array | provenance | Config |
26+
| test.cpp:102:9:102:11 | definition of arr | test.cpp:111:17:111:22 | access to array | provenance | Config |
27+
| test.cpp:102:9:102:11 | definition of arr | test.cpp:115:35:115:40 | access to array | provenance | Config |
28+
| test.cpp:102:9:102:11 | definition of arr | test.cpp:119:17:119:22 | access to array | provenance | Config |
2529
| test.cpp:111:17:111:19 | arr | test.cpp:111:17:111:22 | access to array | provenance | Config |
2630
| test.cpp:111:17:111:19 | arr | test.cpp:115:35:115:40 | access to array | provenance | Config |
2731
| test.cpp:111:17:111:19 | arr | test.cpp:119:17:119:22 | access to array | provenance | Config |
@@ -31,40 +35,54 @@ edges
3135
| test.cpp:119:17:119:19 | arr | test.cpp:111:17:111:22 | access to array | provenance | Config |
3236
| test.cpp:119:17:119:19 | arr | test.cpp:115:35:115:40 | access to array | provenance | Config |
3337
| test.cpp:119:17:119:19 | arr | test.cpp:119:17:119:22 | access to array | provenance | Config |
38+
| test.cpp:125:11:125:13 | definition of arr | test.cpp:128:9:128:14 | access to array | provenance | Config |
3439
| test.cpp:128:9:128:11 | arr | test.cpp:128:9:128:14 | access to array | provenance | Config |
3540
| test.cpp:134:25:134:27 | arr | test.cpp:136:9:136:16 | ... += ... | provenance | Config |
3641
| test.cpp:136:9:136:16 | ... += ... | test.cpp:136:9:136:16 | ... += ... | provenance | |
3742
| test.cpp:136:9:136:16 | ... += ... | test.cpp:138:13:138:15 | arr | provenance | |
43+
| test.cpp:142:10:142:13 | definition of asdf | test.cpp:143:18:143:21 | asdf | provenance | |
3844
| test.cpp:143:18:143:21 | asdf | test.cpp:134:25:134:27 | arr | provenance | |
3945
| test.cpp:143:18:143:21 | asdf | test.cpp:143:18:143:21 | asdf | provenance | |
4046
| test.cpp:146:26:146:26 | *p | test.cpp:147:4:147:9 | -- ... | provenance | |
47+
| test.cpp:154:7:154:9 | definition of buf | test.cpp:156:12:156:18 | ... + ... | provenance | Config |
4148
| test.cpp:156:12:156:14 | buf | test.cpp:156:12:156:18 | ... + ... | provenance | Config |
4249
| test.cpp:156:12:156:18 | ... + ... | test.cpp:156:12:156:18 | ... + ... | provenance | |
4350
| test.cpp:156:12:156:18 | ... + ... | test.cpp:158:17:158:18 | *& ... | provenance | |
4451
| test.cpp:158:17:158:18 | *& ... | test.cpp:146:26:146:26 | *p | provenance | |
52+
| test.cpp:217:19:217:24 | definition of buffer | test.cpp:218:16:218:28 | buffer | provenance | |
4553
| test.cpp:218:16:218:28 | buffer | test.cpp:220:5:220:11 | access to array | provenance | Config |
4654
| test.cpp:218:16:218:28 | buffer | test.cpp:221:5:221:11 | access to array | provenance | Config |
4755
| test.cpp:218:23:218:28 | buffer | test.cpp:218:16:218:28 | buffer | provenance | |
56+
| test.cpp:228:10:228:14 | definition of array | test.cpp:229:17:229:29 | array | provenance | |
4857
| test.cpp:229:17:229:29 | array | test.cpp:231:5:231:10 | access to array | provenance | Config |
4958
| test.cpp:229:17:229:29 | array | test.cpp:232:5:232:10 | access to array | provenance | Config |
5059
| test.cpp:229:25:229:29 | array | test.cpp:229:17:229:29 | array | provenance | |
5160
| test.cpp:245:30:245:30 | p | test.cpp:261:27:261:30 | access to array | provenance | Config |
5261
| test.cpp:245:30:245:30 | p | test.cpp:261:27:261:30 | access to array | provenance | Config |
62+
| test.cpp:273:19:273:25 | definition of buffer3 | test.cpp:274:14:274:20 | buffer3 | provenance | |
5363
| test.cpp:274:14:274:20 | buffer3 | test.cpp:245:30:245:30 | p | provenance | |
5464
| test.cpp:274:14:274:20 | buffer3 | test.cpp:274:14:274:20 | buffer3 | provenance | |
5565
| test.cpp:277:35:277:35 | p | test.cpp:278:14:278:14 | p | provenance | |
5666
| test.cpp:278:14:278:14 | p | test.cpp:245:30:245:30 | p | provenance | |
67+
| test.cpp:282:19:282:25 | definition of buffer1 | test.cpp:283:19:283:25 | buffer1 | provenance | |
5768
| test.cpp:283:19:283:25 | buffer1 | test.cpp:277:35:277:35 | p | provenance | |
5869
| test.cpp:283:19:283:25 | buffer1 | test.cpp:283:19:283:25 | buffer1 | provenance | |
70+
| test.cpp:285:19:285:25 | definition of buffer2 | test.cpp:286:19:286:25 | buffer2 | provenance | |
5971
| test.cpp:286:19:286:25 | buffer2 | test.cpp:277:35:277:35 | p | provenance | |
6072
| test.cpp:286:19:286:25 | buffer2 | test.cpp:286:19:286:25 | buffer2 | provenance | |
73+
| test.cpp:288:19:288:25 | definition of buffer3 | test.cpp:289:19:289:25 | buffer3 | provenance | |
6174
| test.cpp:289:19:289:25 | buffer3 | test.cpp:277:35:277:35 | p | provenance | |
6275
| test.cpp:289:19:289:25 | buffer3 | test.cpp:289:19:289:25 | buffer3 | provenance | |
6376
| test.cpp:292:25:292:27 | arr | test.cpp:299:16:299:21 | access to array | provenance | Config |
77+
| test.cpp:305:9:305:12 | definition of arr1 | test.cpp:306:20:306:23 | arr1 | provenance | |
6478
| test.cpp:306:20:306:23 | arr1 | test.cpp:292:25:292:27 | arr | provenance | |
6579
| test.cpp:306:20:306:23 | arr1 | test.cpp:306:20:306:23 | arr1 | provenance | |
80+
| test.cpp:308:9:308:12 | definition of arr2 | test.cpp:309:20:309:23 | arr2 | provenance | |
6681
| test.cpp:309:20:309:23 | arr2 | test.cpp:292:25:292:27 | arr | provenance | |
6782
| test.cpp:309:20:309:23 | arr2 | test.cpp:309:20:309:23 | arr2 | provenance | |
83+
| test.cpp:314:10:314:13 | definition of temp | test.cpp:319:19:319:27 | ... + ... | provenance | Config |
84+
| test.cpp:314:10:314:13 | definition of temp | test.cpp:322:19:322:27 | ... + ... | provenance | Config |
85+
| test.cpp:314:10:314:13 | definition of temp | test.cpp:324:23:324:32 | ... + ... | provenance | Config |
6886
| test.cpp:319:13:319:27 | ... = ... | test.cpp:325:24:325:26 | end | provenance | |
6987
| test.cpp:319:19:319:22 | temp | test.cpp:319:19:319:27 | ... + ... | provenance | Config |
7088
| test.cpp:319:19:319:22 | temp | test.cpp:324:23:324:32 | ... + ... | provenance | Config |
@@ -114,55 +132,69 @@ nodes
114132
| test.cpp:85:34:85:36 | buf | semmle.label | buf |
115133
| test.cpp:87:5:87:31 | access to array | semmle.label | access to array |
116134
| test.cpp:88:5:88:27 | access to array | semmle.label | access to array |
135+
| test.cpp:92:9:92:11 | definition of arr | semmle.label | definition of arr |
117136
| test.cpp:96:13:96:15 | arr | semmle.label | arr |
118137
| test.cpp:96:13:96:18 | access to array | semmle.label | access to array |
138+
| test.cpp:102:9:102:11 | definition of arr | semmle.label | definition of arr |
119139
| test.cpp:111:17:111:19 | arr | semmle.label | arr |
120140
| test.cpp:111:17:111:22 | access to array | semmle.label | access to array |
121141
| test.cpp:115:35:115:37 | arr | semmle.label | arr |
122142
| test.cpp:115:35:115:40 | access to array | semmle.label | access to array |
123143
| test.cpp:119:17:119:19 | arr | semmle.label | arr |
124144
| test.cpp:119:17:119:22 | access to array | semmle.label | access to array |
145+
| test.cpp:125:11:125:13 | definition of arr | semmle.label | definition of arr |
125146
| test.cpp:128:9:128:11 | arr | semmle.label | arr |
126147
| test.cpp:128:9:128:14 | access to array | semmle.label | access to array |
127148
| test.cpp:134:25:134:27 | arr | semmle.label | arr |
128149
| test.cpp:136:9:136:16 | ... += ... | semmle.label | ... += ... |
129150
| test.cpp:136:9:136:16 | ... += ... | semmle.label | ... += ... |
130151
| test.cpp:138:13:138:15 | arr | semmle.label | arr |
152+
| test.cpp:142:10:142:13 | definition of asdf | semmle.label | definition of asdf |
131153
| test.cpp:143:18:143:21 | asdf | semmle.label | asdf |
132154
| test.cpp:143:18:143:21 | asdf | semmle.label | asdf |
133155
| test.cpp:146:26:146:26 | *p | semmle.label | *p |
134156
| test.cpp:147:4:147:9 | -- ... | semmle.label | -- ... |
157+
| test.cpp:154:7:154:9 | definition of buf | semmle.label | definition of buf |
135158
| test.cpp:156:12:156:14 | buf | semmle.label | buf |
136159
| test.cpp:156:12:156:18 | ... + ... | semmle.label | ... + ... |
137160
| test.cpp:156:12:156:18 | ... + ... | semmle.label | ... + ... |
138161
| test.cpp:158:17:158:18 | *& ... | semmle.label | *& ... |
162+
| test.cpp:217:19:217:24 | definition of buffer | semmle.label | definition of buffer |
139163
| test.cpp:218:16:218:28 | buffer | semmle.label | buffer |
140164
| test.cpp:218:23:218:28 | buffer | semmle.label | buffer |
141165
| test.cpp:220:5:220:11 | access to array | semmle.label | access to array |
142166
| test.cpp:221:5:221:11 | access to array | semmle.label | access to array |
167+
| test.cpp:228:10:228:14 | definition of array | semmle.label | definition of array |
143168
| test.cpp:229:17:229:29 | array | semmle.label | array |
144169
| test.cpp:229:25:229:29 | array | semmle.label | array |
145170
| test.cpp:231:5:231:10 | access to array | semmle.label | access to array |
146171
| test.cpp:232:5:232:10 | access to array | semmle.label | access to array |
147172
| test.cpp:245:30:245:30 | p | semmle.label | p |
148173
| test.cpp:245:30:245:30 | p | semmle.label | p |
149174
| test.cpp:261:27:261:30 | access to array | semmle.label | access to array |
175+
| test.cpp:273:19:273:25 | definition of buffer3 | semmle.label | definition of buffer3 |
150176
| test.cpp:274:14:274:20 | buffer3 | semmle.label | buffer3 |
151177
| test.cpp:274:14:274:20 | buffer3 | semmle.label | buffer3 |
152178
| test.cpp:277:35:277:35 | p | semmle.label | p |
153179
| test.cpp:278:14:278:14 | p | semmle.label | p |
180+
| test.cpp:282:19:282:25 | definition of buffer1 | semmle.label | definition of buffer1 |
154181
| test.cpp:283:19:283:25 | buffer1 | semmle.label | buffer1 |
155182
| test.cpp:283:19:283:25 | buffer1 | semmle.label | buffer1 |
183+
| test.cpp:285:19:285:25 | definition of buffer2 | semmle.label | definition of buffer2 |
156184
| test.cpp:286:19:286:25 | buffer2 | semmle.label | buffer2 |
157185
| test.cpp:286:19:286:25 | buffer2 | semmle.label | buffer2 |
186+
| test.cpp:288:19:288:25 | definition of buffer3 | semmle.label | definition of buffer3 |
158187
| test.cpp:289:19:289:25 | buffer3 | semmle.label | buffer3 |
159188
| test.cpp:289:19:289:25 | buffer3 | semmle.label | buffer3 |
160189
| test.cpp:292:25:292:27 | arr | semmle.label | arr |
161190
| test.cpp:299:16:299:21 | access to array | semmle.label | access to array |
191+
| test.cpp:305:9:305:12 | definition of arr1 | semmle.label | definition of arr1 |
162192
| test.cpp:306:20:306:23 | arr1 | semmle.label | arr1 |
163193
| test.cpp:306:20:306:23 | arr1 | semmle.label | arr1 |
194+
| test.cpp:308:9:308:12 | definition of arr2 | semmle.label | definition of arr2 |
164195
| test.cpp:309:20:309:23 | arr2 | semmle.label | arr2 |
165196
| test.cpp:309:20:309:23 | arr2 | semmle.label | arr2 |
197+
| test.cpp:314:10:314:13 | definition of temp | semmle.label | definition of temp |
166198
| test.cpp:319:13:319:27 | ... = ... | semmle.label | ... = ... |
167199
| test.cpp:319:19:319:22 | temp | semmle.label | temp |
168200
| test.cpp:319:19:319:27 | ... + ... | semmle.label | ... + ... |
@@ -187,13 +219,23 @@ subpaths
187219
| test.cpp:72:5:72:15 | PointerAdd: access to array | test.cpp:79:32:79:34 | buf | test.cpp:72:5:72:15 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:15:9:15:11 | buf | buf | test.cpp:72:5:72:19 | Store: ... = ... | write |
188220
| test.cpp:77:27:77:44 | PointerAdd: access to array | test.cpp:77:32:77:34 | buf | test.cpp:66:32:66:32 | p | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:15:9:15:11 | buf | buf | test.cpp:67:5:67:10 | Store: ... = ... | write |
189221
| test.cpp:88:5:88:27 | PointerAdd: access to array | test.cpp:85:34:85:36 | buf | test.cpp:88:5:88:27 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:15:9:15:11 | buf | buf | test.cpp:88:5:88:31 | Store: ... = ... | write |
222+
| test.cpp:128:9:128:14 | PointerAdd: access to array | test.cpp:125:11:125:13 | definition of arr | test.cpp:128:9:128:14 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:125:11:125:13 | arr | arr | test.cpp:128:9:128:18 | Store: ... = ... | write |
190223
| test.cpp:128:9:128:14 | PointerAdd: access to array | test.cpp:128:9:128:11 | arr | test.cpp:128:9:128:14 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:125:11:125:13 | arr | arr | test.cpp:128:9:128:18 | Store: ... = ... | write |
224+
| test.cpp:136:9:136:16 | PointerAdd: ... += ... | test.cpp:142:10:142:13 | definition of asdf | test.cpp:138:13:138:15 | arr | This pointer arithmetic may have an off-by-2 error allowing it to overrun $@ at this $@. | test.cpp:142:10:142:13 | asdf | asdf | test.cpp:138:12:138:15 | Load: * ... | read |
191225
| test.cpp:136:9:136:16 | PointerAdd: ... += ... | test.cpp:143:18:143:21 | asdf | test.cpp:138:13:138:15 | arr | This pointer arithmetic may have an off-by-2 error allowing it to overrun $@ at this $@. | test.cpp:142:10:142:13 | asdf | asdf | test.cpp:138:12:138:15 | Load: * ... | read |
226+
| test.cpp:156:12:156:18 | PointerAdd: ... + ... | test.cpp:154:7:154:9 | definition of buf | test.cpp:147:4:147:9 | -- ... | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:154:7:154:9 | buf | buf | test.cpp:147:3:147:13 | Store: ... = ... | write |
192227
| test.cpp:156:12:156:18 | PointerAdd: ... + ... | test.cpp:156:12:156:14 | buf | test.cpp:147:4:147:9 | -- ... | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:154:7:154:9 | buf | buf | test.cpp:147:3:147:13 | Store: ... = ... | write |
228+
| test.cpp:221:5:221:11 | PointerAdd: access to array | test.cpp:217:19:217:24 | definition of buffer | test.cpp:221:5:221:11 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:217:19:217:24 | buffer | buffer | test.cpp:221:5:221:15 | Store: ... = ... | write |
193229
| test.cpp:221:5:221:11 | PointerAdd: access to array | test.cpp:218:23:218:28 | buffer | test.cpp:221:5:221:11 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:217:19:217:24 | buffer | buffer | test.cpp:221:5:221:15 | Store: ... = ... | write |
230+
| test.cpp:232:5:232:10 | PointerAdd: access to array | test.cpp:228:10:228:14 | definition of array | test.cpp:232:5:232:10 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:228:10:228:14 | array | array | test.cpp:232:5:232:19 | Store: ... = ... | write |
194231
| test.cpp:232:5:232:10 | PointerAdd: access to array | test.cpp:229:25:229:29 | array | test.cpp:232:5:232:10 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:228:10:228:14 | array | array | test.cpp:232:5:232:19 | Store: ... = ... | write |
232+
| test.cpp:261:27:261:30 | PointerAdd: access to array | test.cpp:285:19:285:25 | definition of buffer2 | test.cpp:261:27:261:30 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:285:19:285:25 | buffer2 | buffer2 | test.cpp:261:27:261:30 | Load: access to array | read |
195233
| test.cpp:261:27:261:30 | PointerAdd: access to array | test.cpp:286:19:286:25 | buffer2 | test.cpp:261:27:261:30 | access to array | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:285:19:285:25 | buffer2 | buffer2 | test.cpp:261:27:261:30 | Load: access to array | read |
234+
| test.cpp:299:16:299:21 | PointerAdd: access to array | test.cpp:308:9:308:12 | definition of arr2 | test.cpp:299:16:299:21 | access to array | This pointer arithmetic may have an off-by-1014 error allowing it to overrun $@ at this $@. | test.cpp:308:9:308:12 | arr2 | arr2 | test.cpp:299:16:299:21 | Load: access to array | read |
196235
| test.cpp:299:16:299:21 | PointerAdd: access to array | test.cpp:309:20:309:23 | arr2 | test.cpp:299:16:299:21 | access to array | This pointer arithmetic may have an off-by-1014 error allowing it to overrun $@ at this $@. | test.cpp:308:9:308:12 | arr2 | arr2 | test.cpp:299:16:299:21 | Load: access to array | read |
236+
| test.cpp:322:19:322:27 | PointerAdd: ... + ... | test.cpp:314:10:314:13 | definition of temp | test.cpp:325:24:325:26 | end | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:314:10:314:13 | temp | temp | test.cpp:330:13:330:24 | Store: ... = ... | write |
237+
| test.cpp:322:19:322:27 | PointerAdd: ... + ... | test.cpp:314:10:314:13 | definition of temp | test.cpp:325:24:325:26 | end | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:314:10:314:13 | temp | temp | test.cpp:331:13:331:24 | Store: ... = ... | write |
238+
| test.cpp:322:19:322:27 | PointerAdd: ... + ... | test.cpp:314:10:314:13 | definition of temp | test.cpp:325:24:325:26 | end | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:314:10:314:13 | temp | temp | test.cpp:333:13:333:24 | Store: ... = ... | write |
197239
| test.cpp:322:19:322:27 | PointerAdd: ... + ... | test.cpp:322:19:322:22 | temp | test.cpp:325:24:325:26 | end | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:314:10:314:13 | temp | temp | test.cpp:330:13:330:24 | Store: ... = ... | write |
198240
| test.cpp:322:19:322:27 | PointerAdd: ... + ... | test.cpp:322:19:322:22 | temp | test.cpp:325:24:325:26 | end | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:314:10:314:13 | temp | temp | test.cpp:331:13:331:24 | Store: ... = ... | write |
199241
| test.cpp:322:19:322:27 | PointerAdd: ... + ... | test.cpp:322:19:322:22 | temp | test.cpp:325:24:325:26 | end | This pointer arithmetic may have an off-by-1 error allowing it to overrun $@ at this $@. | test.cpp:314:10:314:13 | temp | temp | test.cpp:333:13:333:24 | Store: ... = ... | write |

0 commit comments

Comments
 (0)