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

Skip to content

Commit 835d3fc

Browse files
MathiasVPMathiasVP
committed
C++: Accept tests
1 parent 43a231f commit 835d3fc

1 file changed

Lines changed: 17 additions & 51 deletions

File tree

‎cpp/ql/test/library-tests/dataflow/fields/ir-path-flow.expected‎

Lines changed: 17 additions & 51 deletions
Original file line numberDiff line numberDiff line change
@@ -4,21 +4,18 @@ edges
44
| A.cpp:55:12:55:19 | new | A.cpp:55:5:55:5 | set output argument [c] |
55
| A.cpp:57:11:57:24 | B output argument [c] | A.cpp:57:28:57:30 | call to get |
66
| A.cpp:57:17:57:23 | new | A.cpp:57:11:57:24 | B output argument [c] |
7-
| A.cpp:98:12:98:18 | new | A.cpp:100:5:100:13 | Store |
7+
| A.cpp:98:12:98:18 | new | A.cpp:100:5:100:13 | Chi [a] |
88
| A.cpp:100:5:100:13 | Chi [a] | A.cpp:103:14:103:14 | *c [a] |
9-
| A.cpp:100:5:100:13 | Store | A.cpp:100:5:100:13 | Chi [a] |
109
| A.cpp:103:14:103:14 | *c [a] | A.cpp:107:16:107:16 | a |
1110
| A.cpp:126:5:126:5 | Chi [c] | A.cpp:131:8:131:8 | f7 output argument [c] |
1211
| A.cpp:126:5:126:5 | set output argument [c] | A.cpp:126:5:126:5 | Chi [c] |
1312
| A.cpp:126:12:126:18 | new | A.cpp:126:5:126:5 | set output argument [c] |
1413
| A.cpp:131:8:131:8 | Chi [c] | A.cpp:132:13:132:13 | c |
1514
| A.cpp:131:8:131:8 | f7 output argument [c] | A.cpp:131:8:131:8 | Chi [c] |
1615
| A.cpp:142:7:142:20 | Chi [c] | A.cpp:151:18:151:18 | D output argument [c] |
17-
| A.cpp:142:7:142:20 | Store | A.cpp:142:7:142:20 | Chi [c] |
18-
| A.cpp:142:14:142:20 | new | A.cpp:142:7:142:20 | Store |
16+
| A.cpp:142:14:142:20 | new | A.cpp:142:7:142:20 | Chi [c] |
1917
| A.cpp:143:7:143:31 | Chi [b] | A.cpp:151:12:151:24 | D output argument [b] |
20-
| A.cpp:143:7:143:31 | Store | A.cpp:143:7:143:31 | Chi [b] |
21-
| A.cpp:143:25:143:31 | new | A.cpp:143:7:143:31 | Store |
18+
| A.cpp:143:25:143:31 | new | A.cpp:143:7:143:31 | Chi [b] |
2219
| A.cpp:150:12:150:18 | new | A.cpp:151:12:151:24 | D output argument [b] |
2320
| A.cpp:151:12:151:24 | Chi [b] | A.cpp:152:13:152:13 | b |
2421
| A.cpp:151:12:151:24 | D output argument [b] | A.cpp:151:12:151:24 | Chi [b] |
@@ -27,36 +24,30 @@ edges
2724
| C.cpp:18:12:18:18 | C output argument [s1] | C.cpp:27:8:27:11 | *#this [s1] |
2825
| C.cpp:18:12:18:18 | C output argument [s3] | C.cpp:27:8:27:11 | *#this [s3] |
2926
| C.cpp:22:12:22:21 | Chi [s1] | C.cpp:24:5:24:25 | Chi [s1] |
30-
| C.cpp:22:12:22:21 | Store | C.cpp:22:12:22:21 | Chi [s1] |
31-
| C.cpp:22:12:22:21 | new | C.cpp:22:12:22:21 | Store |
27+
| C.cpp:22:12:22:21 | new | C.cpp:22:12:22:21 | Chi [s1] |
3228
| C.cpp:24:5:24:25 | Chi [s1] | C.cpp:18:12:18:18 | C output argument [s1] |
3329
| C.cpp:24:5:24:25 | Chi [s3] | C.cpp:18:12:18:18 | C output argument [s3] |
34-
| C.cpp:24:5:24:25 | Store | C.cpp:24:5:24:25 | Chi [s3] |
35-
| C.cpp:24:16:24:25 | new | C.cpp:24:5:24:25 | Store |
30+
| C.cpp:24:16:24:25 | new | C.cpp:24:5:24:25 | Chi [s3] |
3631
| C.cpp:27:8:27:11 | *#this [s1] | C.cpp:29:10:29:11 | s1 |
3732
| C.cpp:27:8:27:11 | *#this [s3] | C.cpp:31:10:31:11 | s3 |
3833
| aliasing.cpp:9:3:9:22 | Chi [m1] | aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] |
39-
| aliasing.cpp:9:3:9:22 | Store | aliasing.cpp:9:3:9:22 | Chi [m1] |
40-
| aliasing.cpp:9:11:9:20 | call to user_input | aliasing.cpp:9:3:9:22 | Store |
34+
| aliasing.cpp:9:11:9:20 | call to user_input | aliasing.cpp:9:3:9:22 | Chi [m1] |
4135
| aliasing.cpp:13:3:13:21 | Chi [m1] | aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] |
42-
| aliasing.cpp:13:3:13:21 | Store | aliasing.cpp:13:3:13:21 | Chi [m1] |
43-
| aliasing.cpp:13:10:13:19 | call to user_input | aliasing.cpp:13:3:13:21 | Store |
36+
| aliasing.cpp:13:10:13:19 | call to user_input | aliasing.cpp:13:3:13:21 | Chi [m1] |
4437
| aliasing.cpp:25:17:25:19 | Chi [m1] | aliasing.cpp:29:11:29:12 | m1 |
4538
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | aliasing.cpp:25:17:25:19 | Chi [m1] |
4639
| aliasing.cpp:26:19:26:20 | Chi [m1] | aliasing.cpp:30:11:30:12 | m1 |
4740
| aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] | aliasing.cpp:26:19:26:20 | Chi [m1] |
4841
| aliasing.cpp:37:13:37:22 | call to user_input | aliasing.cpp:38:11:38:12 | m1 |
4942
| aliasing.cpp:42:11:42:20 | call to user_input | aliasing.cpp:43:13:43:14 | m1 |
5043
| aliasing.cpp:60:3:60:22 | Chi [m1] | aliasing.cpp:61:13:61:14 | Store [m1] |
51-
| aliasing.cpp:60:3:60:22 | Store | aliasing.cpp:60:3:60:22 | Chi [m1] |
52-
| aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:60:3:60:22 | Store |
44+
| aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:60:3:60:22 | Chi [m1] |
5345
| aliasing.cpp:61:13:61:14 | Store [m1] | aliasing.cpp:62:14:62:15 | m1 |
5446
| aliasing.cpp:79:11:79:20 | call to user_input | aliasing.cpp:80:12:80:13 | m1 |
5547
| aliasing.cpp:86:10:86:19 | call to user_input | aliasing.cpp:87:12:87:13 | m1 |
5648
| aliasing.cpp:92:12:92:21 | call to user_input | aliasing.cpp:93:12:93:13 | m1 |
5749
| aliasing.cpp:98:3:98:21 | Chi [m1] | aliasing.cpp:100:14:100:14 | Store [m1] |
58-
| aliasing.cpp:98:3:98:21 | Store | aliasing.cpp:98:3:98:21 | Chi [m1] |
59-
| aliasing.cpp:98:10:98:19 | call to user_input | aliasing.cpp:98:3:98:21 | Store |
50+
| aliasing.cpp:98:10:98:19 | call to user_input | aliasing.cpp:98:3:98:21 | Chi [m1] |
6051
| aliasing.cpp:100:14:100:14 | Store [m1] | aliasing.cpp:102:8:102:10 | * ... |
6152
| aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [array content] |
6253
| aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:126:15:126:20 | taint_a_ptr output argument [array content] |
@@ -67,8 +58,7 @@ edges
6758
| aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:175:15:175:22 | taint_a_ptr output argument [array content] |
6859
| aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:187:15:187:22 | taint_a_ptr output argument [array content] |
6960
| aliasing.cpp:106:3:106:20 | Chi [array content] | aliasing.cpp:200:15:200:24 | taint_a_ptr output argument [array content] |
70-
| aliasing.cpp:106:3:106:20 | Store | aliasing.cpp:106:3:106:20 | Chi [array content] |
71-
| aliasing.cpp:106:9:106:18 | call to user_input | aliasing.cpp:106:3:106:20 | Store |
61+
| aliasing.cpp:106:9:106:18 | call to user_input | aliasing.cpp:106:3:106:20 | Chi [array content] |
7262
| aliasing.cpp:121:15:121:16 | Chi [array content] | aliasing.cpp:122:8:122:12 | access to array |
7363
| aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [array content] | aliasing.cpp:121:15:121:16 | Chi [array content] |
7464
| aliasing.cpp:126:15:126:20 | Chi [array content] | aliasing.cpp:127:8:127:16 | * ... |
@@ -106,20 +96,16 @@ edges
10696
| by_reference.cpp:68:21:68:30 | call to user_input | by_reference.cpp:68:17:68:18 | nonMemberSetA output argument [a] |
10797
| by_reference.cpp:84:3:84:25 | Chi [a] | by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] |
10898
| by_reference.cpp:84:3:84:25 | Chi [a] | by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] |
109-
| by_reference.cpp:84:3:84:25 | Store | by_reference.cpp:84:3:84:25 | Chi [a] |
110-
| by_reference.cpp:84:14:84:23 | call to user_input | by_reference.cpp:84:3:84:25 | Store |
99+
| by_reference.cpp:84:14:84:23 | call to user_input | by_reference.cpp:84:3:84:25 | Chi [a] |
111100
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] |
112101
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] |
113-
| by_reference.cpp:88:3:88:24 | Store | by_reference.cpp:88:3:88:24 | Chi [a] |
114-
| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:88:3:88:24 | Store |
102+
| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:88:3:88:24 | Chi [a] |
115103
| by_reference.cpp:92:3:92:20 | Chi [array content] | by_reference.cpp:104:15:104:22 | taint_a_ptr output argument [array content] |
116104
| by_reference.cpp:92:3:92:20 | Chi [array content] | by_reference.cpp:108:15:108:24 | taint_a_ptr output argument [array content] |
117-
| by_reference.cpp:92:3:92:20 | Store | by_reference.cpp:92:3:92:20 | Chi [array content] |
118-
| by_reference.cpp:92:9:92:18 | call to user_input | by_reference.cpp:92:3:92:20 | Store |
105+
| by_reference.cpp:92:9:92:18 | call to user_input | by_reference.cpp:92:3:92:20 | Chi [array content] |
119106
| by_reference.cpp:96:3:96:19 | Chi [array content] | by_reference.cpp:124:15:124:21 | taint_a_ref output argument [array content] |
120107
| by_reference.cpp:96:3:96:19 | Chi [array content] | by_reference.cpp:128:15:128:23 | taint_a_ref output argument [array content] |
121-
| by_reference.cpp:96:3:96:19 | Store | by_reference.cpp:96:3:96:19 | Chi [array content] |
122-
| by_reference.cpp:96:8:96:17 | call to user_input | by_reference.cpp:96:3:96:19 | Store |
108+
| by_reference.cpp:96:8:96:17 | call to user_input | by_reference.cpp:96:3:96:19 | Chi [array content] |
123109
| by_reference.cpp:102:21:102:39 | Chi [a] | by_reference.cpp:110:27:110:27 | a |
124110
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | by_reference.cpp:102:21:102:39 | Chi [a] |
125111
| by_reference.cpp:104:15:104:22 | Chi | by_reference.cpp:104:15:104:22 | Chi [a] |
@@ -184,19 +170,16 @@ edges
184170
| simple.cpp:65:11:65:20 | call to user_input | simple.cpp:65:5:65:22 | Store [i] |
185171
| simple.cpp:66:12:66:12 | Store [i] | simple.cpp:67:13:67:13 | i |
186172
| simple.cpp:83:9:83:28 | Chi [f1] | simple.cpp:84:14:84:20 | call to getf2f1 |
187-
| simple.cpp:83:9:83:28 | Store | simple.cpp:83:9:83:28 | Chi [f1] |
188-
| simple.cpp:83:17:83:26 | call to user_input | simple.cpp:83:9:83:28 | Store |
173+
| simple.cpp:83:17:83:26 | call to user_input | simple.cpp:83:9:83:28 | Chi [f1] |
189174
| simple.cpp:92:5:92:22 | Store [i] | simple.cpp:93:20:93:20 | Store [i] |
190175
| simple.cpp:92:11:92:20 | call to user_input | simple.cpp:92:5:92:22 | Store [i] |
191176
| simple.cpp:93:20:93:20 | Store [i] | simple.cpp:94:13:94:13 | i |
192177
| struct_init.c:14:24:14:25 | *ab [a] | struct_init.c:15:12:15:12 | a |
193178
| struct_init.c:20:20:20:29 | Chi [a] | struct_init.c:14:24:14:25 | *ab [a] |
194-
| struct_init.c:20:20:20:29 | Store | struct_init.c:20:20:20:29 | Chi [a] |
195-
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:20:20:20:29 | Store |
179+
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:20:20:20:29 | Chi [a] |
196180
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:22:11:22:11 | a |
197181
| struct_init.c:27:7:27:16 | Chi [a] | struct_init.c:14:24:14:25 | *ab [a] |
198-
| struct_init.c:27:7:27:16 | Store | struct_init.c:27:7:27:16 | Chi [a] |
199-
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:27:7:27:16 | Store |
182+
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:27:7:27:16 | Chi [a] |
200183
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:31:23:31:23 | a |
201184
nodes
202185
| A.cpp:55:5:55:5 | set output argument [c] | semmle.label | set output argument [c] |
@@ -208,7 +191,6 @@ nodes
208191
| A.cpp:57:28:57:30 | call to get | semmle.label | call to get |
209192
| A.cpp:98:12:98:18 | new | semmle.label | new |
210193
| A.cpp:100:5:100:13 | Chi [a] | semmle.label | Chi [a] |
211-
| A.cpp:100:5:100:13 | Store | semmle.label | Store |
212194
| A.cpp:103:14:103:14 | *c [a] | semmle.label | *c [a] |
213195
| A.cpp:107:16:107:16 | a | semmle.label | a |
214196
| A.cpp:126:5:126:5 | Chi [c] | semmle.label | Chi [c] |
@@ -218,10 +200,8 @@ nodes
218200
| A.cpp:131:8:131:8 | f7 output argument [c] | semmle.label | f7 output argument [c] |
219201
| A.cpp:132:13:132:13 | c | semmle.label | c |
220202
| A.cpp:142:7:142:20 | Chi [c] | semmle.label | Chi [c] |
221-
| A.cpp:142:7:142:20 | Store | semmle.label | Store |
222203
| A.cpp:142:14:142:20 | new | semmle.label | new |
223204
| A.cpp:143:7:143:31 | Chi [b] | semmle.label | Chi [b] |
224-
| A.cpp:143:7:143:31 | Store | semmle.label | Store |
225205
| A.cpp:143:25:143:31 | new | semmle.label | new |
226206
| A.cpp:150:12:150:18 | new | semmle.label | new |
227207
| A.cpp:151:12:151:24 | Chi [b] | semmle.label | Chi [b] |
@@ -233,21 +213,17 @@ nodes
233213
| C.cpp:18:12:18:18 | C output argument [s1] | semmle.label | C output argument [s1] |
234214
| C.cpp:18:12:18:18 | C output argument [s3] | semmle.label | C output argument [s3] |
235215
| C.cpp:22:12:22:21 | Chi [s1] | semmle.label | Chi [s1] |
236-
| C.cpp:22:12:22:21 | Store | semmle.label | Store |
237216
| C.cpp:22:12:22:21 | new | semmle.label | new |
238217
| C.cpp:24:5:24:25 | Chi [s1] | semmle.label | Chi [s1] |
239218
| C.cpp:24:5:24:25 | Chi [s3] | semmle.label | Chi [s3] |
240-
| C.cpp:24:5:24:25 | Store | semmle.label | Store |
241219
| C.cpp:24:16:24:25 | new | semmle.label | new |
242220
| C.cpp:27:8:27:11 | *#this [s1] | semmle.label | *#this [s1] |
243221
| C.cpp:27:8:27:11 | *#this [s3] | semmle.label | *#this [s3] |
244222
| C.cpp:29:10:29:11 | s1 | semmle.label | s1 |
245223
| C.cpp:31:10:31:11 | s3 | semmle.label | s3 |
246224
| aliasing.cpp:9:3:9:22 | Chi [m1] | semmle.label | Chi [m1] |
247-
| aliasing.cpp:9:3:9:22 | Store | semmle.label | Store |
248225
| aliasing.cpp:9:11:9:20 | call to user_input | semmle.label | call to user_input |
249226
| aliasing.cpp:13:3:13:21 | Chi [m1] | semmle.label | Chi [m1] |
250-
| aliasing.cpp:13:3:13:21 | Store | semmle.label | Store |
251227
| aliasing.cpp:13:10:13:19 | call to user_input | semmle.label | call to user_input |
252228
| aliasing.cpp:25:17:25:19 | Chi [m1] | semmle.label | Chi [m1] |
253229
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | semmle.label | pointerSetter output argument [m1] |
@@ -260,7 +236,6 @@ nodes
260236
| aliasing.cpp:42:11:42:20 | call to user_input | semmle.label | call to user_input |
261237
| aliasing.cpp:43:13:43:14 | m1 | semmle.label | m1 |
262238
| aliasing.cpp:60:3:60:22 | Chi [m1] | semmle.label | Chi [m1] |
263-
| aliasing.cpp:60:3:60:22 | Store | semmle.label | Store |
264239
| aliasing.cpp:60:11:60:20 | call to user_input | semmle.label | call to user_input |
265240
| aliasing.cpp:61:13:61:14 | Store [m1] | semmle.label | Store [m1] |
266241
| aliasing.cpp:62:14:62:15 | m1 | semmle.label | m1 |
@@ -271,12 +246,10 @@ nodes
271246
| aliasing.cpp:92:12:92:21 | call to user_input | semmle.label | call to user_input |
272247
| aliasing.cpp:93:12:93:13 | m1 | semmle.label | m1 |
273248
| aliasing.cpp:98:3:98:21 | Chi [m1] | semmle.label | Chi [m1] |
274-
| aliasing.cpp:98:3:98:21 | Store | semmle.label | Store |
275249
| aliasing.cpp:98:10:98:19 | call to user_input | semmle.label | call to user_input |
276250
| aliasing.cpp:100:14:100:14 | Store [m1] | semmle.label | Store [m1] |
277251
| aliasing.cpp:102:8:102:10 | * ... | semmle.label | * ... |
278252
| aliasing.cpp:106:3:106:20 | Chi [array content] | semmle.label | Chi [array content] |
279-
| aliasing.cpp:106:3:106:20 | Store | semmle.label | Store |
280253
| aliasing.cpp:106:9:106:18 | call to user_input | semmle.label | call to user_input |
281254
| aliasing.cpp:121:15:121:16 | Chi [array content] | semmle.label | Chi [array content] |
282255
| aliasing.cpp:121:15:121:16 | taint_a_ptr output argument [array content] | semmle.label | taint_a_ptr output argument [array content] |
@@ -330,16 +303,12 @@ nodes
330303
| by_reference.cpp:68:21:68:30 | call to user_input | semmle.label | call to user_input |
331304
| by_reference.cpp:69:8:69:20 | call to nonMemberGetA | semmle.label | call to nonMemberGetA |
332305
| by_reference.cpp:84:3:84:25 | Chi [a] | semmle.label | Chi [a] |
333-
| by_reference.cpp:84:3:84:25 | Store | semmle.label | Store |
334306
| by_reference.cpp:84:14:84:23 | call to user_input | semmle.label | call to user_input |
335307
| by_reference.cpp:88:3:88:24 | Chi [a] | semmle.label | Chi [a] |
336-
| by_reference.cpp:88:3:88:24 | Store | semmle.label | Store |
337308
| by_reference.cpp:88:13:88:22 | call to user_input | semmle.label | call to user_input |
338309
| by_reference.cpp:92:3:92:20 | Chi [array content] | semmle.label | Chi [array content] |
339-
| by_reference.cpp:92:3:92:20 | Store | semmle.label | Store |
340310
| by_reference.cpp:92:9:92:18 | call to user_input | semmle.label | call to user_input |
341311
| by_reference.cpp:96:3:96:19 | Chi [array content] | semmle.label | Chi [array content] |
342-
| by_reference.cpp:96:3:96:19 | Store | semmle.label | Store |
343312
| by_reference.cpp:96:8:96:17 | call to user_input | semmle.label | call to user_input |
344313
| by_reference.cpp:102:21:102:39 | Chi [a] | semmle.label | Chi [a] |
345314
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
@@ -415,7 +384,6 @@ nodes
415384
| simple.cpp:66:12:66:12 | Store [i] | semmle.label | Store [i] |
416385
| simple.cpp:67:13:67:13 | i | semmle.label | i |
417386
| simple.cpp:83:9:83:28 | Chi [f1] | semmle.label | Chi [f1] |
418-
| simple.cpp:83:9:83:28 | Store | semmle.label | Store |
419387
| simple.cpp:83:17:83:26 | call to user_input | semmle.label | call to user_input |
420388
| simple.cpp:84:14:84:20 | call to getf2f1 | semmle.label | call to getf2f1 |
421389
| simple.cpp:92:5:92:22 | Store [i] | semmle.label | Store [i] |
@@ -425,11 +393,9 @@ nodes
425393
| struct_init.c:14:24:14:25 | *ab [a] | semmle.label | *ab [a] |
426394
| struct_init.c:15:12:15:12 | a | semmle.label | a |
427395
| struct_init.c:20:20:20:29 | Chi [a] | semmle.label | Chi [a] |
428-
| struct_init.c:20:20:20:29 | Store | semmle.label | Store |
429396
| struct_init.c:20:20:20:29 | call to user_input | semmle.label | call to user_input |
430397
| struct_init.c:22:11:22:11 | a | semmle.label | a |
431398
| struct_init.c:27:7:27:16 | Chi [a] | semmle.label | Chi [a] |
432-
| struct_init.c:27:7:27:16 | Store | semmle.label | Store |
433399
| struct_init.c:27:7:27:16 | call to user_input | semmle.label | call to user_input |
434400
| struct_init.c:31:23:31:23 | a | semmle.label | a |
435401
#select

0 commit comments

Comments
 (0)