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
|
Line: 0 Ins: '#\ty="Effect - Glut Example\\0"' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 1 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 0 Type: read Pointer: False Line: 1 Var Name: 69 Type: imm Lifetime: 1-15 Loc: 0 Type: None Asm: None
Arg 2: Act: 1 Type: write Pointer: False Line: 1 Var Name: y0 Type: char Lifetime: 1-32 Loc: 1 Type: None Asm: None
Line: 2 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 2 Type: read Pointer: False Line: 2 Var Name: 102 Type: imm Lifetime: 2-3 Loc: 2 Type: None Asm: None
Arg 2: Act: 3 Type: write Pointer: False Line: 2 Var Name: y1 Type: char Lifetime: 2-32 Loc: 3 Type: None Asm: None
Line: 3 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 4 Type: read Pointer: False Line: 3 Var Name: 102 Type: imm Lifetime: 2-3 Loc: 4 Type: None Asm: None
Arg 2: Act: 5 Type: write Pointer: False Line: 3 Var Name: y2 Type: char Lifetime: 3-32 Loc: 5 Type: None Asm: None
Line: 4 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 6 Type: read Pointer: False Line: 4 Var Name: 101 Type: imm Lifetime: 4-21 Loc: 6 Type: None Asm: None
Arg 2: Act: 7 Type: write Pointer: False Line: 4 Var Name: y3 Type: char Lifetime: 4-32 Loc: 7 Type: None Asm: None
Line: 5 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 8 Type: read Pointer: False Line: 5 Var Name: 99 Type: imm Lifetime: 5-5 Loc: 8 Type: None Asm: None
Arg 2: Act: 9 Type: write Pointer: False Line: 5 Var Name: y4 Type: char Lifetime: 5-32 Loc: 9 Type: None Asm: None
Line: 6 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 10 Type: read Pointer: False Line: 6 Var Name: 116 Type: imm Lifetime: 6-13 Loc: 10 Type: None Asm: None
Arg 2: Act: 11 Type: write Pointer: False Line: 6 Var Name: y5 Type: char Lifetime: 6-32 Loc: 11 Type: None Asm: None
Line: 7 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 12 Type: read Pointer: False Line: 7 Var Name: 32 Type: imm Lifetime: 7-14 Loc: 12 Type: None Asm: None
Arg 2: Act: 13 Type: write Pointer: False Line: 7 Var Name: y6 Type: char Lifetime: 7-32 Loc: 13 Type: None Asm: None
Line: 8 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 14 Type: read Pointer: False Line: 8 Var Name: 45 Type: imm Lifetime: 8-8 Loc: 14 Type: None Asm: None
Arg 2: Act: 15 Type: write Pointer: False Line: 8 Var Name: y7 Type: char Lifetime: 8-32 Loc: 15 Type: None Asm: None
Line: 9 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 16 Type: read Pointer: False Line: 9 Var Name: 32 Type: imm Lifetime: 7-14 Loc: 16 Type: None Asm: None
Arg 2: Act: 17 Type: write Pointer: False Line: 9 Var Name: y8 Type: char Lifetime: 9-32 Loc: 17 Type: None Asm: None
Line: 10 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 18 Type: read Pointer: False Line: 10 Var Name: 71 Type: imm Lifetime: 10-10 Loc: 18 Type: None Asm: None
Arg 2: Act: 19 Type: write Pointer: False Line: 10 Var Name: y9 Type: char Lifetime: 10-32 Loc: 19 Type: None Asm: None
Line: 11 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 20 Type: read Pointer: False Line: 11 Var Name: 108 Type: imm Lifetime: 11-20 Loc: 20 Type: None Asm: None
Arg 2: Act: 21 Type: write Pointer: False Line: 11 Var Name: y10 Type: char Lifetime: 11-32 Loc: 21 Type: None Asm: None
Line: 12 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 22 Type: read Pointer: False Line: 12 Var Name: 117 Type: imm Lifetime: 12-12 Loc: 22 Type: None Asm: None
Arg 2: Act: 23 Type: write Pointer: False Line: 12 Var Name: y11 Type: char Lifetime: 12-32 Loc: 23 Type: None Asm: None
Line: 13 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 24 Type: read Pointer: False Line: 13 Var Name: 116 Type: imm Lifetime: 6-13 Loc: 24 Type: None Asm: None
Arg 2: Act: 25 Type: write Pointer: False Line: 13 Var Name: y12 Type: char Lifetime: 13-32 Loc: 25 Type: None Asm: None
Line: 14 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 26 Type: read Pointer: False Line: 14 Var Name: 32 Type: imm Lifetime: 7-14 Loc: 26 Type: None Asm: None
Arg 2: Act: 27 Type: write Pointer: False Line: 14 Var Name: y13 Type: char Lifetime: 14-32 Loc: 27 Type: None Asm: None
Line: 15 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 28 Type: read Pointer: False Line: 15 Var Name: 69 Type: imm Lifetime: 1-15 Loc: 28 Type: None Asm: None
Arg 2: Act: 29 Type: write Pointer: False Line: 15 Var Name: y14 Type: char Lifetime: 15-32 Loc: 29 Type: None Asm: None
Line: 16 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 30 Type: read Pointer: False Line: 16 Var Name: 120 Type: imm Lifetime: 16-16 Loc: 30 Type: None Asm: None
Arg 2: Act: 31 Type: write Pointer: False Line: 16 Var Name: y15 Type: char Lifetime: 16-32 Loc: 31 Type: None Asm: None
Line: 17 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 32 Type: read Pointer: False Line: 17 Var Name: 97 Type: imm Lifetime: 17-17 Loc: 32 Type: None Asm: None
Arg 2: Act: 33 Type: write Pointer: False Line: 17 Var Name: y16 Type: char Lifetime: 17-32 Loc: 33 Type: None Asm: None
Line: 18 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 34 Type: read Pointer: False Line: 18 Var Name: 109 Type: imm Lifetime: 18-18 Loc: 34 Type: None Asm: None
Arg 2: Act: 35 Type: write Pointer: False Line: 18 Var Name: y17 Type: char Lifetime: 18-32 Loc: 35 Type: None Asm: None
Line: 19 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 36 Type: read Pointer: False Line: 19 Var Name: 112 Type: imm Lifetime: 19-19 Loc: 36 Type: None Asm: None
Arg 2: Act: 37 Type: write Pointer: False Line: 19 Var Name: y18 Type: char Lifetime: 19-32 Loc: 37 Type: None Asm: None
Line: 20 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 38 Type: read Pointer: False Line: 20 Var Name: 108 Type: imm Lifetime: 11-20 Loc: 38 Type: None Asm: None
Arg 2: Act: 39 Type: write Pointer: False Line: 20 Var Name: y19 Type: char Lifetime: 20-32 Loc: 39 Type: None Asm: None
Line: 21 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 40 Type: read Pointer: False Line: 21 Var Name: 101 Type: imm Lifetime: 4-21 Loc: 40 Type: None Asm: None
Arg 2: Act: 41 Type: write Pointer: False Line: 21 Var Name: y20 Type: char Lifetime: 21-32 Loc: 41 Type: None Asm: None
Line: 22 Ins: 'movb' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 42 Type: read Pointer: False Line: 22 Var Name: 0 Type: imm Lifetime: 22-36 Loc: 42 Type: None Asm: None
Arg 2: Act: 43 Type: write Pointer: False Line: 22 Var Name: y21 Type: char Lifetime: 22-32 Loc: 43 Type: None Asm: None
Line: 23 Ins: '#\tf=0' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 24 Ins: 'movq' Rem: False Com: False Ext: False Exe: True By: S3Flow: start
Arg 1: Act: 44 Type: read Pointer: False Line: 24 Var Name: 0 Type: imm Lifetime: 22-36 Loc: 44 Type: None Asm: None
Arg 2: Act: 45 Type: write Pointer: False Line: 24 Var Name: f Type: natural Lifetime: 24-26 Loc: 45 Type: None Asm: None
Line: 25 Ins: '#\tglut.glutInit(&f)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 26 Ins: 'call glutInit' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
Arg 1: None
Arg 2: None
Act: 46 Type: modify Pointer: True Line: 26 Var Name: f Type: natural Lifetime: 24-26 Loc: 46 Type: reg Asm: '%rdi'
Line: 27 Ins: '#\tglut.glutInitDisplayMode(18)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 28 Ins: 'call glutInitDisplayMode' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
Arg 1: None
Arg 2: None
Act: 47 Type: read Pointer: False Line: 28 Var Name: 18 Type: imm Lifetime: 28-28 Loc: 47 Type: reg Asm: '%rdi'
Line: 29 Ins: '#\tglut.glutInitWindowSize(800,600)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 30 Ins: 'call glutInitWindowSize' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
Arg 1: None
Arg 2: None
Act: 48 Type: read Pointer: False Line: 30 Var Name: 800 Type: imm Lifetime: 30-30 Loc: 48 Type: reg Asm: '%rdi'
Act: 49 Type: read Pointer: False Line: 30 Var Name: 600 Type: imm Lifetime: 30-30 Loc: 49 Type: reg Asm: '%rsi'
Line: 31 Ins: '#\tglut.glutCreateWindow(y)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 32 Ins: 'call glutCreateWindow' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
Arg 1: None
Arg 2: None
Act: 50 Type: read Pointer: True Line: 32 Var Name: y0 Type: char Lifetime: 1-32 Loc: 50 Type: reg Asm: '%rdi'
Act: 51 Type: read Pointer: False Line: 32 Var Name: y1 Type: char Lifetime: 2-32 Loc: 51 Type: None Asm: None
Act: 52 Type: read Pointer: False Line: 32 Var Name: y2 Type: char Lifetime: 3-32 Loc: 52 Type: None Asm: None
Act: 53 Type: read Pointer: False Line: 32 Var Name: y3 Type: char Lifetime: 4-32 Loc: 53 Type: None Asm: None
Act: 54 Type: read Pointer: False Line: 32 Var Name: y4 Type: char Lifetime: 5-32 Loc: 54 Type: None Asm: None
Act: 55 Type: read Pointer: False Line: 32 Var Name: y5 Type: char Lifetime: 6-32 Loc: 55 Type: None Asm: None
Act: 56 Type: read Pointer: False Line: 32 Var Name: y6 Type: char Lifetime: 7-32 Loc: 56 Type: None Asm: None
Act: 57 Type: read Pointer: False Line: 32 Var Name: y7 Type: char Lifetime: 8-32 Loc: 57 Type: None Asm: None
Act: 58 Type: read Pointer: False Line: 32 Var Name: y8 Type: char Lifetime: 9-32 Loc: 58 Type: None Asm: None
Act: 59 Type: read Pointer: False Line: 32 Var Name: y9 Type: char Lifetime: 10-32 Loc: 59 Type: None Asm: None
Act: 60 Type: read Pointer: False Line: 32 Var Name: y10 Type: char Lifetime: 11-32 Loc: 60 Type: None Asm: None
Act: 61 Type: read Pointer: False Line: 32 Var Name: y11 Type: char Lifetime: 12-32 Loc: 61 Type: None Asm: None
Act: 62 Type: read Pointer: False Line: 32 Var Name: y12 Type: char Lifetime: 13-32 Loc: 62 Type: None Asm: None
Act: 63 Type: read Pointer: False Line: 32 Var Name: y13 Type: char Lifetime: 14-32 Loc: 63 Type: None Asm: None
Act: 64 Type: read Pointer: False Line: 32 Var Name: y14 Type: char Lifetime: 15-32 Loc: 64 Type: None Asm: None
Act: 65 Type: read Pointer: False Line: 32 Var Name: y15 Type: char Lifetime: 16-32 Loc: 65 Type: None Asm: None
Act: 66 Type: read Pointer: False Line: 32 Var Name: y16 Type: char Lifetime: 17-32 Loc: 66 Type: None Asm: None
Act: 67 Type: read Pointer: False Line: 32 Var Name: y17 Type: char Lifetime: 18-32 Loc: 67 Type: None Asm: None
Act: 68 Type: read Pointer: False Line: 32 Var Name: y18 Type: char Lifetime: 19-32 Loc: 68 Type: None Asm: None
Act: 69 Type: read Pointer: False Line: 32 Var Name: y19 Type: char Lifetime: 20-32 Loc: 69 Type: None Asm: None
Act: 70 Type: read Pointer: False Line: 32 Var Name: y20 Type: char Lifetime: 21-32 Loc: 70 Type: None Asm: None
Act: 71 Type: read Pointer: False Line: 32 Var Name: y21 Type: char Lifetime: 22-32 Loc: 71 Type: None Asm: None
Line: 33 Ins: '#\tglut.glutMainLoop()' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 34 Ins: 'call glutMainLoop' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 35 Ins: '#\texit(0)' Rem: False Com: True Ext: False Exe: False By: S3Flow: start
Arg 1: None
Arg 2: None
Line: 36 Ins: 'syscall' Rem: False Com: False Ext: True Exe: True By: S3Flow: start
Arg 1: None
Arg 2: None
Act: 72 Type: read Pointer: False Line: 36 Var Name: 60 Type: imm Lifetime: 36-36 Loc: 72 Type: reg Asm: '%rax'
Act: 73 Type: read Pointer: False Line: 36 Var Name: 0 Type: imm Lifetime: 22-36 Loc: 73 Type: reg Asm: '%rdi'
|