Skip to content

Commit 5190c26

Browse files
MathiasVPMathiasVP
committed
C++: Accept tests.
1 parent 7530dc2 commit 5190c26

File tree

2 files changed

+24
-74
lines changed

2 files changed

+24
-74
lines changed

‎cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,8 +28,6 @@ localCallNodes
2828
postIsNotPre
2929
postHasUniquePre
3030
uniquePostUpdate
31-
| ref.cpp:83:5:83:17 | Chi | Node has multiple PostUpdateNodes. |
32-
| ref.cpp:109:5:109:22 | Chi | Node has multiple PostUpdateNodes. |
3331
postIsInSameCallable
3432
reverseRead
3533
storeIsPostUpdate

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

Lines changed: 24 additions & 72 deletions
Original file line numberDiff line numberDiff line change
@@ -6,57 +6,43 @@ edges
66
| A.cpp:57:10:57:25 | Argument -1 indirection [c] | A.cpp:57:28:57:30 | call to get |
77
| A.cpp:57:11:57:24 | B output argument [c] | A.cpp:57:10:57:25 | Argument -1 indirection [c] |
88
| A.cpp:57:17:57:23 | new | A.cpp:57:11:57:24 | B output argument [c] |
9-
| A.cpp:98:12:98:18 | new | A.cpp:100:5:100:13 | Store |
9+
| A.cpp:98:12:98:18 | new | A.cpp:100:5:100:13 | Chi [a] |
1010
| A.cpp:100:5:100:13 | Chi [a] | A.cpp:101:8:101:9 | Argument 0 indirection [a] |
11-
| A.cpp:100:5:100:13 | Store | A.cpp:100:5:100:13 | Chi [a] |
1211
| A.cpp:101:8:101:9 | Argument 0 indirection [a] | A.cpp:103:14:103:14 | *c [a] |
1312
| A.cpp:103:14:103:14 | *c [a] | A.cpp:107:16:107:16 | a |
1413
| A.cpp:126:5:126:5 | Chi [c] | A.cpp:131:8:131:8 | f7 output argument [c] |
1514
| A.cpp:126:5:126:5 | set output argument [c] | A.cpp:126:5:126:5 | Chi [c] |
1615
| A.cpp:126:12:126:18 | new | A.cpp:126:5:126:5 | set output argument [c] |
17-
| A.cpp:131:8:131:8 | Chi [c] | A.cpp:132:13:132:13 | c |
18-
| A.cpp:131:8:131:8 | f7 output argument [c] | A.cpp:131:8:131:8 | Chi [c] |
16+
| A.cpp:131:8:131:8 | f7 output argument [c] | A.cpp:132:13:132:13 | c |
1917
| A.cpp:142:7:142:20 | Chi [c] | A.cpp:151:18:151:18 | D output argument [c] |
20-
| A.cpp:142:7:142:20 | Store | A.cpp:142:7:142:20 | Chi [c] |
21-
| A.cpp:142:14:142:20 | new | A.cpp:142:7:142:20 | Store |
18+
| A.cpp:142:14:142:20 | new | A.cpp:142:7:142:20 | Chi [c] |
2219
| A.cpp:143:7:143:31 | Chi [b] | A.cpp:151:12:151:24 | D output argument [b] |
23-
| A.cpp:143:7:143:31 | Store | A.cpp:143:7:143:31 | Chi [b] |
24-
| A.cpp:143:25:143:31 | new | A.cpp:143:7:143:31 | Store |
20+
| A.cpp:143:25:143:31 | new | A.cpp:143:7:143:31 | Chi [b] |
2521
| A.cpp:150:12:150:18 | new | A.cpp:151:18:151:18 | b |
26-
| A.cpp:151:12:151:24 | Chi [b] | A.cpp:152:13:152:13 | b |
27-
| A.cpp:151:12:151:24 | D output argument [b] | A.cpp:151:12:151:24 | Chi [b] |
28-
| A.cpp:151:18:151:18 | Chi [c] | A.cpp:154:13:154:13 | c |
29-
| A.cpp:151:18:151:18 | D output argument [c] | A.cpp:151:18:151:18 | Chi [c] |
22+
| A.cpp:151:12:151:24 | D output argument [b] | A.cpp:152:13:152:13 | b |
23+
| A.cpp:151:18:151:18 | D output argument [c] | A.cpp:154:13:154:13 | c |
3024
| A.cpp:151:18:151:18 | b | A.cpp:151:12:151:24 | D output argument [b] |
3125
| C.cpp:18:12:18:18 | C output argument [s1] | C.cpp:19:5:19:5 | Argument -1 indirection [s1] |
3226
| C.cpp:18:12:18:18 | C output argument [s3] | C.cpp:19:5:19:5 | Argument -1 indirection [s3] |
3327
| C.cpp:19:5:19:5 | Argument -1 indirection [s1] | C.cpp:27:8:27:11 | *#this [s1] |
3428
| C.cpp:19:5:19:5 | Argument -1 indirection [s3] | C.cpp:27:8:27:11 | *#this [s3] |
3529
| C.cpp:22:12:22:21 | Chi [s1] | C.cpp:24:5:24:25 | Chi [s1] |
36-
| C.cpp:22:12:22:21 | Store | C.cpp:22:12:22:21 | Chi [s1] |
37-
| C.cpp:22:12:22:21 | new | C.cpp:22:12:22:21 | Store |
30+
| C.cpp:22:12:22:21 | new | C.cpp:22:12:22:21 | Chi [s1] |
3831
| C.cpp:24:5:24:25 | Chi [s1] | C.cpp:18:12:18:18 | C output argument [s1] |
3932
| C.cpp:24:5:24:25 | Chi [s3] | C.cpp:18:12:18:18 | C output argument [s3] |
40-
| C.cpp:24:5:24:25 | Store | C.cpp:24:5:24:25 | Chi [s3] |
41-
| C.cpp:24:16:24:25 | new | C.cpp:24:5:24:25 | Store |
33+
| C.cpp:24:16:24:25 | new | C.cpp:24:5:24:25 | Chi [s3] |
4234
| C.cpp:27:8:27:11 | *#this [s1] | C.cpp:29:10:29:11 | s1 |
4335
| C.cpp:27:8:27:11 | *#this [s3] | C.cpp:31:10:31:11 | s3 |
4436
| aliasing.cpp:9:3:9:22 | Chi [m1] | aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] |
45-
| aliasing.cpp:9:3:9:22 | Store | aliasing.cpp:9:3:9:22 | Chi [m1] |
46-
| aliasing.cpp:9:11:9:20 | call to user_input | aliasing.cpp:9:3:9:22 | Store |
37+
| aliasing.cpp:9:11:9:20 | call to user_input | aliasing.cpp:9:3:9:22 | Chi [m1] |
4738
| aliasing.cpp:13:3:13:21 | Chi [m1] | aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] |
48-
| aliasing.cpp:13:3:13:21 | Store | aliasing.cpp:13:3:13:21 | Chi [m1] |
49-
| aliasing.cpp:13:10:13:19 | call to user_input | aliasing.cpp:13:3:13:21 | Store |
50-
| aliasing.cpp:25:17:25:19 | Chi [m1] | aliasing.cpp:29:11:29:12 | m1 |
51-
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | aliasing.cpp:25:17:25:19 | Chi [m1] |
52-
| aliasing.cpp:26:19:26:20 | Chi [m1] | aliasing.cpp:30:11:30:12 | m1 |
53-
| aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] | aliasing.cpp:26:19:26:20 | Chi [m1] |
39+
| aliasing.cpp:13:10:13:19 | call to user_input | aliasing.cpp:13:3:13:21 | Chi [m1] |
40+
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | aliasing.cpp:29:11:29:12 | m1 |
41+
| aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] | aliasing.cpp:30:11:30:12 | m1 |
5442
| aliasing.cpp:37:13:37:22 | call to user_input | aliasing.cpp:38:11:38:12 | m1 |
5543
| aliasing.cpp:42:11:42:20 | call to user_input | aliasing.cpp:43:13:43:14 | m1 |
56-
| aliasing.cpp:60:3:60:22 | Chi [m1] | aliasing.cpp:61:13:61:14 | Store [m1] |
57-
| aliasing.cpp:60:3:60:22 | Store | aliasing.cpp:60:3:60:22 | Chi [m1] |
58-
| aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:60:3:60:22 | Store |
59-
| aliasing.cpp:61:13:61:14 | Store [m1] | aliasing.cpp:62:14:62:15 | m1 |
44+
| aliasing.cpp:60:3:60:22 | Chi [m1] | aliasing.cpp:62:14:62:15 | m1 |
45+
| aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:60:3:60:22 | Chi [m1] |
6046
| aliasing.cpp:79:11:79:20 | call to user_input | aliasing.cpp:80:12:80:13 | m1 |
6147
| aliasing.cpp:86:10:86:19 | call to user_input | aliasing.cpp:87:12:87:13 | m1 |
6248
| aliasing.cpp:92:12:92:21 | call to user_input | aliasing.cpp:93:12:93:13 | m1 |
@@ -74,20 +60,14 @@ edges
7460
| by_reference.cpp:69:22:69:23 | Argument 0 indirection [a] | by_reference.cpp:69:8:69:20 | call to nonMemberGetA |
7561
| by_reference.cpp:84:3:84:25 | Chi [a] | by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] |
7662
| by_reference.cpp:84:3:84:25 | Chi [a] | by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] |
77-
| by_reference.cpp:84:3:84:25 | Store | by_reference.cpp:84:3:84:25 | Chi [a] |
78-
| by_reference.cpp:84:14:84:23 | call to user_input | by_reference.cpp:84:3:84:25 | Store |
63+
| by_reference.cpp:84:14:84:23 | call to user_input | by_reference.cpp:84:3:84:25 | Chi [a] |
7964
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] |
8065
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] |
81-
| by_reference.cpp:88:3:88:24 | Store | by_reference.cpp:88:3:88:24 | Chi [a] |
82-
| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:88:3:88:24 | Store |
83-
| by_reference.cpp:102:21:102:39 | Chi [a] | by_reference.cpp:110:27:110:27 | a |
84-
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | by_reference.cpp:102:21:102:39 | Chi [a] |
85-
| by_reference.cpp:106:21:106:41 | Chi [a] | by_reference.cpp:114:29:114:29 | a |
86-
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | by_reference.cpp:106:21:106:41 | Chi [a] |
87-
| by_reference.cpp:122:21:122:38 | Chi [a] | by_reference.cpp:130:27:130:27 | a |
88-
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | by_reference.cpp:122:21:122:38 | Chi [a] |
89-
| by_reference.cpp:126:21:126:40 | Chi [a] | by_reference.cpp:134:29:134:29 | a |
90-
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | by_reference.cpp:126:21:126:40 | Chi [a] |
66+
| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:88:3:88:24 | Chi [a] |
67+
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | by_reference.cpp:110:27:110:27 | a |
68+
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | by_reference.cpp:114:29:114:29 | a |
69+
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | by_reference.cpp:130:27:130:27 | a |
70+
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | by_reference.cpp:134:29:134:29 | a |
9171
| complex.cpp:40:17:40:17 | *b [a_] | complex.cpp:51:16:51:16 | Argument -1 indirection [a_] |
9272
| complex.cpp:40:17:40:17 | *b [b_] | complex.cpp:51:16:51:16 | Argument -1 indirection [b_] |
9373
| complex.cpp:40:17:40:17 | *b [b_] | complex.cpp:52:16:52:16 | Argument -1 indirection [b_] |
@@ -151,22 +131,18 @@ edges
151131
| simple.cpp:48:9:48:9 | Argument 0 indirection [b_] | simple.cpp:26:15:26:15 | *f [b_] |
152132
| simple.cpp:51:9:51:9 | Argument 0 indirection [a_] | simple.cpp:26:15:26:15 | *f [a_] |
153133
| simple.cpp:51:9:51:9 | Argument 0 indirection [b_] | simple.cpp:26:15:26:15 | *f [b_] |
154-
| simple.cpp:65:5:65:22 | Store [i] | simple.cpp:66:12:66:12 | Store [i] |
134+
| simple.cpp:65:5:65:22 | Store [i] | simple.cpp:67:13:67:13 | i |
155135
| simple.cpp:65:11:65:20 | call to user_input | simple.cpp:65:5:65:22 | Store [i] |
156-
| simple.cpp:66:12:66:12 | Store [i] | simple.cpp:67:13:67:13 | i |
157136
| simple.cpp:83:9:83:28 | Chi [f1] | simple.cpp:84:14:84:20 | Argument -1 indirection [f1] |
158-
| simple.cpp:83:9:83:28 | Store | simple.cpp:83:9:83:28 | Chi [f1] |
159-
| simple.cpp:83:17:83:26 | call to user_input | simple.cpp:83:9:83:28 | Store |
137+
| simple.cpp:83:17:83:26 | call to user_input | simple.cpp:83:9:83:28 | Chi [f1] |
160138
| simple.cpp:84:14:84:20 | Argument -1 indirection [f1] | simple.cpp:84:14:84:20 | call to getf2f1 |
161139
| struct_init.c:14:24:14:25 | *ab [a] | struct_init.c:15:12:15:12 | a |
162140
| struct_init.c:20:20:20:29 | Chi [a] | struct_init.c:24:10:24:12 | Argument 0 indirection [a] |
163-
| struct_init.c:20:20:20:29 | Store | struct_init.c:20:20:20:29 | Chi [a] |
164-
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:20:20:20:29 | Store |
141+
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:20:20:20:29 | Chi [a] |
165142
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:22:11:22:11 | a |
166143
| struct_init.c:24:10:24:12 | Argument 0 indirection [a] | struct_init.c:14:24:14:25 | *ab [a] |
167144
| struct_init.c:27:7:27:16 | Chi [a] | struct_init.c:36:10:36:24 | Argument 0 indirection [a] |
168-
| struct_init.c:27:7:27:16 | Store | struct_init.c:27:7:27:16 | Chi [a] |
169-
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:27:7:27:16 | Store |
145+
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:27:7:27:16 | Chi [a] |
170146
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:31:23:31:23 | a |
171147
| struct_init.c:36:10:36:24 | Argument 0 indirection [a] | struct_init.c:14:24:14:25 | *ab [a] |
172148
nodes
@@ -181,26 +157,20 @@ nodes
181157
| A.cpp:57:28:57:30 | call to get | semmle.label | call to get |
182158
| A.cpp:98:12:98:18 | new | semmle.label | new |
183159
| A.cpp:100:5:100:13 | Chi [a] | semmle.label | Chi [a] |
184-
| A.cpp:100:5:100:13 | Store | semmle.label | Store |
185160
| A.cpp:101:8:101:9 | Argument 0 indirection [a] | semmle.label | Argument 0 indirection [a] |
186161
| A.cpp:103:14:103:14 | *c [a] | semmle.label | *c [a] |
187162
| A.cpp:107:16:107:16 | a | semmle.label | a |
188163
| A.cpp:126:5:126:5 | Chi [c] | semmle.label | Chi [c] |
189164
| A.cpp:126:5:126:5 | set output argument [c] | semmle.label | set output argument [c] |
190165
| A.cpp:126:12:126:18 | new | semmle.label | new |
191-
| A.cpp:131:8:131:8 | Chi [c] | semmle.label | Chi [c] |
192166
| A.cpp:131:8:131:8 | f7 output argument [c] | semmle.label | f7 output argument [c] |
193167
| A.cpp:132:13:132:13 | c | semmle.label | c |
194168
| A.cpp:142:7:142:20 | Chi [c] | semmle.label | Chi [c] |
195-
| A.cpp:142:7:142:20 | Store | semmle.label | Store |
196169
| A.cpp:142:14:142:20 | new | semmle.label | new |
197170
| A.cpp:143:7:143:31 | Chi [b] | semmle.label | Chi [b] |
198-
| A.cpp:143:7:143:31 | Store | semmle.label | Store |
199171
| A.cpp:143:25:143:31 | new | semmle.label | new |
200172
| A.cpp:150:12:150:18 | new | semmle.label | new |
201-
| A.cpp:151:12:151:24 | Chi [b] | semmle.label | Chi [b] |
202173
| A.cpp:151:12:151:24 | D output argument [b] | semmle.label | D output argument [b] |
203-
| A.cpp:151:18:151:18 | Chi [c] | semmle.label | Chi [c] |
204174
| A.cpp:151:18:151:18 | D output argument [c] | semmle.label | D output argument [c] |
205175
| A.cpp:151:18:151:18 | b | semmle.label | b |
206176
| A.cpp:152:13:152:13 | b | semmle.label | b |
@@ -210,25 +180,19 @@ nodes
210180
| C.cpp:19:5:19:5 | Argument -1 indirection [s1] | semmle.label | Argument -1 indirection [s1] |
211181
| C.cpp:19:5:19:5 | Argument -1 indirection [s3] | semmle.label | Argument -1 indirection [s3] |
212182
| C.cpp:22:12:22:21 | Chi [s1] | semmle.label | Chi [s1] |
213-
| C.cpp:22:12:22:21 | Store | semmle.label | Store |
214183
| C.cpp:22:12:22:21 | new | semmle.label | new |
215184
| C.cpp:24:5:24:25 | Chi [s1] | semmle.label | Chi [s1] |
216185
| C.cpp:24:5:24:25 | Chi [s3] | semmle.label | Chi [s3] |
217-
| C.cpp:24:5:24:25 | Store | semmle.label | Store |
218186
| C.cpp:24:16:24:25 | new | semmle.label | new |
219187
| C.cpp:27:8:27:11 | *#this [s1] | semmle.label | *#this [s1] |
220188
| C.cpp:27:8:27:11 | *#this [s3] | semmle.label | *#this [s3] |
221189
| C.cpp:29:10:29:11 | s1 | semmle.label | s1 |
222190
| C.cpp:31:10:31:11 | s3 | semmle.label | s3 |
223191
| aliasing.cpp:9:3:9:22 | Chi [m1] | semmle.label | Chi [m1] |
224-
| aliasing.cpp:9:3:9:22 | Store | semmle.label | Store |
225192
| aliasing.cpp:9:11:9:20 | call to user_input | semmle.label | call to user_input |
226193
| aliasing.cpp:13:3:13:21 | Chi [m1] | semmle.label | Chi [m1] |
227-
| aliasing.cpp:13:3:13:21 | Store | semmle.label | Store |
228194
| aliasing.cpp:13:10:13:19 | call to user_input | semmle.label | call to user_input |
229-
| aliasing.cpp:25:17:25:19 | Chi [m1] | semmle.label | Chi [m1] |
230195
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | semmle.label | pointerSetter output argument [m1] |
231-
| aliasing.cpp:26:19:26:20 | Chi [m1] | semmle.label | Chi [m1] |
232196
| aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] | semmle.label | referenceSetter output argument [m1] |
233197
| aliasing.cpp:29:11:29:12 | m1 | semmle.label | m1 |
234198
| aliasing.cpp:30:11:30:12 | m1 | semmle.label | m1 |
@@ -237,9 +201,7 @@ nodes
237201
| aliasing.cpp:42:11:42:20 | call to user_input | semmle.label | call to user_input |
238202
| aliasing.cpp:43:13:43:14 | m1 | semmle.label | m1 |
239203
| aliasing.cpp:60:3:60:22 | Chi [m1] | semmle.label | Chi [m1] |
240-
| aliasing.cpp:60:3:60:22 | Store | semmle.label | Store |
241204
| aliasing.cpp:60:11:60:20 | call to user_input | semmle.label | call to user_input |
242-
| aliasing.cpp:61:13:61:14 | Store [m1] | semmle.label | Store [m1] |
243205
| aliasing.cpp:62:14:62:15 | m1 | semmle.label | m1 |
244206
| aliasing.cpp:79:11:79:20 | call to user_input | semmle.label | call to user_input |
245207
| aliasing.cpp:80:12:80:13 | m1 | semmle.label | m1 |
@@ -264,20 +226,14 @@ nodes
264226
| by_reference.cpp:69:8:69:20 | call to nonMemberGetA | semmle.label | call to nonMemberGetA |
265227
| by_reference.cpp:69:22:69:23 | Argument 0 indirection [a] | semmle.label | Argument 0 indirection [a] |
266228
| by_reference.cpp:84:3:84:25 | Chi [a] | semmle.label | Chi [a] |
267-
| by_reference.cpp:84:3:84:25 | Store | semmle.label | Store |
268229
| by_reference.cpp:84:14:84:23 | call to user_input | semmle.label | call to user_input |
269230
| by_reference.cpp:88:3:88:24 | Chi [a] | semmle.label | Chi [a] |
270-
| by_reference.cpp:88:3:88:24 | Store | semmle.label | Store |
271231
| by_reference.cpp:88:13:88:22 | call to user_input | semmle.label | call to user_input |
272-
| by_reference.cpp:102:21:102:39 | Chi [a] | semmle.label | Chi [a] |
273232
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
274-
| by_reference.cpp:106:21:106:41 | Chi [a] | semmle.label | Chi [a] |
275233
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
276234
| by_reference.cpp:110:27:110:27 | a | semmle.label | a |
277235
| by_reference.cpp:114:29:114:29 | a | semmle.label | a |
278-
| by_reference.cpp:122:21:122:38 | Chi [a] | semmle.label | Chi [a] |
279236
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | semmle.label | taint_inner_a_ref output argument [a] |
280-
| by_reference.cpp:126:21:126:40 | Chi [a] | semmle.label | Chi [a] |
281237
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | semmle.label | taint_inner_a_ref output argument [a] |
282238
| by_reference.cpp:130:27:130:27 | a | semmle.label | a |
283239
| by_reference.cpp:134:29:134:29 | a | semmle.label | a |
@@ -347,22 +303,18 @@ nodes
347303
| simple.cpp:51:9:51:9 | Argument 0 indirection [b_] | semmle.label | Argument 0 indirection [b_] |
348304
| simple.cpp:65:5:65:22 | Store [i] | semmle.label | Store [i] |
349305
| simple.cpp:65:11:65:20 | call to user_input | semmle.label | call to user_input |
350-
| simple.cpp:66:12:66:12 | Store [i] | semmle.label | Store [i] |
351306
| simple.cpp:67:13:67:13 | i | semmle.label | i |
352307
| simple.cpp:83:9:83:28 | Chi [f1] | semmle.label | Chi [f1] |
353-
| simple.cpp:83:9:83:28 | Store | semmle.label | Store |
354308
| simple.cpp:83:17:83:26 | call to user_input | semmle.label | call to user_input |
355309
| simple.cpp:84:14:84:20 | Argument -1 indirection [f1] | semmle.label | Argument -1 indirection [f1] |
356310
| simple.cpp:84:14:84:20 | call to getf2f1 | semmle.label | call to getf2f1 |
357311
| struct_init.c:14:24:14:25 | *ab [a] | semmle.label | *ab [a] |
358312
| struct_init.c:15:12:15:12 | a | semmle.label | a |
359313
| struct_init.c:20:20:20:29 | Chi [a] | semmle.label | Chi [a] |
360-
| struct_init.c:20:20:20:29 | Store | semmle.label | Store |
361314
| struct_init.c:20:20:20:29 | call to user_input | semmle.label | call to user_input |
362315
| struct_init.c:22:11:22:11 | a | semmle.label | a |
363316
| struct_init.c:24:10:24:12 | Argument 0 indirection [a] | semmle.label | Argument 0 indirection [a] |
364317
| struct_init.c:27:7:27:16 | Chi [a] | semmle.label | Chi [a] |
365-
| struct_init.c:27:7:27:16 | Store | semmle.label | Store |
366318
| struct_init.c:27:7:27:16 | call to user_input | semmle.label | call to user_input |
367319
| struct_init.c:31:23:31:23 | a | semmle.label | a |
368320
| struct_init.c:36:10:36:24 | Argument 0 indirection [a] | semmle.label | Argument 0 indirection [a] |

0 commit comments

Comments
 (0)