1 -------- @pointsto mrv --------
2 this reflect.Value may contain these dynamic types:
7 map[*int]*bool, may point to:
10 -------- @pointsto p1 --------
11 this interface{} may contain these dynamic types:
16 map[*int]*bool, may point to:
19 -------- @pointsto p2 --------
20 this []reflect.Value may point to these objects:
21 <alloc in (reflect.Value).MapKeys>
23 -------- @pointsto p3 --------
24 this reflect.Value may contain these dynamic types:
28 -------- @pointsto p4 --------
29 this reflect.Type may contain these dynamic types:
30 *reflect.rtype, may point to: