Skip to content

Commit d295e21

Browse files
MathiasVPMathiasVP
committed
C++: Accept tests after merge from master
1 parent 43a0d4c commit d295e21

File tree

2 files changed

+197
-24
lines changed

2 files changed

+197
-24
lines changed

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

Lines changed: 124 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -1,54 +1,102 @@
11
edges
22
| A.cpp:142:7:142:20 | Chi [c] | A.cpp:151:18:151:18 | D output argument [c] |
3-
| A.cpp:142:7:142:20 | Store | A.cpp:142:7:142:20 | Chi [c] |
3+
| A.cpp:142:7:142:20 | Store | A.cpp:142:7:142:20 | c [c] |
4+
| A.cpp:142:7:142:20 | c [c] | A.cpp:142:7:142:20 | Chi [c] |
45
| A.cpp:142:14:142:20 | new | A.cpp:142:7:142:20 | Store |
56
| A.cpp:151:18:151:18 | Chi [c] | A.cpp:154:13:154:13 | c |
6-
| A.cpp:151:18:151:18 | Chi [c] | A.cpp:154:13:154:13 | c |
77
| A.cpp:151:18:151:18 | D output argument [c] | A.cpp:151:18:151:18 | Chi [c] |
88
| A.cpp:154:13:154:13 | c | A.cpp:154:10:154:13 | (void *)... |
9+
| A.cpp:154:13:154:13 | c | A.cpp:154:13:154:13 | c |
910
| aliasing.cpp:9:3:9:22 | Chi [m1] | aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] |
10-
| aliasing.cpp:9:3:9:22 | Store | aliasing.cpp:9:3:9:22 | Chi [m1] |
11+
| aliasing.cpp:9:3:9:22 | Store | aliasing.cpp:9:3:9:22 | m1 [m1] |
12+
| aliasing.cpp:9:3:9:22 | m1 [m1] | aliasing.cpp:9:3:9:22 | Chi [m1] |
1113
| aliasing.cpp:9:11:9:20 | call to user_input | aliasing.cpp:9:3:9:22 | Store |
1214
| aliasing.cpp:13:3:13:21 | Chi [m1] | aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] |
13-
| aliasing.cpp:13:3:13:21 | Store | aliasing.cpp:13:3:13:21 | Chi [m1] |
15+
| aliasing.cpp:13:3:13:21 | Store | aliasing.cpp:13:3:13:21 | m1 [m1] |
16+
| aliasing.cpp:13:3:13:21 | m1 [m1] | aliasing.cpp:13:3:13:21 | Chi [m1] |
1417
| aliasing.cpp:13:10:13:19 | call to user_input | aliasing.cpp:13:3:13:21 | Store |
1518
| aliasing.cpp:25:17:25:19 | Chi [m1] | aliasing.cpp:29:11:29:12 | m1 |
1619
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | aliasing.cpp:25:17:25:19 | Chi [m1] |
1720
| aliasing.cpp:26:19:26:20 | Chi [m1] | aliasing.cpp:30:11:30:12 | m1 |
1821
| aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] | aliasing.cpp:26:19:26:20 | Chi [m1] |
22+
| aliasing.cpp:29:11:29:12 | m1 | aliasing.cpp:29:11:29:12 | m1 |
23+
| aliasing.cpp:30:11:30:12 | m1 | aliasing.cpp:30:11:30:12 | m1 |
1924
| aliasing.cpp:37:13:37:22 | call to user_input | aliasing.cpp:38:11:38:12 | m1 |
2025
| aliasing.cpp:42:11:42:20 | call to user_input | aliasing.cpp:43:13:43:14 | m1 |
21-
| aliasing.cpp:60:3:60:22 | Chi [m1] | aliasing.cpp:61:13:61:14 | Store [m1] |
22-
| aliasing.cpp:60:3:60:22 | Store | aliasing.cpp:60:3:60:22 | Chi [m1] |
26+
| aliasing.cpp:60:3:60:22 | Store | aliasing.cpp:60:3:60:22 | m1 [m1] |
27+
| aliasing.cpp:60:3:60:22 | m1 [m1] | aliasing.cpp:61:13:61:14 | Store [m1] |
2328
| aliasing.cpp:60:11:60:20 | call to user_input | aliasing.cpp:60:3:60:22 | Store |
2429
| aliasing.cpp:61:13:61:14 | Store [m1] | aliasing.cpp:62:14:62:15 | m1 |
30+
| aliasing.cpp:62:14:62:15 | m1 | aliasing.cpp:62:14:62:15 | m1 |
2531
| aliasing.cpp:79:11:79:20 | call to user_input | aliasing.cpp:80:12:80:13 | m1 |
2632
| aliasing.cpp:86:10:86:19 | call to user_input | aliasing.cpp:87:12:87:13 | m1 |
2733
| aliasing.cpp:92:12:92:21 | call to user_input | aliasing.cpp:93:12:93:13 | m1 |
2834
| by_reference.cpp:84:3:84:25 | Chi [a] | by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] |
2935
| by_reference.cpp:84:3:84:25 | Chi [a] | by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] |
30-
| by_reference.cpp:84:3:84:25 | Store | by_reference.cpp:84:3:84:25 | Chi [a] |
36+
| by_reference.cpp:84:3:84:25 | Store | by_reference.cpp:84:3:84:25 | a [a] |
37+
| by_reference.cpp:84:3:84:25 | a [a] | by_reference.cpp:84:3:84:25 | Chi [a] |
3138
| by_reference.cpp:84:14:84:23 | call to user_input | by_reference.cpp:84:3:84:25 | Store |
3239
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] |
3340
| by_reference.cpp:88:3:88:24 | Chi [a] | by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] |
34-
| by_reference.cpp:88:3:88:24 | Store | by_reference.cpp:88:3:88:24 | Chi [a] |
41+
| by_reference.cpp:88:3:88:24 | Store | by_reference.cpp:88:3:88:24 | a [a] |
42+
| by_reference.cpp:88:3:88:24 | a [a] | by_reference.cpp:88:3:88:24 | Chi [a] |
3543
| by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:88:3:88:24 | Store |
36-
| by_reference.cpp:102:21:102:39 | Chi [a] | by_reference.cpp:110:27:110:27 | a |
37-
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | by_reference.cpp:102:21:102:39 | Chi [a] |
38-
| by_reference.cpp:106:21:106:41 | Chi [a] | by_reference.cpp:114:29:114:29 | a |
39-
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | by_reference.cpp:106:21:106:41 | Chi [a] |
40-
| by_reference.cpp:122:21:122:38 | Chi [a] | by_reference.cpp:130:27:130:27 | a |
41-
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | by_reference.cpp:122:21:122:38 | Chi [a] |
42-
| by_reference.cpp:126:21:126:40 | Chi [a] | by_reference.cpp:134:29:134:29 | a |
43-
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | by_reference.cpp:126:21:126:40 | Chi [a] |
44-
| simple.cpp:65:5:65:22 | Store [i] | simple.cpp:66:12:66:12 | Store [i] |
45-
| simple.cpp:65:11:65:20 | call to user_input | simple.cpp:65:5:65:22 | Store [i] |
44+
| by_reference.cpp:102:21:102:39 | Chi [inner_nested, a] | by_reference.cpp:110:27:110:27 | inner_nested.a [a] |
45+
| by_reference.cpp:102:21:102:39 | inner_nested [inner_nested, a] | by_reference.cpp:102:21:102:39 | Chi [inner_nested, a] |
46+
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | by_reference.cpp:102:21:102:39 | inner_nested [inner_nested, a] |
47+
| by_reference.cpp:106:21:106:41 | Chi [inner_nested, a] | by_reference.cpp:114:29:114:29 | inner_nested.a [a] |
48+
| by_reference.cpp:106:21:106:41 | inner_nested [inner_nested, a] | by_reference.cpp:106:21:106:41 | Chi [inner_nested, a] |
49+
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | by_reference.cpp:106:21:106:41 | inner_nested [inner_nested, a] |
50+
| by_reference.cpp:110:27:110:27 | a | by_reference.cpp:110:27:110:27 | a |
51+
| by_reference.cpp:110:27:110:27 | inner_nested.a [a] | by_reference.cpp:110:27:110:27 | a |
52+
| by_reference.cpp:114:29:114:29 | a | by_reference.cpp:114:29:114:29 | a |
53+
| by_reference.cpp:114:29:114:29 | inner_nested.a [a] | by_reference.cpp:114:29:114:29 | a |
54+
| by_reference.cpp:122:21:122:38 | Chi [inner_nested, a] | by_reference.cpp:130:27:130:27 | inner_nested.a [a] |
55+
| by_reference.cpp:122:21:122:38 | inner_nested [inner_nested, a] | by_reference.cpp:122:21:122:38 | Chi [inner_nested, a] |
56+
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | by_reference.cpp:122:21:122:38 | inner_nested [inner_nested, a] |
57+
| by_reference.cpp:126:21:126:40 | Chi [inner_nested, a] | by_reference.cpp:134:29:134:29 | inner_nested.a [a] |
58+
| by_reference.cpp:126:21:126:40 | inner_nested [inner_nested, a] | by_reference.cpp:126:21:126:40 | Chi [inner_nested, a] |
59+
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | by_reference.cpp:126:21:126:40 | inner_nested [inner_nested, a] |
60+
| by_reference.cpp:130:27:130:27 | a | by_reference.cpp:130:27:130:27 | a |
61+
| by_reference.cpp:130:27:130:27 | inner_nested.a [a] | by_reference.cpp:130:27:130:27 | a |
62+
| by_reference.cpp:134:29:134:29 | a | by_reference.cpp:134:29:134:29 | a |
63+
| by_reference.cpp:134:29:134:29 | inner_nested.a [a] | by_reference.cpp:134:29:134:29 | a |
64+
| simple.cpp:65:5:65:22 | i [i] | simple.cpp:66:12:66:12 | Store [i] |
65+
| simple.cpp:65:11:65:20 | call to user_input | simple.cpp:65:5:65:22 | i [i] |
4666
| simple.cpp:66:12:66:12 | Store [i] | simple.cpp:67:13:67:13 | i |
67+
| simple.cpp:67:13:67:13 | i | simple.cpp:67:13:67:13 | i |
68+
| simple.cpp:108:30:108:31 | d2 [d1_2, y] | simple.cpp:111:18:111:18 | d1_2.y [y] |
69+
| simple.cpp:111:18:111:18 | d1_2.y [y] | simple.cpp:111:18:111:18 | y |
70+
| simple.cpp:111:18:111:18 | y | simple.cpp:111:18:111:18 | y |
71+
| simple.cpp:122:5:122:33 | Chi [d2_1, d1_1, ... (3)] | simple.cpp:123:27:123:30 | d2_1 [d1_1, x] |
72+
| simple.cpp:122:5:122:33 | Store | simple.cpp:122:5:122:33 | x [x] |
73+
| simple.cpp:122:5:122:33 | d1_1.x [d1_1, x] | simple.cpp:122:5:122:33 | d2_1.d1_1.x [d2_1, d1_1, ... (3)] |
74+
| simple.cpp:122:5:122:33 | d2_1.d1_1.x [d2_1, d1_1, ... (3)] | simple.cpp:122:5:122:33 | Chi [d2_1, d1_1, ... (3)] |
75+
| simple.cpp:122:5:122:33 | x [x] | simple.cpp:122:5:122:33 | d1_1.x [d1_1, x] |
76+
| simple.cpp:122:22:122:31 | call to user_input | simple.cpp:122:5:122:33 | Store |
77+
| simple.cpp:123:27:123:30 | Store [d1_1, x] | simple.cpp:124:20:124:20 | d1_1.x [x] |
78+
| simple.cpp:123:27:123:30 | Store [d1_1, x] | simple.cpp:130:15:130:15 | d1_1.x [x] |
79+
| simple.cpp:123:27:123:30 | d2_1 [d1_1, x] | simple.cpp:123:27:123:30 | Store [d1_1, x] |
80+
| simple.cpp:124:20:124:20 | d1_1.x [x] | simple.cpp:124:20:124:20 | x |
81+
| simple.cpp:124:20:124:20 | x | simple.cpp:124:20:124:20 | x |
82+
| simple.cpp:130:15:130:15 | d1_1.x [x] | simple.cpp:130:15:130:15 | x |
83+
| simple.cpp:130:15:130:15 | x | simple.cpp:130:15:130:15 | x |
84+
| simple.cpp:136:21:136:28 | Chi [d2_1, d1_2, ... (3)] | simple.cpp:139:23:139:23 | d2_1.d1_2.y [d1_2, y] |
85+
| simple.cpp:136:21:136:28 | Chi [d2_1, d1_2, ... (3)] | simple.cpp:141:20:141:23 | d2_1 [d1_2, y] |
86+
| simple.cpp:136:21:136:28 | d2_1 [d2_1, d1_2, ... (3)] | simple.cpp:136:21:136:28 | Chi [d2_1, d1_2, ... (3)] |
87+
| simple.cpp:136:21:136:28 | write_to_d1_2_y output argument [d1_2, y] | simple.cpp:136:21:136:28 | d2_1 [d2_1, d1_2, ... (3)] |
88+
| simple.cpp:136:31:136:40 | call to user_input | simple.cpp:136:21:136:28 | write_to_d1_2_y output argument [d1_2, y] |
89+
| simple.cpp:139:23:139:23 | d1_2.y [y] | simple.cpp:139:23:139:23 | y |
90+
| simple.cpp:139:23:139:23 | d2_1.d1_2.y [d1_2, y] | simple.cpp:139:23:139:23 | d1_2.y [y] |
91+
| simple.cpp:139:23:139:23 | y | simple.cpp:139:23:139:23 | y |
92+
| simple.cpp:141:20:141:23 | d2_1 [d1_2, y] | simple.cpp:108:30:108:31 | d2 [d1_2, y] |
93+
| simple.cpp:141:20:141:23 | d2_1 [d1_2, y] | simple.cpp:141:20:141:23 | d2_1 [d1_2, y] |
4794
| struct_init.c:20:20:20:29 | call to user_input | struct_init.c:22:11:22:11 | a |
4895
| struct_init.c:27:7:27:16 | call to user_input | struct_init.c:31:23:31:23 | a |
4996
nodes
5097
| A.cpp:142:7:142:20 | Chi [c] | semmle.label | Chi [c] |
5198
| A.cpp:142:7:142:20 | Store | semmle.label | Store |
99+
| A.cpp:142:7:142:20 | c [c] | semmle.label | c [c] |
52100
| A.cpp:142:14:142:20 | new | semmle.label | new |
53101
| A.cpp:151:18:151:18 | Chi [c] | semmle.label | Chi [c] |
54102
| A.cpp:151:18:151:18 | D output argument [c] | semmle.label | D output argument [c] |
@@ -57,25 +105,30 @@ nodes
57105
| A.cpp:154:13:154:13 | c | semmle.label | c |
58106
| aliasing.cpp:9:3:9:22 | Chi [m1] | semmle.label | Chi [m1] |
59107
| aliasing.cpp:9:3:9:22 | Store | semmle.label | Store |
108+
| aliasing.cpp:9:3:9:22 | m1 [m1] | semmle.label | m1 [m1] |
60109
| aliasing.cpp:9:11:9:20 | call to user_input | semmle.label | call to user_input |
61110
| aliasing.cpp:13:3:13:21 | Chi [m1] | semmle.label | Chi [m1] |
62111
| aliasing.cpp:13:3:13:21 | Store | semmle.label | Store |
112+
| aliasing.cpp:13:3:13:21 | m1 [m1] | semmle.label | m1 [m1] |
63113
| aliasing.cpp:13:10:13:19 | call to user_input | semmle.label | call to user_input |
64114
| aliasing.cpp:25:17:25:19 | Chi [m1] | semmle.label | Chi [m1] |
65115
| aliasing.cpp:25:17:25:19 | pointerSetter output argument [m1] | semmle.label | pointerSetter output argument [m1] |
66116
| aliasing.cpp:26:19:26:20 | Chi [m1] | semmle.label | Chi [m1] |
67117
| aliasing.cpp:26:19:26:20 | referenceSetter output argument [m1] | semmle.label | referenceSetter output argument [m1] |
68118
| aliasing.cpp:29:11:29:12 | m1 | semmle.label | m1 |
119+
| aliasing.cpp:29:11:29:12 | m1 | semmle.label | m1 |
120+
| aliasing.cpp:30:11:30:12 | m1 | semmle.label | m1 |
69121
| aliasing.cpp:30:11:30:12 | m1 | semmle.label | m1 |
70122
| aliasing.cpp:37:13:37:22 | call to user_input | semmle.label | call to user_input |
71123
| aliasing.cpp:38:11:38:12 | m1 | semmle.label | m1 |
72124
| aliasing.cpp:42:11:42:20 | call to user_input | semmle.label | call to user_input |
73125
| aliasing.cpp:43:13:43:14 | m1 | semmle.label | m1 |
74-
| aliasing.cpp:60:3:60:22 | Chi [m1] | semmle.label | Chi [m1] |
75126
| aliasing.cpp:60:3:60:22 | Store | semmle.label | Store |
127+
| aliasing.cpp:60:3:60:22 | m1 [m1] | semmle.label | m1 [m1] |
76128
| aliasing.cpp:60:11:60:20 | call to user_input | semmle.label | call to user_input |
77129
| aliasing.cpp:61:13:61:14 | Store [m1] | semmle.label | Store [m1] |
78130
| aliasing.cpp:62:14:62:15 | m1 | semmle.label | m1 |
131+
| aliasing.cpp:62:14:62:15 | m1 | semmle.label | m1 |
79132
| aliasing.cpp:79:11:79:20 | call to user_input | semmle.label | call to user_input |
80133
| aliasing.cpp:80:12:80:13 | m1 | semmle.label | m1 |
81134
| aliasing.cpp:86:10:86:19 | call to user_input | semmle.label | call to user_input |
@@ -84,26 +137,69 @@ nodes
84137
| aliasing.cpp:93:12:93:13 | m1 | semmle.label | m1 |
85138
| by_reference.cpp:84:3:84:25 | Chi [a] | semmle.label | Chi [a] |
86139
| by_reference.cpp:84:3:84:25 | Store | semmle.label | Store |
140+
| by_reference.cpp:84:3:84:25 | a [a] | semmle.label | a [a] |
87141
| by_reference.cpp:84:14:84:23 | call to user_input | semmle.label | call to user_input |
88142
| by_reference.cpp:88:3:88:24 | Chi [a] | semmle.label | Chi [a] |
89143
| by_reference.cpp:88:3:88:24 | Store | semmle.label | Store |
144+
| by_reference.cpp:88:3:88:24 | a [a] | semmle.label | a [a] |
90145
| by_reference.cpp:88:13:88:22 | call to user_input | semmle.label | call to user_input |
91-
| by_reference.cpp:102:21:102:39 | Chi [a] | semmle.label | Chi [a] |
146+
| by_reference.cpp:102:21:102:39 | Chi [inner_nested, a] | semmle.label | Chi [inner_nested, a] |
147+
| by_reference.cpp:102:21:102:39 | inner_nested [inner_nested, a] | semmle.label | inner_nested [inner_nested, a] |
92148
| by_reference.cpp:102:21:102:39 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
93-
| by_reference.cpp:106:21:106:41 | Chi [a] | semmle.label | Chi [a] |
149+
| by_reference.cpp:106:21:106:41 | Chi [inner_nested, a] | semmle.label | Chi [inner_nested, a] |
150+
| by_reference.cpp:106:21:106:41 | inner_nested [inner_nested, a] | semmle.label | inner_nested [inner_nested, a] |
94151
| by_reference.cpp:106:21:106:41 | taint_inner_a_ptr output argument [a] | semmle.label | taint_inner_a_ptr output argument [a] |
95152
| by_reference.cpp:110:27:110:27 | a | semmle.label | a |
153+
| by_reference.cpp:110:27:110:27 | a | semmle.label | a |
154+
| by_reference.cpp:110:27:110:27 | inner_nested.a [a] | semmle.label | inner_nested.a [a] |
96155
| by_reference.cpp:114:29:114:29 | a | semmle.label | a |
97-
| by_reference.cpp:122:21:122:38 | Chi [a] | semmle.label | Chi [a] |
156+
| by_reference.cpp:114:29:114:29 | a | semmle.label | a |
157+
| by_reference.cpp:114:29:114:29 | inner_nested.a [a] | semmle.label | inner_nested.a [a] |
158+
| by_reference.cpp:122:21:122:38 | Chi [inner_nested, a] | semmle.label | Chi [inner_nested, a] |
159+
| by_reference.cpp:122:21:122:38 | inner_nested [inner_nested, a] | semmle.label | inner_nested [inner_nested, a] |
98160
| by_reference.cpp:122:21:122:38 | taint_inner_a_ref output argument [a] | semmle.label | taint_inner_a_ref output argument [a] |
99-
| by_reference.cpp:126:21:126:40 | Chi [a] | semmle.label | Chi [a] |
161+
| by_reference.cpp:126:21:126:40 | Chi [inner_nested, a] | semmle.label | Chi [inner_nested, a] |
162+
| by_reference.cpp:126:21:126:40 | inner_nested [inner_nested, a] | semmle.label | inner_nested [inner_nested, a] |
100163
| by_reference.cpp:126:21:126:40 | taint_inner_a_ref output argument [a] | semmle.label | taint_inner_a_ref output argument [a] |
101164
| by_reference.cpp:130:27:130:27 | a | semmle.label | a |
165+
| by_reference.cpp:130:27:130:27 | a | semmle.label | a |
166+
| by_reference.cpp:130:27:130:27 | inner_nested.a [a] | semmle.label | inner_nested.a [a] |
102167
| by_reference.cpp:134:29:134:29 | a | semmle.label | a |
103-
| simple.cpp:65:5:65:22 | Store [i] | semmle.label | Store [i] |
168+
| by_reference.cpp:134:29:134:29 | a | semmle.label | a |
169+
| by_reference.cpp:134:29:134:29 | inner_nested.a [a] | semmle.label | inner_nested.a [a] |
170+
| simple.cpp:65:5:65:22 | i [i] | semmle.label | i [i] |
104171
| simple.cpp:65:11:65:20 | call to user_input | semmle.label | call to user_input |
105172
| simple.cpp:66:12:66:12 | Store [i] | semmle.label | Store [i] |
106173
| simple.cpp:67:13:67:13 | i | semmle.label | i |
174+
| simple.cpp:67:13:67:13 | i | semmle.label | i |
175+
| simple.cpp:108:30:108:31 | d2 [d1_2, y] | semmle.label | d2 [d1_2, y] |
176+
| simple.cpp:111:18:111:18 | d1_2.y [y] | semmle.label | d1_2.y [y] |
177+
| simple.cpp:111:18:111:18 | y | semmle.label | y |
178+
| simple.cpp:111:18:111:18 | y | semmle.label | y |
179+
| simple.cpp:122:5:122:33 | Chi [d2_1, d1_1, ... (3)] | semmle.label | Chi [d2_1, d1_1, ... (3)] |
180+
| simple.cpp:122:5:122:33 | Store | semmle.label | Store |
181+
| simple.cpp:122:5:122:33 | d1_1.x [d1_1, x] | semmle.label | d1_1.x [d1_1, x] |
182+
| simple.cpp:122:5:122:33 | d2_1.d1_1.x [d2_1, d1_1, ... (3)] | semmle.label | d2_1.d1_1.x [d2_1, d1_1, ... (3)] |
183+
| simple.cpp:122:5:122:33 | x [x] | semmle.label | x [x] |
184+
| simple.cpp:122:22:122:31 | call to user_input | semmle.label | call to user_input |
185+
| simple.cpp:123:27:123:30 | Store [d1_1, x] | semmle.label | Store [d1_1, x] |
186+
| simple.cpp:123:27:123:30 | d2_1 [d1_1, x] | semmle.label | d2_1 [d1_1, x] |
187+
| simple.cpp:124:20:124:20 | d1_1.x [x] | semmle.label | d1_1.x [x] |
188+
| simple.cpp:124:20:124:20 | x | semmle.label | x |
189+
| simple.cpp:124:20:124:20 | x | semmle.label | x |
190+
| simple.cpp:130:15:130:15 | d1_1.x [x] | semmle.label | d1_1.x [x] |
191+
| simple.cpp:130:15:130:15 | x | semmle.label | x |
192+
| simple.cpp:130:15:130:15 | x | semmle.label | x |
193+
| simple.cpp:136:21:136:28 | Chi [d2_1, d1_2, ... (3)] | semmle.label | Chi [d2_1, d1_2, ... (3)] |
194+
| simple.cpp:136:21:136:28 | d2_1 [d2_1, d1_2, ... (3)] | semmle.label | d2_1 [d2_1, d1_2, ... (3)] |
195+
| simple.cpp:136:21:136:28 | write_to_d1_2_y output argument [d1_2, y] | semmle.label | write_to_d1_2_y output argument [d1_2, y] |
196+
| simple.cpp:136:31:136:40 | call to user_input | semmle.label | call to user_input |
197+
| simple.cpp:139:23:139:23 | d1_2.y [y] | semmle.label | d1_2.y [y] |
198+
| simple.cpp:139:23:139:23 | d2_1.d1_2.y [d1_2, y] | semmle.label | d2_1.d1_2.y [d1_2, y] |
199+
| simple.cpp:139:23:139:23 | y | semmle.label | y |
200+
| simple.cpp:139:23:139:23 | y | semmle.label | y |
201+
| simple.cpp:141:20:141:23 | d2_1 [d1_2, y] | semmle.label | d2_1 [d1_2, y] |
202+
| simple.cpp:141:20:141:23 | d2_1 [d1_2, y] | semmle.label | d2_1 [d1_2, y] |
107203
| struct_init.c:20:20:20:29 | call to user_input | semmle.label | call to user_input |
108204
| struct_init.c:22:11:22:11 | a | semmle.label | a |
109205
| struct_init.c:27:7:27:16 | call to user_input | semmle.label | call to user_input |
@@ -124,5 +220,9 @@ nodes
124220
| by_reference.cpp:130:27:130:27 | a | by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:130:27:130:27 | a | a flows from $@ | by_reference.cpp:88:13:88:22 | call to user_input | call to user_input |
125221
| by_reference.cpp:134:29:134:29 | a | by_reference.cpp:88:13:88:22 | call to user_input | by_reference.cpp:134:29:134:29 | a | a flows from $@ | by_reference.cpp:88:13:88:22 | call to user_input | call to user_input |
126222
| simple.cpp:67:13:67:13 | i | simple.cpp:65:11:65:20 | call to user_input | simple.cpp:67:13:67:13 | i | i flows from $@ | simple.cpp:65:11:65:20 | call to user_input | call to user_input |
223+
| simple.cpp:111:18:111:18 | y | simple.cpp:136:31:136:40 | call to user_input | simple.cpp:111:18:111:18 | y | y flows from $@ | simple.cpp:136:31:136:40 | call to user_input | call to user_input |
224+
| simple.cpp:124:20:124:20 | x | simple.cpp:122:22:122:31 | call to user_input | simple.cpp:124:20:124:20 | x | x flows from $@ | simple.cpp:122:22:122:31 | call to user_input | call to user_input |
225+
| simple.cpp:130:15:130:15 | x | simple.cpp:122:22:122:31 | call to user_input | simple.cpp:130:15:130:15 | x | x flows from $@ | simple.cpp:122:22:122:31 | call to user_input | call to user_input |
226+
| simple.cpp:139:23:139:23 | y | simple.cpp:136:31:136:40 | call to user_input | simple.cpp:139:23:139:23 | y | y flows from $@ | simple.cpp:136:31:136:40 | call to user_input | call to user_input |
127227
| struct_init.c:22:11:22:11 | a | struct_init.c:20:20:20:29 | call to user_input | struct_init.c:22:11:22:11 | a | a flows from $@ | struct_init.c:20:20:20:29 | call to user_input | call to user_input |
128228
| struct_init.c:31:23:31:23 | a | struct_init.c:27:7:27:16 | call to user_input | struct_init.c:31:23:31:23 | a | a flows from $@ | struct_init.c:27:7:27:16 | call to user_input | call to user_input |

0 commit comments

Comments
 (0)