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.
388 lines
4.8 KiB
388 lines
4.8 KiB
0 PUSH1 0x60
|
|
2 PUSH1 0x40
|
|
4 MSTORE
|
|
5 PUSH1 0x04
|
|
7 CALLDATASIZE
|
|
8 LT
|
|
9 PUSH2 0x0062
|
|
12 JUMPI
|
|
13 PUSH1 0x00
|
|
15 CALLDATALOAD
|
|
16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000
|
|
46 SWAP1
|
|
47 DIV
|
|
48 PUSH4 0xffffffff
|
|
53 AND
|
|
54 DUP1
|
|
55 PUSH4 0x18160ddd
|
|
60 EQ
|
|
61 PUSH2 0x0067
|
|
64 JUMPI
|
|
65 DUP1
|
|
66 PUSH4 0x6241bfd1
|
|
71 EQ
|
|
72 PUSH2 0x0090
|
|
75 JUMPI
|
|
76 DUP1
|
|
77 PUSH4 0x70a08231
|
|
82 EQ
|
|
83 PUSH2 0x00b3
|
|
86 JUMPI
|
|
87 DUP1
|
|
88 PUSH4 0xa3210e87
|
|
93 EQ
|
|
94 PUSH2 0x0100
|
|
97 JUMPI
|
|
98 JUMPDEST
|
|
99 PUSH1 0x00
|
|
101 DUP1
|
|
102 REVERT
|
|
103 JUMPDEST
|
|
104 CALLVALUE
|
|
105 ISZERO
|
|
106 PUSH2 0x0072
|
|
109 JUMPI
|
|
110 PUSH1 0x00
|
|
112 DUP1
|
|
113 REVERT
|
|
114 JUMPDEST
|
|
115 PUSH2 0x007a
|
|
118 PUSH2 0x015a
|
|
121 JUMP
|
|
122 JUMPDEST
|
|
123 PUSH1 0x40
|
|
125 MLOAD
|
|
126 DUP1
|
|
127 DUP3
|
|
128 DUP2
|
|
129 MSTORE
|
|
130 PUSH1 0x20
|
|
132 ADD
|
|
133 SWAP2
|
|
134 POP
|
|
135 POP
|
|
136 PUSH1 0x40
|
|
138 MLOAD
|
|
139 DUP1
|
|
140 SWAP2
|
|
141 SUB
|
|
142 SWAP1
|
|
143 RETURN
|
|
144 JUMPDEST
|
|
145 CALLVALUE
|
|
146 ISZERO
|
|
147 PUSH2 0x009b
|
|
150 JUMPI
|
|
151 PUSH1 0x00
|
|
153 DUP1
|
|
154 REVERT
|
|
155 JUMPDEST
|
|
156 PUSH2 0x00b1
|
|
159 PUSH1 0x04
|
|
161 DUP1
|
|
162 DUP1
|
|
163 CALLDATALOAD
|
|
164 SWAP1
|
|
165 PUSH1 0x20
|
|
167 ADD
|
|
168 SWAP1
|
|
169 SWAP2
|
|
170 SWAP1
|
|
171 POP
|
|
172 POP
|
|
173 PUSH2 0x0160
|
|
176 JUMP
|
|
177 JUMPDEST
|
|
178 STOP
|
|
179 JUMPDEST
|
|
180 CALLVALUE
|
|
181 ISZERO
|
|
182 PUSH2 0x00be
|
|
185 JUMPI
|
|
186 PUSH1 0x00
|
|
188 DUP1
|
|
189 REVERT
|
|
190 JUMPDEST
|
|
191 PUSH2 0x00ea
|
|
194 PUSH1 0x04
|
|
196 DUP1
|
|
197 DUP1
|
|
198 CALLDATALOAD
|
|
199 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
220 AND
|
|
221 SWAP1
|
|
222 PUSH1 0x20
|
|
224 ADD
|
|
225 SWAP1
|
|
226 SWAP2
|
|
227 SWAP1
|
|
228 POP
|
|
229 POP
|
|
230 PUSH2 0x01ab
|
|
233 JUMP
|
|
234 JUMPDEST
|
|
235 PUSH1 0x40
|
|
237 MLOAD
|
|
238 DUP1
|
|
239 DUP3
|
|
240 DUP2
|
|
241 MSTORE
|
|
242 PUSH1 0x20
|
|
244 ADD
|
|
245 SWAP2
|
|
246 POP
|
|
247 POP
|
|
248 PUSH1 0x40
|
|
250 MLOAD
|
|
251 DUP1
|
|
252 SWAP2
|
|
253 SUB
|
|
254 SWAP1
|
|
255 RETURN
|
|
256 JUMPDEST
|
|
257 CALLVALUE
|
|
258 ISZERO
|
|
259 PUSH2 0x010b
|
|
262 JUMPI
|
|
263 PUSH1 0x00
|
|
265 DUP1
|
|
266 REVERT
|
|
267 JUMPDEST
|
|
268 PUSH2 0x0140
|
|
271 PUSH1 0x04
|
|
273 DUP1
|
|
274 DUP1
|
|
275 CALLDATALOAD
|
|
276 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
297 AND
|
|
298 SWAP1
|
|
299 PUSH1 0x20
|
|
301 ADD
|
|
302 SWAP1
|
|
303 SWAP2
|
|
304 SWAP1
|
|
305 DUP1
|
|
306 CALLDATALOAD
|
|
307 SWAP1
|
|
308 PUSH1 0x20
|
|
310 ADD
|
|
311 SWAP1
|
|
312 SWAP2
|
|
313 SWAP1
|
|
314 POP
|
|
315 POP
|
|
316 PUSH2 0x01f3
|
|
319 JUMP
|
|
320 JUMPDEST
|
|
321 PUSH1 0x40
|
|
323 MLOAD
|
|
324 DUP1
|
|
325 DUP3
|
|
326 ISZERO
|
|
327 ISZERO
|
|
328 ISZERO
|
|
329 ISZERO
|
|
330 DUP2
|
|
331 MSTORE
|
|
332 PUSH1 0x20
|
|
334 ADD
|
|
335 SWAP2
|
|
336 POP
|
|
337 POP
|
|
338 PUSH1 0x40
|
|
340 MLOAD
|
|
341 DUP1
|
|
342 SWAP2
|
|
343 SUB
|
|
344 SWAP1
|
|
345 RETURN
|
|
346 JUMPDEST
|
|
347 PUSH1 0x01
|
|
349 SLOAD
|
|
350 DUP2
|
|
351 JUMP
|
|
352 JUMPDEST
|
|
353 DUP1
|
|
354 PUSH1 0x01
|
|
356 DUP2
|
|
357 SWAP1
|
|
358 SSTORE
|
|
359 PUSH1 0x00
|
|
361 DUP1
|
|
362 CALLER
|
|
363 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
384 AND
|
|
385 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
406 AND
|
|
407 DUP2
|
|
408 MSTORE
|
|
409 PUSH1 0x20
|
|
411 ADD
|
|
412 SWAP1
|
|
413 DUP2
|
|
414 MSTORE
|
|
415 PUSH1 0x20
|
|
417 ADD
|
|
418 PUSH1 0x00
|
|
420 SHA3
|
|
421 DUP2
|
|
422 SWAP1
|
|
423 SSTORE
|
|
424 POP
|
|
425 POP
|
|
426 JUMP
|
|
427 JUMPDEST
|
|
428 PUSH1 0x00
|
|
430 DUP1
|
|
431 PUSH1 0x00
|
|
433 DUP4
|
|
434 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
455 AND
|
|
456 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
477 AND
|
|
478 DUP2
|
|
479 MSTORE
|
|
480 PUSH1 0x20
|
|
482 ADD
|
|
483 SWAP1
|
|
484 DUP2
|
|
485 MSTORE
|
|
486 PUSH1 0x20
|
|
488 ADD
|
|
489 PUSH1 0x00
|
|
491 SHA3
|
|
492 SLOAD
|
|
493 SWAP1
|
|
494 POP
|
|
495 SWAP2
|
|
496 SWAP1
|
|
497 POP
|
|
498 JUMP
|
|
499 JUMPDEST
|
|
500 PUSH1 0x00
|
|
502 DUP1
|
|
503 DUP3
|
|
504 PUSH1 0x00
|
|
506 DUP1
|
|
507 CALLER
|
|
508 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
529 AND
|
|
530 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
551 AND
|
|
552 DUP2
|
|
553 MSTORE
|
|
554 PUSH1 0x20
|
|
556 ADD
|
|
557 SWAP1
|
|
558 DUP2
|
|
559 MSTORE
|
|
560 PUSH1 0x20
|
|
562 ADD
|
|
563 PUSH1 0x00
|
|
565 SHA3
|
|
566 SLOAD
|
|
567 SUB
|
|
568 LT
|
|
569 ISZERO
|
|
570 ISZERO
|
|
571 ISZERO
|
|
572 PUSH2 0x0244
|
|
575 JUMPI
|
|
576 PUSH1 0x00
|
|
578 DUP1
|
|
579 REVERT
|
|
580 JUMPDEST
|
|
581 DUP2
|
|
582 PUSH1 0x00
|
|
584 DUP1
|
|
585 CALLER
|
|
586 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
607 AND
|
|
608 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
629 AND
|
|
630 DUP2
|
|
631 MSTORE
|
|
632 PUSH1 0x20
|
|
634 ADD
|
|
635 SWAP1
|
|
636 DUP2
|
|
637 MSTORE
|
|
638 PUSH1 0x20
|
|
640 ADD
|
|
641 PUSH1 0x00
|
|
643 SHA3
|
|
644 PUSH1 0x00
|
|
646 DUP3
|
|
647 DUP3
|
|
648 SLOAD
|
|
649 SUB
|
|
650 SWAP3
|
|
651 POP
|
|
652 POP
|
|
653 DUP2
|
|
654 SWAP1
|
|
655 SSTORE
|
|
656 POP
|
|
657 DUP2
|
|
658 PUSH1 0x00
|
|
660 DUP1
|
|
661 DUP6
|
|
662 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
683 AND
|
|
684 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
705 AND
|
|
706 DUP2
|
|
707 MSTORE
|
|
708 PUSH1 0x20
|
|
710 ADD
|
|
711 SWAP1
|
|
712 DUP2
|
|
713 MSTORE
|
|
714 PUSH1 0x20
|
|
716 ADD
|
|
717 PUSH1 0x00
|
|
719 SHA3
|
|
720 PUSH1 0x00
|
|
722 DUP3
|
|
723 DUP3
|
|
724 SLOAD
|
|
725 ADD
|
|
726 SWAP3
|
|
727 POP
|
|
728 POP
|
|
729 DUP2
|
|
730 SWAP1
|
|
731 SSTORE
|
|
732 POP
|
|
733 PUSH1 0x02
|
|
735 PUSH1 0x00
|
|
737 DUP1
|
|
738 DUP6
|
|
739 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
760 AND
|
|
761 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
782 AND
|
|
783 DUP2
|
|
784 MSTORE
|
|
785 PUSH1 0x20
|
|
787 ADD
|
|
788 SWAP1
|
|
789 DUP2
|
|
790 MSTORE
|
|
791 PUSH1 0x20
|
|
793 ADD
|
|
794 PUSH1 0x00
|
|
796 SHA3
|
|
797 DUP2
|
|
798 SWAP1
|
|
799 SSTORE
|
|
800 POP
|
|
801 PUSH1 0x01
|
|
803 SWAP1
|
|
804 POP
|
|
805 SWAP3
|
|
806 SWAP2
|
|
807 POP
|
|
808 POP
|
|
809 JUMP
|
|
810 STOP
|
|
|