Skip to content

Commit 0df8ed9

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes in experimental query.
1 parent 8ef486e commit 0df8ed9

1 file changed

Lines changed: 0 additions & 43 deletions

File tree

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

Lines changed: 0 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -21,11 +21,7 @@ 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 |
2524
| 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 |
2925
| test.cpp:111:17:111:19 | arr | test.cpp:111:17:111:22 | access to array | provenance | Config |
3026
| test.cpp:111:17:111:19 | arr | test.cpp:115:35:115:40 | access to array | provenance | Config |
3127
| test.cpp:111:17:111:19 | arr | test.cpp:119:17:119:22 | access to array | provenance | Config |
@@ -35,55 +31,41 @@ edges
3531
| test.cpp:119:17:119:19 | arr | test.cpp:111:17:111:22 | access to array | provenance | Config |
3632
| test.cpp:119:17:119:19 | arr | test.cpp:115:35:115:40 | access to array | provenance | Config |
3733
| 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 |
3934
| test.cpp:128:9:128:11 | arr | test.cpp:128:9:128:14 | access to array | provenance | Config |
4035
| test.cpp:134:25:134:27 | arr | test.cpp:136:9:136:16 | ... += ... | provenance | Config |
4136
| test.cpp:136:9:136:16 | ... += ... | test.cpp:136:9:136:16 | ... += ... | provenance | |
4237
| 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 | |
4438
| test.cpp:143:18:143:21 | asdf | test.cpp:134:25:134:27 | arr | provenance | |
4539
| test.cpp:143:18:143:21 | asdf | test.cpp:143:18:143:21 | asdf | provenance | |
4640
| test.cpp:146:26:146:26 | *p | test.cpp:147:4:147:9 | -- ... | provenance | |
4741
| test.cpp:146:26:146:26 | *p | test.cpp:147:4:147:9 | -- ... | provenance | |
48-
| test.cpp:154:7:154:9 | definition of buf | test.cpp:156:12:156:18 | ... + ... | provenance | Config |
4942
| test.cpp:156:12:156:14 | buf | test.cpp:156:12:156:18 | ... + ... | provenance | Config |
5043
| test.cpp:156:12:156:18 | ... + ... | test.cpp:156:12:156:18 | ... + ... | provenance | |
5144
| test.cpp:156:12:156:18 | ... + ... | test.cpp:158:17:158:18 | *& ... | provenance | |
5245
| test.cpp:158:17:158:18 | *& ... | test.cpp:146:26:146:26 | *p | provenance | |
53-
| test.cpp:217:19:217:24 | definition of buffer | test.cpp:218:16:218:28 | buffer | provenance | |
5446
| test.cpp:218:16:218:28 | buffer | test.cpp:220:5:220:11 | access to array | provenance | Config |
5547
| test.cpp:218:16:218:28 | buffer | test.cpp:221:5:221:11 | access to array | provenance | Config |
5648
| test.cpp:218:23:218:28 | buffer | test.cpp:218:16:218:28 | buffer | provenance | |
57-
| test.cpp:228:10:228:14 | definition of array | test.cpp:229:17:229:29 | array | provenance | |
5849
| test.cpp:229:17:229:29 | array | test.cpp:231:5:231:10 | access to array | provenance | Config |
5950
| test.cpp:229:17:229:29 | array | test.cpp:232:5:232:10 | access to array | provenance | Config |
6051
| test.cpp:229:25:229:29 | array | test.cpp:229:17:229:29 | array | provenance | |
6152
| test.cpp:245:30:245:30 | p | test.cpp:261:27:261:30 | access to array | provenance | Config |
6253
| test.cpp:245:30:245:30 | p | test.cpp:261:27:261:30 | access to array | provenance | Config |
63-
| test.cpp:273:19:273:25 | definition of buffer3 | test.cpp:274:14:274:20 | buffer3 | provenance | |
6454
| test.cpp:274:14:274:20 | buffer3 | test.cpp:245:30:245:30 | p | provenance | |
6555
| test.cpp:274:14:274:20 | buffer3 | test.cpp:274:14:274:20 | buffer3 | provenance | |
6656
| test.cpp:277:35:277:35 | p | test.cpp:278:14:278:14 | p | provenance | |
6757
| test.cpp:278:14:278:14 | p | test.cpp:245:30:245:30 | p | provenance | |
68-
| test.cpp:282:19:282:25 | definition of buffer1 | test.cpp:283:19:283:25 | buffer1 | provenance | |
6958
| test.cpp:283:19:283:25 | buffer1 | test.cpp:277:35:277:35 | p | provenance | |
7059
| test.cpp:283:19:283:25 | buffer1 | test.cpp:283:19:283:25 | buffer1 | provenance | |
71-
| test.cpp:285:19:285:25 | definition of buffer2 | test.cpp:286:19:286:25 | buffer2 | provenance | |
7260
| test.cpp:286:19:286:25 | buffer2 | test.cpp:277:35:277:35 | p | provenance | |
7361
| test.cpp:286:19:286:25 | buffer2 | test.cpp:286:19:286:25 | buffer2 | provenance | |
74-
| test.cpp:288:19:288:25 | definition of buffer3 | test.cpp:289:19:289:25 | buffer3 | provenance | |
7562
| test.cpp:289:19:289:25 | buffer3 | test.cpp:277:35:277:35 | p | provenance | |
7663
| test.cpp:289:19:289:25 | buffer3 | test.cpp:289:19:289:25 | buffer3 | provenance | |
7764
| test.cpp:292:25:292:27 | arr | test.cpp:299:16:299:21 | access to array | provenance | Config |
78-
| test.cpp:305:9:305:12 | definition of arr1 | test.cpp:306:20:306:23 | arr1 | provenance | |
7965
| test.cpp:306:20:306:23 | arr1 | test.cpp:292:25:292:27 | arr | provenance | |
8066
| test.cpp:306:20:306:23 | arr1 | test.cpp:306:20:306:23 | arr1 | provenance | |
81-
| test.cpp:308:9:308:12 | definition of arr2 | test.cpp:309:20:309:23 | arr2 | provenance | |
8267
| test.cpp:309:20:309:23 | arr2 | test.cpp:292:25:292:27 | arr | provenance | |
8368
| test.cpp:309:20:309:23 | arr2 | test.cpp:309:20:309:23 | arr2 | provenance | |
84-
| test.cpp:314:10:314:13 | definition of temp | test.cpp:319:19:319:27 | ... + ... | provenance | Config |
85-
| test.cpp:314:10:314:13 | definition of temp | test.cpp:322:19:322:27 | ... + ... | provenance | Config |
86-
| test.cpp:314:10:314:13 | definition of temp | test.cpp:324:23:324:32 | ... + ... | provenance | Config |
8769
| test.cpp:319:13:319:27 | ... = ... | test.cpp:325:24:325:26 | end | provenance | |
8870
| test.cpp:319:19:319:22 | temp | test.cpp:319:19:319:27 | ... + ... | provenance | Config |
8971
| test.cpp:319:19:319:22 | temp | test.cpp:324:23:324:32 | ... + ... | provenance | Config |
@@ -133,70 +115,56 @@ nodes
133115
| test.cpp:85:34:85:36 | buf | semmle.label | buf |
134116
| test.cpp:87:5:87:31 | access to array | semmle.label | access to array |
135117
| test.cpp:88:5:88:27 | access to array | semmle.label | access to array |
136-
| test.cpp:92:9:92:11 | definition of arr | semmle.label | definition of arr |
137118
| test.cpp:96:13:96:15 | arr | semmle.label | arr |
138119
| test.cpp:96:13:96:18 | access to array | semmle.label | access to array |
139-
| test.cpp:102:9:102:11 | definition of arr | semmle.label | definition of arr |
140120
| test.cpp:111:17:111:19 | arr | semmle.label | arr |
141121
| test.cpp:111:17:111:22 | access to array | semmle.label | access to array |
142122
| test.cpp:115:35:115:37 | arr | semmle.label | arr |
143123
| test.cpp:115:35:115:40 | access to array | semmle.label | access to array |
144124
| test.cpp:119:17:119:19 | arr | semmle.label | arr |
145125
| test.cpp:119:17:119:22 | access to array | semmle.label | access to array |
146-
| test.cpp:125:11:125:13 | definition of arr | semmle.label | definition of arr |
147126
| test.cpp:128:9:128:11 | arr | semmle.label | arr |
148127
| test.cpp:128:9:128:14 | access to array | semmle.label | access to array |
149128
| test.cpp:134:25:134:27 | arr | semmle.label | arr |
150129
| test.cpp:136:9:136:16 | ... += ... | semmle.label | ... += ... |
151130
| test.cpp:136:9:136:16 | ... += ... | semmle.label | ... += ... |
152131
| test.cpp:138:13:138:15 | arr | semmle.label | arr |
153-
| test.cpp:142:10:142:13 | definition of asdf | semmle.label | definition of asdf |
154132
| test.cpp:143:18:143:21 | asdf | semmle.label | asdf |
155133
| test.cpp:143:18:143:21 | asdf | semmle.label | asdf |
156134
| test.cpp:146:26:146:26 | *p | semmle.label | *p |
157135
| test.cpp:147:4:147:9 | -- ... | semmle.label | -- ... |
158136
| test.cpp:147:4:147:9 | -- ... | semmle.label | -- ... |
159-
| test.cpp:154:7:154:9 | definition of buf | semmle.label | definition of buf |
160137
| test.cpp:156:12:156:14 | buf | semmle.label | buf |
161138
| test.cpp:156:12:156:18 | ... + ... | semmle.label | ... + ... |
162139
| test.cpp:156:12:156:18 | ... + ... | semmle.label | ... + ... |
163140
| test.cpp:158:17:158:18 | *& ... | semmle.label | *& ... |
164-
| test.cpp:217:19:217:24 | definition of buffer | semmle.label | definition of buffer |
165141
| test.cpp:218:16:218:28 | buffer | semmle.label | buffer |
166142
| test.cpp:218:23:218:28 | buffer | semmle.label | buffer |
167143
| test.cpp:220:5:220:11 | access to array | semmle.label | access to array |
168144
| test.cpp:221:5:221:11 | access to array | semmle.label | access to array |
169-
| test.cpp:228:10:228:14 | definition of array | semmle.label | definition of array |
170145
| test.cpp:229:17:229:29 | array | semmle.label | array |
171146
| test.cpp:229:25:229:29 | array | semmle.label | array |
172147
| test.cpp:231:5:231:10 | access to array | semmle.label | access to array |
173148
| test.cpp:232:5:232:10 | access to array | semmle.label | access to array |
174149
| test.cpp:245:30:245:30 | p | semmle.label | p |
175150
| test.cpp:245:30:245:30 | p | semmle.label | p |
176151
| test.cpp:261:27:261:30 | access to array | semmle.label | access to array |
177-
| test.cpp:273:19:273:25 | definition of buffer3 | semmle.label | definition of buffer3 |
178152
| test.cpp:274:14:274:20 | buffer3 | semmle.label | buffer3 |
179153
| test.cpp:274:14:274:20 | buffer3 | semmle.label | buffer3 |
180154
| test.cpp:277:35:277:35 | p | semmle.label | p |
181155
| test.cpp:278:14:278:14 | p | semmle.label | p |
182-
| test.cpp:282:19:282:25 | definition of buffer1 | semmle.label | definition of buffer1 |
183156
| test.cpp:283:19:283:25 | buffer1 | semmle.label | buffer1 |
184157
| test.cpp:283:19:283:25 | buffer1 | semmle.label | buffer1 |
185-
| test.cpp:285:19:285:25 | definition of buffer2 | semmle.label | definition of buffer2 |
186158
| test.cpp:286:19:286:25 | buffer2 | semmle.label | buffer2 |
187159
| test.cpp:286:19:286:25 | buffer2 | semmle.label | buffer2 |
188-
| test.cpp:288:19:288:25 | definition of buffer3 | semmle.label | definition of buffer3 |
189160
| test.cpp:289:19:289:25 | buffer3 | semmle.label | buffer3 |
190161
| test.cpp:289:19:289:25 | buffer3 | semmle.label | buffer3 |
191162
| test.cpp:292:25:292:27 | arr | semmle.label | arr |
192163
| test.cpp:299:16:299:21 | access to array | semmle.label | access to array |
193-
| test.cpp:305:9:305:12 | definition of arr1 | semmle.label | definition of arr1 |
194164
| test.cpp:306:20:306:23 | arr1 | semmle.label | arr1 |
195165
| test.cpp:306:20:306:23 | arr1 | semmle.label | arr1 |
196-
| test.cpp:308:9:308:12 | definition of arr2 | semmle.label | definition of arr2 |
197166
| test.cpp:309:20:309:23 | arr2 | semmle.label | arr2 |
198167
| test.cpp:309:20:309:23 | arr2 | semmle.label | arr2 |
199-
| test.cpp:314:10:314:13 | definition of temp | semmle.label | definition of temp |
200168
| test.cpp:319:13:319:27 | ... = ... | semmle.label | ... = ... |
201169
| test.cpp:319:19:319:22 | temp | semmle.label | temp |
202170
| test.cpp:319:19:319:27 | ... + ... | semmle.label | ... + ... |
@@ -221,25 +189,14 @@ subpaths
221189
| 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 |
222190
| 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 |
223191
| 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 |
224-
| 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 |
225192
| 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 |
226-
| 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 |
227193
| 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 |
228-
| 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 |
229-
| 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 |
230194
| 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 |
231195
| 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 |
232-
| 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 |
233196
| 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 |
234-
| 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 |
235197
| 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 |
236-
| 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 |
237198
| 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 |
238-
| 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 |
239199
| 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 |
240-
| 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 |
241-
| 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 |
242-
| 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 |
243200
| 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 |
244201
| 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 |
245202
| 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)