-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathLocalPointsTo.expected
More file actions
363 lines (363 loc) · 18 KB
/
LocalPointsTo.expected
File metadata and controls
363 lines (363 loc) · 18 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
| 17 | ControlFlowNode for Attribute | list object |
| 17 | ControlFlowNode for Compare | bool False |
| 17 | ControlFlowNode for Compare | bool True |
| 17 | ControlFlowNode for IntegerLiteral | int 2 |
| 17 | ControlFlowNode for len | Builtin-function len |
| 17 | ControlFlowNode for len() | len() |
| 17 | ControlFlowNode for sys | Module sys |
| 18 | ControlFlowNode for C | class C |
| 18 | ControlFlowNode for v1 | class C |
| 20 | ControlFlowNode for D | class D |
| 20 | ControlFlowNode for v1 | class D |
| 21 | ControlFlowNode for v1 | class C |
| 21 | ControlFlowNode for v1 | class D |
| 21 | ControlFlowNode for v1() | v1() |
| 21 | ControlFlowNode for v2 | v1() |
| 23 | ControlFlowNode for FunctionExpr | Function f |
| 23 | ControlFlowNode for f | Function f |
| 24 | ControlFlowNode for Attribute | list object |
| 24 | ControlFlowNode for Compare | bool False |
| 24 | ControlFlowNode for Compare | bool True |
| 24 | ControlFlowNode for IntegerLiteral | int 3 |
| 24 | ControlFlowNode for len | Builtin-function len |
| 24 | ControlFlowNode for len() | len() |
| 24 | ControlFlowNode for sys | Module sys |
| 25 | ControlFlowNode for C | class C |
| 25 | ControlFlowNode for C() | C() |
| 25 | ControlFlowNode for v3 | C() |
| 27 | ControlFlowNode for D | class D |
| 27 | ControlFlowNode for D() | D() |
| 27 | ControlFlowNode for v3 | D() |
| 28 | ControlFlowNode for v3 | C() |
| 28 | ControlFlowNode for v3 | D() |
| 30 | ControlFlowNode for FunctionExpr | Function g |
| 30 | ControlFlowNode for g | Function g |
| 31 | ControlFlowNode for arg | C() |
| 31 | ControlFlowNode for arg | D() |
| 33 | ControlFlowNode for f | Function f |
| 33 | ControlFlowNode for f() | C() |
| 33 | ControlFlowNode for f() | D() |
| 33 | ControlFlowNode for g | Function g |
| 33 | ControlFlowNode for g() | C() |
| 33 | ControlFlowNode for g() | D() |
| 33 | ControlFlowNode for v4 | C() |
| 33 | ControlFlowNode for v4 | D() |
| 35 | ControlFlowNode for ClassExpr | class X |
| 35 | ControlFlowNode for X | class X |
| 35 | ControlFlowNode for object | builtin-class object |
| 36 | ControlFlowNode for classmethod | builtin-class classmethod |
| 36 | ControlFlowNode for classmethod() | classmethod() |
| 37 | ControlFlowNode for FunctionExpr | Function method1 |
| 37 | ControlFlowNode for method1 | classmethod() |
| 40 | ControlFlowNode for deco() | deco() |
| 41 | ControlFlowNode for FunctionExpr | Function method2 |
| 41 | ControlFlowNode for method2 | deco() |
| 44 | ControlFlowNode for FunctionExpr | Function deco |
| 44 | ControlFlowNode for deco | Function deco |
| 47 | ControlFlowNode for v1 | class C |
| 47 | ControlFlowNode for v1 | class D |
| 48 | ControlFlowNode for v2 | v1() |
| 50 | ControlFlowNode for v4 | C() |
| 50 | ControlFlowNode for v4 | D() |
| 51 | ControlFlowNode for list | builtin-class list |
| 53 | ControlFlowNode for FunctionExpr | Function h |
| 53 | ControlFlowNode for h | Function h |
| 54 | ControlFlowNode for Attribute | list object |
| 54 | ControlFlowNode for Compare | bool False |
| 54 | ControlFlowNode for Compare | bool True |
| 54 | ControlFlowNode for IntegerLiteral | int 4 |
| 54 | ControlFlowNode for len | Builtin-function len |
| 54 | ControlFlowNode for len() | len() |
| 54 | ControlFlowNode for sys | Module sys |
| 55 | ControlFlowNode for C | class C |
| 55 | ControlFlowNode for C() | C() |
| 55 | ControlFlowNode for v5 | C() |
| 57 | ControlFlowNode for D | class D |
| 57 | ControlFlowNode for D() | D() |
| 57 | ControlFlowNode for v5 | D() |
| 58 | ControlFlowNode for Tuple | Tuple |
| 58 | ControlFlowNode for list | builtin-class list |
| 58 | ControlFlowNode for list() | list() |
| 58 | ControlFlowNode for v5 | C() |
| 58 | ControlFlowNode for v5 | D() |
| 60 | ControlFlowNode for FunctionExpr | Function j |
| 60 | ControlFlowNode for j | Function j |
| 61 | ControlFlowNode for Tuple | Tuple |
| 61 | ControlFlowNode for dict | int 7 |
| 61 | ControlFlowNode for tuple | builtin-class tuple |
| 62 | ControlFlowNode for dict | builtin-class dict |
| 63 | ControlFlowNode for IntegerLiteral | int 7 |
| 63 | ControlFlowNode for dict | int 7 |
| 64 | ControlFlowNode for dict | int 7 |
| 65 | ControlFlowNode for tuple | builtin-class tuple |
| 66 | ControlFlowNode for tuple | builtin-class tuple |
| 69 | ControlFlowNode for Attribute | Attribute |
| 69 | ControlFlowNode for X | class X |
| 70 | ControlFlowNode for Attribute | deco() |
| 70 | ControlFlowNode for X | class X |
| 72 | ControlFlowNode for ImportExpr | Module abc |
| 72 | ControlFlowNode for ImportMember | Function abstractmethod |
| 72 | ControlFlowNode for abstractmethod | Function abstractmethod |
| 73 | ControlFlowNode for abstractmethod | Function abstractmethod |
| 75 | ControlFlowNode for C | class C |
| 75 | ControlFlowNode for C() | C() |
| 75 | ControlFlowNode for type | builtin-class type |
| 75 | ControlFlowNode for type() | class C |
| 76 | ControlFlowNode for sys | Module sys |
| 76 | ControlFlowNode for type | builtin-class type |
| 76 | ControlFlowNode for type() | builtin-class module |
| 78 | ControlFlowNode for type | builtin-class type |
| 79 | ControlFlowNode for Dict | Dict |
| 79 | ControlFlowNode for Tuple | Tuple |
| 79 | ControlFlowNode for object | builtin-class object |
| 79 | ControlFlowNode for type | builtin-class type |
| 79 | ControlFlowNode for type() | type() |
| 81 | ControlFlowNode for FunctionExpr | Function k |
| 81 | ControlFlowNode for k | Function k |
| 82 | ControlFlowNode for C | class C |
| 82 | ControlFlowNode for C() | C() |
| 82 | ControlFlowNode for type | builtin-class type |
| 82 | ControlFlowNode for type() | class C |
| 83 | ControlFlowNode for sys | Module sys |
| 83 | ControlFlowNode for type | builtin-class type |
| 83 | ControlFlowNode for type() | builtin-class module |
| 84 | ControlFlowNode for type | builtin-class type |
| 85 | ControlFlowNode for Dict | Dict |
| 85 | ControlFlowNode for Tuple | Tuple |
| 85 | ControlFlowNode for object | builtin-class object |
| 85 | ControlFlowNode for type | builtin-class type |
| 85 | ControlFlowNode for type() | type() |
| 88 | ControlFlowNode for FunctionExpr | Function outer |
| 88 | ControlFlowNode for outer | Function outer |
| 89 | ControlFlowNode for IntegerLiteral | int 1 |
| 89 | ControlFlowNode for y | int 1 |
| 90 | ControlFlowNode for FunctionExpr | Function inner |
| 90 | ControlFlowNode for inner | Function inner |
| 92 | ControlFlowNode for IntegerLiteral | int 2 |
| 92 | ControlFlowNode for z | int 2 |
| 93 | ControlFlowNode for inner | Function inner |
| 95 | ControlFlowNode for FunctionExpr | Function never_none |
| 95 | ControlFlowNode for never_none | Function never_none |
| 97 | ControlFlowNode for FloatLiteral | float 1.0 |
| 97 | ControlFlowNode for y | float 1.0 |
| 99 | ControlFlowNode for None | NoneType None |
| 99 | ControlFlowNode for y | NoneType None |
| 100 | ControlFlowNode for Compare | bool False |
| 100 | ControlFlowNode for Compare | bool True |
| 100 | ControlFlowNode for None | NoneType None |
| 100 | ControlFlowNode for y | NoneType None |
| 100 | ControlFlowNode for y | float 1.0 |
| 101 | ControlFlowNode for FloatLiteral | float 0.0 |
| 101 | ControlFlowNode for y | float 0.0 |
| 102 | ControlFlowNode for y | float 0.0 |
| 102 | ControlFlowNode for y | float 1.0 |
| 104 | ControlFlowNode for FunctionExpr | Function outer_use_vars |
| 104 | ControlFlowNode for outer_use_vars | Function outer_use_vars |
| 105 | ControlFlowNode for IntegerLiteral | int 1 |
| 105 | ControlFlowNode for y | int 1 |
| 106 | ControlFlowNode for FunctionExpr | Function inner |
| 106 | ControlFlowNode for inner | Function inner |
| 108 | ControlFlowNode for IntegerLiteral | int 2 |
| 108 | ControlFlowNode for z | int 2 |
| 109 | ControlFlowNode for BinaryExpr | BinaryExpr |
| 109 | ControlFlowNode for y | int 1 |
| 109 | ControlFlowNode for z | int 2 |
| 110 | ControlFlowNode for inner | Function inner |
| 112 | ControlFlowNode for FunctionExpr | Function literals_in_func |
| 112 | ControlFlowNode for literals_in_func | Function literals_in_func |
| 113 | ControlFlowNode for True | bool True |
| 114 | ControlFlowNode for None | NoneType None |
| 115 | ControlFlowNode for IntegerLiteral | int 1346 |
| 116 | ControlFlowNode for FloatLiteral | float 0.7 |
| 117 | ControlFlowNode for ClassExpr | class X |
| 117 | ControlFlowNode for X | class X |
| 117 | ControlFlowNode for object | builtin-class object |
| 118 | ControlFlowNode for FunctionExpr | Function f |
| 118 | ControlFlowNode for f | Function f |
| 119 | ControlFlowNode for Tuple | Tuple |
| 120 | ControlFlowNode for List | List |
| 122 | ControlFlowNode for Lambda | Function lambda |
| 122 | ControlFlowNode for following | Function following |
| 122 | ControlFlowNode for following() | NoneType None |
| 122 | ControlFlowNode for y | Function lambda |
| 124 | ControlFlowNode for FunctionExpr | Function following |
| 124 | ControlFlowNode for following | Function following |
| 127 | ControlFlowNode for Dict | Dict |
| 127 | ControlFlowNode for FunctionExpr | Function params_and_defaults |
| 127 | ControlFlowNode for IntegerLiteral | int 1 |
| 127 | ControlFlowNode for params_and_defaults | Function params_and_defaults |
| 129 | ControlFlowNode for b | Dict |
| 130 | ControlFlowNode for c | int 1 |
| 132 | ControlFlowNode for FunctionExpr | Function inner_cls |
| 132 | ControlFlowNode for inner_cls | Function inner_cls |
| 133 | ControlFlowNode for A | class A |
| 133 | ControlFlowNode for BaseException | builtin-class BaseException |
| 133 | ControlFlowNode for ClassExpr | class A |
| 135 | ControlFlowNode for A | class A |
| 135 | ControlFlowNode for A() | A() |
| 135 | ControlFlowNode for a | A() |
| 136 | ControlFlowNode for a | A() |
| 138 | ControlFlowNode for ImportExpr | Module xyz |
| 139 | ControlFlowNode for ImportExpr | Module xyz |
| 139 | ControlFlowNode for xyz | Module xyz |
| 140 | ControlFlowNode for Attribute | float 1.0 |
| 140 | ControlFlowNode for xyz | Module xyz |
| 141 | ControlFlowNode for z | float 3.0 |
| 145 | ControlFlowNode for Base | class Base |
| 145 | ControlFlowNode for ClassExpr | class Base |
| 145 | ControlFlowNode for object | builtin-class object |
| 147 | ControlFlowNode for FunctionExpr | Function __init__ |
| 147 | ControlFlowNode for __init__ | Function __init__ |
| 148 | ControlFlowNode for Compare | bool False |
| 148 | ControlFlowNode for Compare | bool True |
| 148 | ControlFlowNode for IntegerLiteral | int 1 |
| 149 | ControlFlowNode for Attribute | class Derived1 |
| 149 | ControlFlowNode for Derived1 | class Derived1 |
| 149 | ControlFlowNode for self | self |
| 150 | ControlFlowNode for Compare | bool False |
| 150 | ControlFlowNode for Compare | bool True |
| 150 | ControlFlowNode for IntegerLiteral | int 2 |
| 151 | ControlFlowNode for Attribute | class Derived2 |
| 151 | ControlFlowNode for Derived2 | class Derived2 |
| 151 | ControlFlowNode for self | self |
| 153 | ControlFlowNode for Attribute | class Derived3 |
| 153 | ControlFlowNode for Derived3 | class Derived3 |
| 153 | ControlFlowNode for self | self |
| 155 | ControlFlowNode for Base | class Base |
| 155 | ControlFlowNode for ClassExpr | class Derived1 |
| 155 | ControlFlowNode for Derived1 | class Derived1 |
| 158 | ControlFlowNode for Base | class Base |
| 158 | ControlFlowNode for ClassExpr | class Derived2 |
| 158 | ControlFlowNode for Derived2 | class Derived2 |
| 161 | ControlFlowNode for Base | class Base |
| 161 | ControlFlowNode for ClassExpr | class Derived3 |
| 161 | ControlFlowNode for Derived3 | class Derived3 |
| 164 | ControlFlowNode for Base | class Base |
| 164 | ControlFlowNode for Base() | Base() |
| 164 | ControlFlowNode for thing | Base() |
| 167 | ControlFlowNode for FunctionExpr | Function multiple_assignment |
| 167 | ControlFlowNode for multiple_assignment | Function multiple_assignment |
| 168 | ControlFlowNode for Tuple | Tuple |
| 168 | ControlFlowNode for _list | builtin-class list |
| 168 | ControlFlowNode for _tuple | builtin-class tuple |
| 168 | ControlFlowNode for list | builtin-class list |
| 168 | ControlFlowNode for tuple | builtin-class tuple |
| 169 | ControlFlowNode for _tuple | builtin-class tuple |
| 170 | ControlFlowNode for _list | builtin-class list |
| 173 | ControlFlowNode for Base2 | class Base2 |
| 173 | ControlFlowNode for ClassExpr | class Base2 |
| 173 | ControlFlowNode for object | builtin-class object |
| 175 | ControlFlowNode for FunctionExpr | Function __init__ |
| 175 | ControlFlowNode for __init__ | Function __init__ |
| 178 | ControlFlowNode for IntegerLiteral | int 1 |
| 178 | ControlFlowNode for x | int 1 |
| 180 | ControlFlowNode for Base2 | class Base2 |
| 180 | ControlFlowNode for ClassExpr | class Derived4 |
| 180 | ControlFlowNode for Derived4 | class Derived4 |
| 182 | ControlFlowNode for FunctionExpr | Function __init__ |
| 182 | ControlFlowNode for __init__ | Function __init__ |
| 183 | ControlFlowNode for Attribute | int 1 |
| 183 | ControlFlowNode for Derived4 | class Derived4 |
| 183 | ControlFlowNode for self | self |
| 183 | ControlFlowNode for super | builtin-class super |
| 183 | ControlFlowNode for super() | super() |
| 184 | ControlFlowNode for Attribute | super().__init__ |
| 184 | ControlFlowNode for Attribute() | NoneType None |
| 184 | ControlFlowNode for Derived4 | class Derived4 |
| 184 | ControlFlowNode for self | self |
| 184 | ControlFlowNode for super | builtin-class super |
| 184 | ControlFlowNode for super() | super() |
| 187 | ControlFlowNode for FunctionExpr | Function vararg_kwarg |
| 187 | ControlFlowNode for d | d |
| 187 | ControlFlowNode for t | t |
| 187 | ControlFlowNode for vararg_kwarg | Function vararg_kwarg |
| 188 | ControlFlowNode for t | t |
| 189 | ControlFlowNode for d | d |
| 193 | ControlFlowNode for ClassExpr | class E |
| 193 | ControlFlowNode for E | class E |
| 193 | ControlFlowNode for object | builtin-class object |
| 195 | ControlFlowNode for FunctionExpr | Function _internal |
| 195 | ControlFlowNode for _internal | Function _internal |
| 197 | ControlFlowNode for FunctionExpr | Function wrapper |
| 197 | ControlFlowNode for wrapper | Function wrapper |
| 199 | ControlFlowNode for wrapper | Function wrapper |
| 201 | ControlFlowNode for _internal | Function _internal |
| 201 | ControlFlowNode for _internal() | Function wrapper |
| 202 | ControlFlowNode for FunctionExpr | Function method |
| 202 | ControlFlowNode for args | args |
| 202 | ControlFlowNode for method | Function wrapper |
| 206 | ControlFlowNode for FunctionExpr | Function calls_next |
| 206 | ControlFlowNode for calls_next | Function calls_next |
| 207 | ControlFlowNode for iter | Builtin-function iter |
| 208 | ControlFlowNode for next | Builtin-function next |
| 213 | ControlFlowNode for ImportExpr | Module sys |
| 213 | ControlFlowNode for ImportMember | Builtin-function exit |
| 213 | ControlFlowNode for exit | Builtin-function exit |
| 217 | ControlFlowNode for None | NoneType None |
| 217 | ControlFlowNode for g1 | NoneType None |
| 219 | ControlFlowNode for FunctionExpr | Function assign_global |
| 219 | ControlFlowNode for assign_global | Function assign_global |
| 221 | ControlFlowNode for IntegerLiteral | int 101 |
| 221 | ControlFlowNode for g1 | int 101 |
| 222 | ControlFlowNode for g1 | int 101 |
| 226 | ControlFlowNode for None | NoneType None |
| 226 | ControlFlowNode for g2 | NoneType None |
| 228 | ControlFlowNode for FunctionExpr | Function init |
| 228 | ControlFlowNode for init | Function init |
| 230 | ControlFlowNode for IntegerLiteral | int 102 |
| 230 | ControlFlowNode for g2 | int 102 |
| 232 | ControlFlowNode for init | Function init |
| 232 | ControlFlowNode for init() | NoneType None |
| 233 | ControlFlowNode for g2 | int 102 |
| 236 | ControlFlowNode for None | NoneType None |
| 236 | ControlFlowNode for g3 | NoneType None |
| 238 | ControlFlowNode for ClassExpr | class Ugly |
| 238 | ControlFlowNode for Ugly | class Ugly |
| 238 | ControlFlowNode for object | builtin-class object |
| 240 | ControlFlowNode for FunctionExpr | Function __init__ |
| 240 | ControlFlowNode for __init__ | Function __init__ |
| 242 | ControlFlowNode for IntegerLiteral | int 103 |
| 242 | ControlFlowNode for g3 | int 103 |
| 244 | ControlFlowNode for FunctionExpr | Function meth |
| 244 | ControlFlowNode for meth | Function meth |
| 245 | ControlFlowNode for g3 | int 103 |
| 248 | ControlFlowNode for ClassExpr | class F |
| 248 | ControlFlowNode for F | class F |
| 248 | ControlFlowNode for object | builtin-class object |
| 250 | ControlFlowNode for g3 | NoneType None |
| 251 | ControlFlowNode for g3 | NoneType None |
| 254 | ControlFlowNode for ClassExpr | class G |
| 254 | ControlFlowNode for G | class G |
| 254 | ControlFlowNode for object | builtin-class object |
| 256 | ControlFlowNode for IntegerLiteral | int 0 |
| 256 | ControlFlowNode for attr | int 0 |
| 258 | ControlFlowNode for FunctionExpr | Function __init__ |
| 258 | ControlFlowNode for __init__ | Function __init__ |
| 259 | ControlFlowNode for Attribute | int 1 |
| 259 | ControlFlowNode for IntegerLiteral | int 1 |
| 259 | ControlFlowNode for self | self |
| 261 | ControlFlowNode for FunctionExpr | Function meth |
| 261 | ControlFlowNode for meth | Function meth |
| 262 | ControlFlowNode for Attribute | int 2 |
| 262 | ControlFlowNode for IntegerLiteral | int 2 |
| 262 | ControlFlowNode for self | self |
| 263 | ControlFlowNode for Attribute | int 3 |
| 263 | ControlFlowNode for IntegerLiteral | int 3 |
| 263 | ControlFlowNode for self | self |
| 264 | ControlFlowNode for Attribute | int 3 |
| 264 | ControlFlowNode for self | self |
| 267 | ControlFlowNode for Derived4 | class Derived4 |
| 267 | ControlFlowNode for Derived4() | Derived4() |
| 270 | ControlFlowNode for ClassExpr | class DiGraph |
| 270 | ControlFlowNode for DiGraph | class DiGraph |
| 270 | ControlFlowNode for object | builtin-class object |
| 272 | ControlFlowNode for FunctionExpr | Function __init__ |
| 272 | ControlFlowNode for __init__ | Function __init__ |
| 273 | ControlFlowNode for Attribute | Dict |
| 273 | ControlFlowNode for Dict | Dict |
| 273 | ControlFlowNode for self | self |
| 275 | ControlFlowNode for FunctionExpr | Function add_node |
| 275 | ControlFlowNode for add_node | Function add_node |
| 276 | ControlFlowNode for IntegerLiteral | int 0 |
| 276 | ControlFlowNode for Subscript | int 0 |
| 276 | ControlFlowNode for self | self |