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.
400 lines
5.1 KiB
400 lines
5.1 KiB
0 PUSH1 0x60
|
|
2 PUSH1 0x40
|
|
4 MSTORE
|
|
5 PUSH1 0x04
|
|
7 CALLDATASIZE
|
|
8 LT
|
|
9 PUSH2 0x0083
|
|
12 JUMPI
|
|
13 PUSH1 0x00
|
|
15 CALLDATALOAD
|
|
16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000
|
|
46 SWAP1
|
|
47 DIV
|
|
48 PUSH4 0xffffffff
|
|
53 AND
|
|
54 DUP1
|
|
55 PUSH4 0x2776b163
|
|
60 EQ
|
|
61 PUSH2 0x0088
|
|
64 JUMPI
|
|
65 DUP1
|
|
66 PUSH4 0x379bf63c
|
|
71 EQ
|
|
72 PUSH2 0x00c1
|
|
75 JUMPI
|
|
76 DUP1
|
|
77 PUSH4 0x5a6814ec
|
|
82 EQ
|
|
83 PUSH2 0x0116
|
|
86 JUMPI
|
|
87 DUP1
|
|
88 PUSH4 0xb5d02c8a
|
|
93 EQ
|
|
94 PUSH2 0x012b
|
|
97 JUMPI
|
|
98 DUP1
|
|
99 PUSH4 0xd24b08cc
|
|
104 EQ
|
|
105 PUSH2 0x0180
|
|
108 JUMPI
|
|
109 DUP1
|
|
110 PUSH4 0xe11f493e
|
|
115 EQ
|
|
116 PUSH2 0x0195
|
|
119 JUMPI
|
|
120 DUP1
|
|
121 PUSH4 0xe1d10f79
|
|
126 EQ
|
|
127 PUSH2 0x01aa
|
|
130 JUMPI
|
|
131 JUMPDEST
|
|
132 PUSH1 0x00
|
|
134 DUP1
|
|
135 REVERT
|
|
136 JUMPDEST
|
|
137 CALLVALUE
|
|
138 ISZERO
|
|
139 PUSH2 0x0093
|
|
142 JUMPI
|
|
143 PUSH1 0x00
|
|
145 DUP1
|
|
146 REVERT
|
|
147 JUMPDEST
|
|
148 PUSH2 0x00bf
|
|
151 PUSH1 0x04
|
|
153 DUP1
|
|
154 DUP1
|
|
155 CALLDATALOAD
|
|
156 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
177 AND
|
|
178 SWAP1
|
|
179 PUSH1 0x20
|
|
181 ADD
|
|
182 SWAP1
|
|
183 SWAP2
|
|
184 SWAP1
|
|
185 POP
|
|
186 POP
|
|
187 PUSH2 0x01e3
|
|
190 JUMP
|
|
191 JUMPDEST
|
|
192 STOP
|
|
193 JUMPDEST
|
|
194 CALLVALUE
|
|
195 ISZERO
|
|
196 PUSH2 0x00cc
|
|
199 JUMPI
|
|
200 PUSH1 0x00
|
|
202 DUP1
|
|
203 REVERT
|
|
204 JUMPDEST
|
|
205 PUSH2 0x00d4
|
|
208 PUSH2 0x0227
|
|
211 JUMP
|
|
212 JUMPDEST
|
|
213 PUSH1 0x40
|
|
215 MLOAD
|
|
216 DUP1
|
|
217 DUP3
|
|
218 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
239 AND
|
|
240 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
261 AND
|
|
262 DUP2
|
|
263 MSTORE
|
|
264 PUSH1 0x20
|
|
266 ADD
|
|
267 SWAP2
|
|
268 POP
|
|
269 POP
|
|
270 PUSH1 0x40
|
|
272 MLOAD
|
|
273 DUP1
|
|
274 SWAP2
|
|
275 SUB
|
|
276 SWAP1
|
|
277 RETURN
|
|
278 JUMPDEST
|
|
279 CALLVALUE
|
|
280 ISZERO
|
|
281 PUSH2 0x0121
|
|
284 JUMPI
|
|
285 PUSH1 0x00
|
|
287 DUP1
|
|
288 REVERT
|
|
289 JUMPDEST
|
|
290 PUSH2 0x0129
|
|
293 PUSH2 0x024c
|
|
296 JUMP
|
|
297 JUMPDEST
|
|
298 STOP
|
|
299 JUMPDEST
|
|
300 CALLVALUE
|
|
301 ISZERO
|
|
302 PUSH2 0x0136
|
|
305 JUMPI
|
|
306 PUSH1 0x00
|
|
308 DUP1
|
|
309 REVERT
|
|
310 JUMPDEST
|
|
311 PUSH2 0x013e
|
|
314 PUSH2 0x029b
|
|
317 JUMP
|
|
318 JUMPDEST
|
|
319 PUSH1 0x40
|
|
321 MLOAD
|
|
322 DUP1
|
|
323 DUP3
|
|
324 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
345 AND
|
|
346 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
367 AND
|
|
368 DUP2
|
|
369 MSTORE
|
|
370 PUSH1 0x20
|
|
372 ADD
|
|
373 SWAP2
|
|
374 POP
|
|
375 POP
|
|
376 PUSH1 0x40
|
|
378 MLOAD
|
|
379 DUP1
|
|
380 SWAP2
|
|
381 SUB
|
|
382 SWAP1
|
|
383 RETURN
|
|
384 JUMPDEST
|
|
385 CALLVALUE
|
|
386 ISZERO
|
|
387 PUSH2 0x018b
|
|
390 JUMPI
|
|
391 PUSH1 0x00
|
|
393 DUP1
|
|
394 REVERT
|
|
395 JUMPDEST
|
|
396 PUSH2 0x0193
|
|
399 PUSH2 0x02c1
|
|
402 JUMP
|
|
403 JUMPDEST
|
|
404 STOP
|
|
405 JUMPDEST
|
|
406 CALLVALUE
|
|
407 ISZERO
|
|
408 PUSH2 0x01a0
|
|
411 JUMPI
|
|
412 PUSH1 0x00
|
|
414 DUP1
|
|
415 REVERT
|
|
416 JUMPDEST
|
|
417 PUSH2 0x01a8
|
|
420 PUSH2 0x0311
|
|
423 JUMP
|
|
424 JUMPDEST
|
|
425 STOP
|
|
426 JUMPDEST
|
|
427 CALLVALUE
|
|
428 ISZERO
|
|
429 PUSH2 0x01b5
|
|
432 JUMPI
|
|
433 PUSH1 0x00
|
|
435 DUP1
|
|
436 REVERT
|
|
437 JUMPDEST
|
|
438 PUSH2 0x01e1
|
|
441 PUSH1 0x04
|
|
443 DUP1
|
|
444 DUP1
|
|
445 CALLDATALOAD
|
|
446 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
467 AND
|
|
468 SWAP1
|
|
469 PUSH1 0x20
|
|
471 ADD
|
|
472 SWAP1
|
|
473 SWAP2
|
|
474 SWAP1
|
|
475 POP
|
|
476 POP
|
|
477 PUSH2 0x0368
|
|
480 JUMP
|
|
481 JUMPDEST
|
|
482 STOP
|
|
483 JUMPDEST
|
|
484 DUP1
|
|
485 PUSH1 0x01
|
|
487 PUSH1 0x00
|
|
489 PUSH2 0x0100
|
|
492 EXP
|
|
493 DUP2
|
|
494 SLOAD
|
|
495 DUP2
|
|
496 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
517 MUL
|
|
518 NOT
|
|
519 AND
|
|
520 SWAP1
|
|
521 DUP4
|
|
522 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
543 AND
|
|
544 MUL
|
|
545 OR
|
|
546 SWAP1
|
|
547 SSTORE
|
|
548 POP
|
|
549 POP
|
|
550 JUMP
|
|
551 JUMPDEST
|
|
552 PUSH1 0x00
|
|
554 DUP1
|
|
555 SWAP1
|
|
556 SLOAD
|
|
557 SWAP1
|
|
558 PUSH2 0x0100
|
|
561 EXP
|
|
562 SWAP1
|
|
563 DIV
|
|
564 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
585 AND
|
|
586 DUP2
|
|
587 JUMP
|
|
588 JUMPDEST
|
|
589 PUSH1 0x00
|
|
591 DUP1
|
|
592 SWAP1
|
|
593 SLOAD
|
|
594 SWAP1
|
|
595 PUSH2 0x0100
|
|
598 EXP
|
|
599 SWAP1
|
|
600 DIV
|
|
601 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
622 AND
|
|
623 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
644 AND
|
|
645 PUSH1 0x40
|
|
647 MLOAD
|
|
648 PUSH1 0x00
|
|
650 PUSH1 0x40
|
|
652 MLOAD
|
|
653 DUP1
|
|
654 DUP4
|
|
655 SUB
|
|
656 DUP2
|
|
657 PUSH1 0x00
|
|
659 DUP7
|
|
660 GAS
|
|
661 CALL
|
|
662 SWAP2
|
|
663 POP
|
|
664 POP
|
|
665 POP
|
|
666 JUMP
|
|
667 JUMPDEST
|
|
668 PUSH1 0x01
|
|
670 PUSH1 0x00
|
|
672 SWAP1
|
|
673 SLOAD
|
|
674 SWAP1
|
|
675 PUSH2 0x0100
|
|
678 EXP
|
|
679 SWAP1
|
|
680 DIV
|
|
681 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
702 AND
|
|
703 DUP2
|
|
704 JUMP
|
|
705 JUMPDEST
|
|
706 PUSH1 0x01
|
|
708 PUSH1 0x00
|
|
710 SWAP1
|
|
711 SLOAD
|
|
712 SWAP1
|
|
713 PUSH2 0x0100
|
|
716 EXP
|
|
717 SWAP1
|
|
718 DIV
|
|
719 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
740 AND
|
|
741 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
762 AND
|
|
763 PUSH1 0x40
|
|
765 MLOAD
|
|
766 PUSH1 0x00
|
|
768 PUSH1 0x40
|
|
770 MLOAD
|
|
771 DUP1
|
|
772 DUP4
|
|
773 SUB
|
|
774 DUP2
|
|
775 PUSH1 0x00
|
|
777 DUP7
|
|
778 GAS
|
|
779 CALL
|
|
780 SWAP2
|
|
781 POP
|
|
782 POP
|
|
783 POP
|
|
784 JUMP
|
|
785 JUMPDEST
|
|
786 PUSH1 0x00
|
|
788 DUP1
|
|
789 SWAP1
|
|
790 SLOAD
|
|
791 SWAP1
|
|
792 PUSH2 0x0100
|
|
795 EXP
|
|
796 SWAP1
|
|
797 DIV
|
|
798 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
819 AND
|
|
820 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
841 AND
|
|
842 PUSH1 0x40
|
|
844 MLOAD
|
|
845 PUSH1 0x00
|
|
847 PUSH1 0x40
|
|
849 MLOAD
|
|
850 DUP1
|
|
851 DUP4
|
|
852 SUB
|
|
853 DUP2
|
|
854 PUSH1 0x00
|
|
856 DUP7
|
|
857 GAS
|
|
858 CALL
|
|
859 SWAP2
|
|
860 POP
|
|
861 POP
|
|
862 POP
|
|
863 PUSH1 0x00
|
|
865 PUSH1 0x02
|
|
867 DUP2
|
|
868 SWAP1
|
|
869 SSTORE
|
|
870 POP
|
|
871 JUMP
|
|
872 JUMPDEST
|
|
873 DUP1
|
|
874 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
895 AND
|
|
896 PUSH1 0x40
|
|
898 MLOAD
|
|
899 PUSH1 0x00
|
|
901 PUSH1 0x40
|
|
903 MLOAD
|
|
904 DUP1
|
|
905 DUP4
|
|
906 SUB
|
|
907 DUP2
|
|
908 PUSH1 0x00
|
|
910 DUP7
|
|
911 GAS
|
|
912 CALL
|
|
913 SWAP2
|
|
914 POP
|
|
915 POP
|
|
916 POP
|
|
917 POP
|
|
918 JUMP
|
|
919 STOP
|
|
|