-
Notifications
You must be signed in to change notification settings - Fork 4
/
HAL.atmel_6lowpan_udp_tx.elf-round1-state1535-tbnum1424_KB.dat
executable file
·299 lines (298 loc) · 8.77 KB
/
HAL.atmel_6lowpan_udp_tx.elf-round1-state1535-tbnum1424_KB.dat
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
t0_0x40000418_0x0_0x0_0x0
t0_0x4000041c_0x0_0x0_0x0
t0_0x40000420_0x0_0x0_0x0
t0_0x40000814_0x0_0x0_0x0
t0_0x40000820_0x0_0x0_0x0
t0_0x40000c02_0x0_0x0_0x0
t0_0x40000c04_0x0_0x0_0x0
t0_0x40001400_0x0_0x0_0x0
t0_0x40001800_0x0_0x0_0x0
t0_0x40001814_0x0_0x0_0x0
t0_0x40001818_0x0_0x0_0x0
t0_0x4000181c_0x0_0x0_0x0
t0_0x41004004_0x0_0x0_0x0
t0_0x4100480e_0x0_0x0_0x0
t0_0x41005003_0x0_0x0_0x0
t0_0x42000804_0x0_0x0_0x0
t0_0x42000c04_0x0_0x0_0x0
t0_0x42001800_0x0_0x0_0x0
t1_0x42000c18_0xb04_0x8b1d7661e0ee4273_0x2
pt1_0x40000c01_0x20e2_0xdf698b5870f8fcc5_0x0
pt1_0x40000c01_0x20f4_0xdf698b5870f8fcc5_0x0
pt1_0x40000c01_0x2102_0xdf698b5870f8fcc5_0x0
pt1_0x40000c01_0x2146_0x131c884f49be563b_0x0
pt1_0x40000c01_0x2158_0x131c884f49be563b_0x0
pt1_0x40000c01_0x218a_0x5c1d2408a1d15fd_0x0
pt1_0x40000c01_0x219c_0x5c1d2408a1d15fd_0x0
pt1_0x40000c01_0x21c2_0x5c1d2408a1d15fd_0x0
pt1_0x40000c08_0x21cc_0x5c1d2408a1d15fd_0x200
pt1_0x42000818_0x195e_0x6ef5932c4ebf5d03_0x2
pt1_0x4200081c_0x1954_0x6ef5932c4ebf5d03_0x0
pt1_0x42000c18_0xac6_0xe0fc683060ad4933_0x2
pt1_0x42000c18_0xafe_0xca26a9fc33f66c04_0x0
pt1_0x42000c1a_0xad0_0xe0fc683060ad4933_0x0
pt1_0x42000c1a_0xc6a_0x4eb1fba315b3c979_0x2020
pt1_0x42000c1a_0xd74_0xf638c67d8aced6e7_0x2020
pt1_0x42000c1a_0xd90_0xf638c67d8aced6e7_0x404
pt1_0x42000c1c_0x7c8_0xb90b376f9c696f53_0x0
pt1_0x42001818_0x2d4a_0xf6102b88545dffe0_0x1
pt1_0x42001818_0x2d50_0xf6102b88545dffe0_0x1
pt1_0x42001818_0x2d5e_0xf6102b88545dffe0_0x2
pt1_0x42001818_0x2d66_0xf6102b88545dffe0_0x4
pt1_0x42001818_0x2d6c_0xf6102b88545dffe0_0x4
pt1_0x42001818_0x2d8e_0xf6102b88545dffe0_0x1
pt1_0x42001818_0x2d94_0xf6102b88545dffe0_0x1
pt1_0x42001818_0x2da0_0xf6102b88545dffe0_0x2
pt1_0x42001818_0x2da8_0xf6102b88545dffe0_0x4
pt1_0x42001818_0x2dae_0xf6102b88545dffe0_0x4
pt1_0x42001818_0x2e48_0x22dee7feb13d6978_0x1
pt1_0x42001818_0x2e4e_0x22dee7feb13d6978_0x1
pt1_0x42001818_0x2e5c_0x22dee7feb13d6978_0x2
pt1_0x42001818_0x2e64_0x22dee7feb13d6978_0x4
pt1_0x42001818_0x2e6a_0x22dee7feb13d6978_0x4
pt1_0x42001818_0x2e8c_0x22dee7feb13d6978_0x1
pt1_0x42001818_0x2e92_0x22dee7feb13d6978_0x1
pt1_0x42001818_0x2e9c_0x22dee7feb13d6978_0x2
pt1_0x42001818_0x2ea4_0x22dee7feb13d6978_0x4
pt1_0x42001818_0x2eaa_0x22dee7feb13d6978_0x4
pt1_0x4200181a_0x2d72_0xf6102b88545dffe0_0x404
pt1_0x4200181a_0x2db6_0xf6102b88545dffe0_0x404
pt1_0x4200181a_0x2e70_0x22dee7feb13d6978_0x404
pt1_0x4200181a_0x2eb0_0x22dee7feb13d6978_0x404
dt1_0x40000438_0xd56e_0x0_0x77
dt1_0x4000080c_0x1e62_0x0_0x10101010
dt1_0x4000080c_0x1e7c_0x0_0x10101010
dt1_0x4000080c_0x1f14_0x0_0x2020202
dt1_0x4000080c_0x1fea_0x0_0xd0d0d0d0
dt1_0x40000c00_0x2076_0x0_0x0
dt1_0x4000140a_0x56e_0x0_0x0
dt1_0x40001801_0x3ba_0x0_0x0
dt1_0x40001801_0x3f2_0x0_0x0
dt1_0x40001810_0x38e_0x0_0x0
dt1_0x41004014_0x4d4_0x0_0x0
dt1_0x42000800_0x1616_0x0_0x1010101
dt1_0x42000800_0x2b44_0x0_0x0
dt1_0x42000818_0x1980_0x0_0x0
dt1_0x42000818_0x1a3c_0x0_0x0
dt1_0x42000818_0x1a44_0x0_0x0
dt1_0x4200081a_0x198c_0x0_0x0
dt1_0x4200081c_0x1986_0x0_0x0
dt1_0x4200081c_0x2b3e_0x0_0x0
dt1_0x4200081c_0x2b50_0x0_0x0
dt1_0x4200081c_0x2b66_0x0_0x0
dt1_0x4200081c_0x2b6c_0x0_0x0
dt1_0x4200081c_0x2b82_0x0_0x0
dt1_0x42000828_0x19d0_0x0_0x0
dt1_0x42000c00_0x816_0x0_0x2020202
dt1_0x42000c00_0xaae_0x0_0x0
dt1_0x42000c00_0xb56_0x0_0x8080808
dt1_0x42000c00_0xd09e_0x0_0x0
dt1_0x42000c1a_0xd0ae_0x0_0x0
dt1_0x42000c1c_0xd098_0x0_0x0
dt1_0x42000c28_0xc4c_0x0_0x0
dt1_0x42000c28_0xca2_0x0_0x0
dt1_0x4200181c_0x2c96_0x0_0x0
dt1_0x42002c00_0x259c_0x0_0x101
dt1_0x42002c00_0xd31e_0x0_0x0
dt1_0x42002c0e_0x248a_0x0_0x0
dt1_0x42002c0f_0xd316_0x0_0x0
dt1_0x42003000_0x259c_0x0_0x101
dt1_0x42003000_0xd480_0x0_0x0
dt1_0x4200300e_0x248a_0x0_0x0
dt1_0x4200300f_0xd478_0x0_0x0
t3_0x42001828_0x4_1_0x0
t3_0x42001828_0x4_2_0x0
t3_0x42001828_0x4_3_0x0
t3_0x42001828_0x4_4_0x0
t3_0x42001828_0x4_5_0x0
t3_0x42001828_0x4_6_0x0
t3_0x42001828_0x4_7_0x0
t3_0x42001828_0x4_8_0x0
t3_0x42001828_0x4_9_0x0
t3_0x42001828_0x4_10_0x0
t3_0x42001828_0x4_11_0x0
t3_0x42001828_0x4_12_0x0
t3_0x42001828_0x4_13_0x0
t3_0x42001828_0x4_14_0x0
t3_0x42001828_0x4_15_0x0
t3_0x42001828_0x4_16_0x0
t3_0x42001828_0x4_17_0x0
t3_0x42001828_0x4_18_0x0
t3_0x42001828_0x4_19_0x0
t3_0x42001828_0x4_20_0x30
t3_0x42001828_0x4_21_0xac
t3_0x42001828_0x4_22_0x0
t3_0x42001828_0x4_23_0xec
t3_0x42001828_0x4_24_0x8
t3_0x42001828_0x4_25_0xe2
t3_0x42001828_0x4_26_0xcd
t3_0x42001828_0x4_27_0xe3
t3_0x42001828_0x4_28_0xab
t3_0x42001828_0x4_29_0xc2
t3_0x42001828_0x4_30_0x8
t3_0x42001828_0x4_31_0x81
t3_0x42001828_0x4_32_0x0
t3_0x42001828_0x4_33_0xc2
t3_0x42001828_0x4_34_0x8
t3_0x42001828_0x4_35_0x81
t3_0x42001828_0x4_36_0x0
t3_0x42001828_0x4_37_0xc2
t3_0x42001828_0x4_38_0x8
t3_0x42001828_0x4_39_0x81
t3_0x42001828_0x4_40_0x8080808
t3_0x42001828_0x4_41_0xc2
t3_0x42001828_0x4_42_0x8
t3_0x42001828_0x4_43_0x81
t3_0x42001828_0x4_44_0x8080808
t3_0x42001828_0x4_45_0xc2
t3_0x42001828_0x4_46_0x8
t3_0x42001828_0x4_47_0x81
t3_0x42001828_0x4_48_0x9090909
t3_0x42001828_0x4_49_0x0
t3_0x42001828_0x4_50_0x0
t3_0x42001828_0x4_51_0x0
t3_0x42001828_0x4_52_0x6060606
t3_0x42001828_0x4_53_0x0
t3_0x42001828_0x4_54_0x0
t3_0x42001828_0x4_55_0x0
t3_0x42001828_0x4_56_0x0
t3_0x42001828_0x4_57_0x0
t3_0x42001828_0x4_58_0x0
t3_0x42001828_0x4_59_0x0
t3_0x42001828_0x4_60_0x0
t3_0x42001828_0x4_61_0x0
t3_0x42001828_0x4_62_0x0
t3_0x42001828_0x4_63_0x0
t3_0x42001828_0x4_64_0x0
t3_0x42001828_0x4_65_0x0
t3_0x42001828_0x4_66_0x0
t3_0x42001828_0x4_67_0x0
t3_0x42001828_0x4_68_0x0
t3_0x42001828_0x4_69_0x0
t3_0x42001828_0x4_70_0x0
t3_0x42001828_0x4_71_0x0
t3_0x42001828_0x4_72_0x0
t3_0x42001828_0x4_73_0x0
t3_0x42001828_0x4_74_0x0
t3_0x42001828_0x4_75_0x0
t3_0x42001828_0x4_76_0x8080808
t3_0x42001828_0x4_77_0x0
t3_0x42001828_0x4_78_0x0
t3_0x42001828_0x4_79_0x0
t3_0x42001828_0x4_80_0x0
t3_0x42001828_0x4_81_0x0
t3_0x42001828_0x4_82_0x0
t3_0x42001828_0x4_83_0x0
t3_0x42001828_0x4_84_0x0
t3_0x42001828_0x4_85_0x0
t3_0x42001828_0x4_86_0x0
t3_0x42001828_0x4_87_0x0
t3_0x42001828_0x4_88_0x0
t3_0x42001828_0x4_89_0x0
t3_0x42001828_0x4_90_0x0
t3_0x42001828_0x4_91_0x0
t3_0x42001828_0x4_92_0x0
t3_0x42001828_0x4_93_0x0
t3_0x42001828_0x4_94_0x0
t3_0x42001828_0x4_95_0x0
t3_0x42001828_0x4_96_0x0
t3_0x42001828_0x4_97_0x0
t3_0x42001828_0x4_98_0x19191919
t3_0x42001828_0x4_99_0x0
tirqs_0x40001810_0x38e_0x14_0x80808080
tirqs_0x40001810_0x38e_0x14_0x8080808
tirqs_0x40001810_0x38e_0x14_0x4040404
tirqs_0x40001810_0x38e_0x14_0x2020202
tirqs_0x40001810_0x38e_0x14_0x40404040
tirqs_0x40001810_0x38e_0x14_0x10101010
tirqs_0x40001810_0x38e_0x14_0x20202020
tirqs_0x40001810_0x38e_0x14_0x0
tirqs_0x40001810_0x38e_0x14_0x1010101
tirqs_0x42000818_0x1980_0x19_0x4
tirqs_0x42000818_0x1980_0x19_0x0
tirqs_0x42000818_0x1a3c_0x19_0x4
tirqs_0x42000818_0x1a3c_0x19_0x0
tirqs_0x42000818_0x1a44_0x19_0x4
tirqs_0x42000818_0x1a44_0x19_0x0
tirqs_0x4200081a_0x198c_0x19_0x101
tirqs_0x4200081a_0x198c_0x19_0x3f3f
tirqs_0x4200081a_0x198c_0x19_0x808
tirqs_0x4200081a_0x198c_0x19_0x202
tirqs_0x4200081a_0x198c_0x19_0x1010
tirqs_0x4200081a_0x198c_0x19_0x2020
tirqs_0x4200081a_0x198c_0x19_0x404
tirqs_0x4200081a_0x198c_0x19_0x0
tirqs_0x4200081c_0x1986_0x19_0x0
tirqs_0x42002c0e_0x248a_0x22_0x10
tirqs_0x42002c0e_0x248a_0x22_0x0
tirqs_0x4200300e_0x248a_0x23_0x10
tirqs_0x4200300e_0x248a_0x23_0x0
IRQCR
DefaultDataRegs
fuzz_0x42001828_0x4_0x7a
fuzz_0x42000828_0x2_0x4
CandidateDataRegs
fuzzc_0x42000c1c_0x4_0x8d7
fuzzc_0x42000c28_0x1_0x100
fuzzc_0x40000c01_0x1_0x1f
fuzzc_0x4000140a_0x1_0x2
fuzzc_0x40001801_0x1_0x2
fuzzc_0x40000c00_0x1_0x1
fuzzc_0x41004014_0x1_0x1
fuzzc_0x4200181c_0x4_0x1
fuzzc_0x42002c0f_0x1_0x1
fuzzc_0x4200300f_0x1_0x1
Statistic:
T0 num = 18 T1 num = 28 T2 num = 0 T3 num = 1
All read peripheral regs num = 47
CT1 0x40000438
CT1 0x4000080c
CT1 0x40000c00
CT1 0x40000c01
CT0 0x40000c02
CT0 0x40000c04
CT1 0x40000c08
CT1 0x4000140a
CT1 0x40001801
CT1 0x40001810
CT1 0x41004014
CT1 0x42000800
CT1 0x42000818
CT1 0x4200081a
CT1 0x4200081c
CT1 0x42000c00
CT1 0x42000c18
CT1 0x42000c1a
CT1 0x42000c1c
CT0 0x42001800
CT1 0x42001818
CT1 0x4200181a
CT1 0x4200181c
CT3 0x42001828
CT1 0x42002c00
CT1 0x42002c0e
CT1 0x42002c0f
CT1 0x42003000
CT1 0x4200300e
CT1 0x4200300f
CT0 num = 3 CT1 num = 26 CT2 num = 0 CT3 num = 1
All conditional read peripheral regs num = 30
Unique peripheral base address = 0x40000408
Unique peripheral base address = 0x40000808
Unique peripheral base address = 0x40000c00
Unique peripheral base address = 0x40001400
Unique peripheral base address = 0x40001800
Unique peripheral base address = 0x41004004
Unique peripheral base address = 0x41004404
Unique peripheral base address = 0x41004504
Unique peripheral base address = 0x4100480e
Unique peripheral base address = 0x41005003
Unique peripheral base address = 0x41007120
Unique peripheral base address = 0x42000800
Unique peripheral base address = 0x42000c00
Unique peripheral base address = 0x42001800
Unique peripheral base address = 0x42002c00
Unique peripheral base address = 0x42003000
Unique peripheral base address = 0x42005400
All_search_path_num = 5 All_path_num = 1630
Learning time: 410s