mirror of https://github.com/ConsenSys/mythril
blockchainethereumsmart-contractssoliditysecurityprogram-analysissecurity-analysissymbolic-execution
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
260 lines
2.9 KiB
260 lines
2.9 KiB
6 years ago
|
0 PUSH1 0x80
|
||
|
|
2 PUSH1 0x40
|
||
|
|
4 MSTORE
|
||
|
|
5 PUSH1 0x04
|
||
|
|
7 CALLDATASIZE
|
||
|
|
8 LT
|
||
|
|
9 PUSH2 0x004c
|
||
|
|
12 JUMPI
|
||
|
|
13 PUSH1 0x00
|
||
|
|
15 CALLDATALOAD
|
||
|
|
16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000
|
||
|
|
46 SWAP1
|
||
|
|
47 DIV
|
||
|
|
48 PUSH4 0xffffffff
|
||
|
|
53 AND
|
||
|
|
54 DUP1
|
||
|
|
55 PUSH4 0x06661abd
|
||
|
|
60 EQ
|
||
|
|
61 PUSH2 0x0051
|
||
|
|
64 JUMPI
|
||
|
|
65 DUP1
|
||
|
|
66 PUSH4 0x83f12fec
|
||
|
|
71 EQ
|
||
|
|
72 PUSH2 0x007c
|
||
|
|
75 JUMPI
|
||
|
|
76 JUMPDEST
|
||
|
|
77 PUSH1 0x00
|
||
|
|
79 DUP1
|
||
|
|
80 REVERT
|
||
|
|
81 JUMPDEST
|
||
|
|
82 CALLVALUE
|
||
|
|
83 DUP1
|
||
|
|
84 ISZERO
|
||
|
|
85 PUSH2 0x005d
|
||
|
|
88 JUMPI
|
||
|
|
89 PUSH1 0x00
|
||
|
|
91 DUP1
|
||
|
|
92 REVERT
|
||
|
|
93 JUMPDEST
|
||
|
|
94 POP
|
||
|
|
95 PUSH2 0x0066
|
||
|
|
98 PUSH2 0x0104
|
||
|
|
101 JUMP
|
||
|
|
102 JUMPDEST
|
||
|
|
103 PUSH1 0x40
|
||
|
|
105 MLOAD
|
||
|
|
106 DUP1
|
||
|
|
107 DUP3
|
||
|
|
108 DUP2
|
||
|
|
109 MSTORE
|
||
|
|
110 PUSH1 0x20
|
||
|
|
112 ADD
|
||
|
|
113 SWAP2
|
||
|
|
114 POP
|
||
|
|
115 POP
|
||
|
|
116 PUSH1 0x40
|
||
|
|
118 MLOAD
|
||
|
|
119 DUP1
|
||
|
|
120 SWAP2
|
||
|
|
121 SUB
|
||
|
|
122 SWAP1
|
||
|
|
123 RETURN
|
||
|
|
124 JUMPDEST
|
||
|
|
125 CALLVALUE
|
||
|
|
126 DUP1
|
||
|
|
127 ISZERO
|
||
|
|
128 PUSH2 0x0088
|
||
|
|
131 JUMPI
|
||
|
|
132 PUSH1 0x00
|
||
|
|
134 DUP1
|
||
|
|
135 REVERT
|
||
|
|
136 JUMPDEST
|
||
|
|
137 POP
|
||
|
|
138 PUSH2 0x00ea
|
||
|
|
141 PUSH1 0x04
|
||
|
|
143 DUP1
|
||
|
|
144 CALLDATASIZE
|
||
|
|
145 SUB
|
||
|
|
146 DUP2
|
||
|
|
147 ADD
|
||
|
|
148 SWAP1
|
||
|
|
149 DUP1
|
||
|
|
150 DUP1
|
||
|
|
151 CALLDATALOAD
|
||
|
|
152 SWAP1
|
||
|
|
153 PUSH1 0x20
|
||
|
|
155 ADD
|
||
|
|
156 SWAP1
|
||
|
|
157 DUP3
|
||
|
|
158 ADD
|
||
|
|
159 DUP1
|
||
|
|
160 CALLDATALOAD
|
||
|
|
161 SWAP1
|
||
|
|
162 PUSH1 0x20
|
||
|
|
164 ADD
|
||
|
|
165 SWAP1
|
||
|
|
166 DUP1
|
||
|
|
167 DUP1
|
||
|
|
168 PUSH1 0x20
|
||
|
|
170 MUL
|
||
|
|
171 PUSH1 0x20
|
||
|
|
173 ADD
|
||
|
|
174 PUSH1 0x40
|
||
|
|
176 MLOAD
|
||
|
|
177 SWAP1
|
||
|
|
178 DUP2
|
||
|
|
179 ADD
|
||
|
|
180 PUSH1 0x40
|
||
|
|
182 MSTORE
|
||
|
|
183 DUP1
|
||
|
|
184 SWAP4
|
||
|
|
185 SWAP3
|
||
|
|
186 SWAP2
|
||
|
|
187 SWAP1
|
||
|
|
188 DUP2
|
||
|
|
189 DUP2
|
||
|
|
190 MSTORE
|
||
|
|
191 PUSH1 0x20
|
||
|
|
193 ADD
|
||
|
|
194 DUP4
|
||
|
|
195 DUP4
|
||
|
|
196 PUSH1 0x20
|
||
|
|
198 MUL
|
||
|
|
199 DUP1
|
||
|
|
200 DUP3
|
||
|
|
201 DUP5
|
||
|
|
202 CALLDATACOPY
|
||
|
|
203 DUP3
|
||
|
|
204 ADD
|
||
|
|
205 SWAP2
|
||
|
|
206 POP
|
||
|
|
207 POP
|
||
|
|
208 POP
|
||
|
|
209 POP
|
||
|
|
210 POP
|
||
|
|
211 POP
|
||
|
|
212 SWAP2
|
||
|
|
213 SWAP3
|
||
|
|
214 SWAP2
|
||
|
|
215 SWAP3
|
||
|
|
216 SWAP1
|
||
|
|
217 DUP1
|
||
|
|
218 CALLDATALOAD
|
||
|
|
219 SWAP1
|
||
|
|
220 PUSH1 0x20
|
||
|
|
222 ADD
|
||
|
|
223 SWAP1
|
||
|
|
224 SWAP3
|
||
|
|
225 SWAP2
|
||
|
|
226 SWAP1
|
||
|
|
227 POP
|
||
|
|
228 POP
|
||
|
|
229 POP
|
||
|
|
230 PUSH2 0x010a
|
||
|
|
233 JUMP
|
||
|
|
234 JUMPDEST
|
||
|
|
235 PUSH1 0x40
|
||
|
|
237 MLOAD
|
||
|
|
238 DUP1
|
||
|
|
239 DUP3
|
||
|
|
240 ISZERO
|
||
|
|
241 ISZERO
|
||
|
|
242 ISZERO
|
||
|
|
243 ISZERO
|
||
|
|
244 DUP2
|
||
|
|
245 MSTORE
|
||
|
|
246 PUSH1 0x20
|
||
|
|
248 ADD
|
||
|
|
249 SWAP2
|
||
|
|
250 POP
|
||
|
|
251 POP
|
||
|
|
252 PUSH1 0x40
|
||
|
|
254 MLOAD
|
||
|
|
255 DUP1
|
||
|
|
256 SWAP2
|
||
|
|
257 SUB
|
||
|
|
258 SWAP1
|
||
|
|
259 RETURN
|
||
|
|
260 JUMPDEST
|
||
|
|
261 PUSH1 0x00
|
||
|
|
263 SLOAD
|
||
|
|
264 DUP2
|
||
|
|
265 JUMP
|
||
|
|
266 JUMPDEST
|
||
|
|
267 PUSH1 0x00
|
||
|
|
269 DUP1
|
||
|
|
270 PUSH1 0x00
|
||
|
|
272 DUP5
|
||
|
|
273 MLOAD
|
||
|
|
274 SWAP2
|
||
|
|
275 POP
|
||
|
|
276 DUP4
|
||
|
|
277 DUP3
|
||
|
|
278 MUL
|
||
|
|
279 SWAP1
|
||
|
|
280 POP
|
||
|
|
281 PUSH1 0x00
|
||
|
|
283 DUP3
|
||
|
|
284 GT
|
||
|
|
285 DUP1
|
||
|
|
286 ISZERO
|
||
|
|
287 PUSH2 0x0129
|
||
|
|
290 JUMPI
|
||
|
|
291 POP
|
||
|
|
292 PUSH1 0x14
|
||
|
|
294 DUP3
|
||
|
|
295 GT
|
||
|
|
296 ISZERO
|
||
|
|
297 JUMPDEST
|
||
|
|
298 ISZERO
|
||
|
|
299 ISZERO
|
||
|
|
300 PUSH2 0x0134
|
||
|
|
303 JUMPI
|
||
|
|
304 PUSH1 0x00
|
||
|
|
306 DUP1
|
||
|
|
307 REVERT
|
||
|
|
308 JUMPDEST
|
||
|
|
309 DUP1
|
||
|
|
310 PUSH1 0x01
|
||
|
|
312 PUSH1 0x00
|
||
|
|
314 CALLER
|
||
|
|
315 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
||
|
|
336 AND
|
||
|
|
337 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
||
|
|
358 AND
|
||
|
|
359 DUP2
|
||
|
|
360 MSTORE
|
||
|
|
361 PUSH1 0x20
|
||
|
|
363 ADD
|
||
|
|
364 SWAP1
|
||
|
|
365 DUP2
|
||
|
|
366 MSTORE
|
||
|
|
367 PUSH1 0x20
|
||
|
|
369 ADD
|
||
|
|
370 PUSH1 0x00
|
||
|
|
372 SHA3
|
||
|
|
373 PUSH1 0x00
|
||
|
|
375 DUP3
|
||
|
|
376 DUP3
|
||
|
|
377 SLOAD
|
||
|
|
378 SUB
|
||
|
|
379 SWAP3
|
||
|
|
380 POP
|
||
|
|
381 POP
|
||
|
|
382 DUP2
|
||
|
|
383 SWAP1
|
||
|
|
384 SSTORE
|
||
|
|
385 POP
|
||
|
|
386 PUSH1 0x01
|
||
|
|
388 SWAP3
|
||
|
|
389 POP
|
||
|
|
390 POP
|
||
|
|
391 POP
|
||
|
|
392 SWAP3
|
||
|
|
393 SWAP2
|
||
|
|
394 POP
|
||
|
|
395 POP
|
||
|
|
396 JUMP
|
||
|
|
397 STOP
|