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
|
//go:build ignore
// +build ignore
package main
// Forked from arrays.go. Requires go1.17 to parse slice to array casts.
// TODO(taking): Merge back into arrays.go once we can assume go1.17.
var unknown bool // defeat dead-code elimination
var a, b int
func array1() {
sliceA := make([]*int, 10) // @line a1make
sliceA[0] = &a
var sliceB []*int
sliceB = append(sliceB, &b) // @line a1append
print(sliceA) // @pointsto makeslice@a1make:16
print(sliceA[0]) // @pointsto command-line-arguments.a
print(sliceB) // @pointsto append@a1append:17
print(sliceB[100]) // @pointsto command-line-arguments.b
}
func array2() {
sliceA := make([]*int, 10) // @line a2make
sliceA[0] = &a
sliceB := sliceA[:]
print(sliceA) // @pointsto makeslice@a2make:16
print(sliceA[0]) // @pointsto command-line-arguments.a
print(sliceB) // @pointsto makeslice@a2make:16
print(sliceB[0]) // @pointsto command-line-arguments.a
}
func array3() {
a := []interface{}{"", 1}
b := []interface{}{true, func() {}}
print(a[0]) // @types string | int
print(b[0]) // @types bool | func()
}
// Test of append, copy, slice.
func array4() {
var s2 struct { // @line a4L0
a [3]int
b struct{ c, d int }
}
var sl1 = make([]*int, 10) // @line a4make
var someint int // @line a4L1
sl1[1] = &someint
sl2 := append(sl1, &s2.a[1]) // @line a4append1
print(sl1) // @pointsto makeslice@a4make:16
print(sl2) // @pointsto append@a4append1:15 | makeslice@a4make:16
print(sl1[0]) // @pointsto someint@a4L1:6 | s2.a[*]@a4L0:6
print(sl2[0]) // @pointsto someint@a4L1:6 | s2.a[*]@a4L0:6
// In z=append(x,y) we should observe flow from y[*] to x[*].
var sl3 = make([]*int, 10) // @line a4L2
_ = append(sl3, &s2.a[1])
print(sl3) // @pointsto makeslice@a4L2:16
print(sl3[0]) // @pointsto s2.a[*]@a4L0:6
var sl4 = []*int{&a} // @line a4L3
sl4a := append(sl4) // @line a4L4
print(sl4a) // @pointsto slicelit@a4L3:18 | append@a4L4:16
print(&sl4a[0]) // @pointsto slicelit[*]@a4L3:18 | append[*]@a4L4:16
print(sl4a[0]) // @pointsto command-line-arguments.a
var sl5 = []*int{&b} // @line a4L5
copy(sl5, sl4)
print(sl5) // @pointsto slicelit@a4L5:18
print(&sl5[0]) // @pointsto slicelit[*]@a4L5:18
print(sl5[0]) // @pointsto command-line-arguments.b | command-line-arguments.a
var sl6 = sl5[:0]
print(sl6) // @pointsto slicelit@a4L5:18
print(&sl6[0]) // @pointsto slicelit[*]@a4L5:18
print(sl6[0]) // @pointsto command-line-arguments.b | command-line-arguments.a
}
func array5() {
var arr [2]*int
arr[0] = &a
arr[1] = &b
var n int
print(arr[n]) // @pointsto command-line-arguments.a | command-line-arguments.b
}
func array6() {
var n int
sl0 := []*int{&a}
ap0 := (*[1]*int)(sl0)
ar0 := *ap0
print(ap0[n]) // @pointsto command-line-arguments.a
print(sl0[n]) // @pointsto command-line-arguments.a
print(ar0[n]) // @pointsto command-line-arguments.a
sl1 := []*int{&a}
ap1 := (*[1]*int)(sl1)
ar1 := *ap1
ar1[0] = &b
print(ap1[n]) // @pointsto command-line-arguments.a
print(sl1[n]) // @pointsto command-line-arguments.a
print(ar1[n]) // @pointsto command-line-arguments.a | command-line-arguments.b
sl2 := []*int{&a}
ap2 := (*[1]*int)(sl2)
ar2 := *ap2
ap2[0] = &b
print(ap2[n]) // @pointsto command-line-arguments.a | command-line-arguments.b
print(sl2[n]) // @pointsto command-line-arguments.a | command-line-arguments.b
print(ar2[n]) // @pointsto command-line-arguments.a | command-line-arguments.b
sl3 := []*int{&b, nil}
ap3 := (*[1]*int)(sl3)
ar3 := *ap3
print(sl3[n]) // @pointsto command-line-arguments.b
print(ap3[n]) // @pointsto command-line-arguments.b
print(ar3[n]) // @pointsto command-line-arguments.b
}
func array7() {
var n int
sl0 := []*int{nil, nil, nil}
ap0 := (*[2]*int)(sl0)
ap1 := (*[1]*int)(sl0[2:])
ap1[0] = &a
print(sl0[n]) // @pointsto command-line-arguments.a
print(ap0[n]) // @pointsto command-line-arguments.a
print(ap1[n]) // @pointsto command-line-arguments.a
}
func array8() {
var n int
sl1 := make([]*int, 1, 1)
sl2 := make([]*int, 1, 1)
pa1 := (*[1]*int)(sl1)
pa2 := (*[1]*int)(sl2)
sl1[0] = &a
sl2[0] = &b
print(pa1[n]) // @pointsto command-line-arguments.a
print(pa2[n]) // @pointsto command-line-arguments.b
pa2 = pa1
print(pa1[n]) // @pointsto command-line-arguments.a
print(pa2[n]) // @pointsto command-line-arguments.a
}
func main() {
array1()
array2()
array3()
array4()
array5()
array6()
array7()
array8()
}
|
