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.
168 lines
2.3 KiB
168 lines
2.3 KiB
0 PUSH1 0x60
|
|
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 0x8da5cb5b
|
|
60 EQ
|
|
61 PUSH2 0x0051
|
|
64 JUMPI
|
|
65 DUP1
|
|
66 PUSH4 0xf2fde38b
|
|
71 EQ
|
|
72 PUSH2 0x00a6
|
|
75 JUMPI
|
|
76 JUMPDEST
|
|
77 PUSH1 0x00
|
|
79 DUP1
|
|
80 REVERT
|
|
81 JUMPDEST
|
|
82 CALLVALUE
|
|
83 ISZERO
|
|
84 PUSH2 0x005c
|
|
87 JUMPI
|
|
88 PUSH1 0x00
|
|
90 DUP1
|
|
91 REVERT
|
|
92 JUMPDEST
|
|
93 PUSH2 0x0064
|
|
96 PUSH2 0x00df
|
|
99 JUMP
|
|
100 JUMPDEST
|
|
101 PUSH1 0x40
|
|
103 MLOAD
|
|
104 DUP1
|
|
105 DUP3
|
|
106 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
127 AND
|
|
128 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
149 AND
|
|
150 DUP2
|
|
151 MSTORE
|
|
152 PUSH1 0x20
|
|
154 ADD
|
|
155 SWAP2
|
|
156 POP
|
|
157 POP
|
|
158 PUSH1 0x40
|
|
160 MLOAD
|
|
161 DUP1
|
|
162 SWAP2
|
|
163 SUB
|
|
164 SWAP1
|
|
165 RETURN
|
|
166 JUMPDEST
|
|
167 CALLVALUE
|
|
168 ISZERO
|
|
169 PUSH2 0x00b1
|
|
172 JUMPI
|
|
173 PUSH1 0x00
|
|
175 DUP1
|
|
176 REVERT
|
|
177 JUMPDEST
|
|
178 PUSH2 0x00dd
|
|
181 PUSH1 0x04
|
|
183 DUP1
|
|
184 DUP1
|
|
185 CALLDATALOAD
|
|
186 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
207 AND
|
|
208 SWAP1
|
|
209 PUSH1 0x20
|
|
211 ADD
|
|
212 SWAP1
|
|
213 SWAP2
|
|
214 SWAP1
|
|
215 POP
|
|
216 POP
|
|
217 PUSH2 0x0104
|
|
220 JUMP
|
|
221 JUMPDEST
|
|
222 STOP
|
|
223 JUMPDEST
|
|
224 PUSH1 0x00
|
|
226 DUP1
|
|
227 SWAP1
|
|
228 SLOAD
|
|
229 SWAP1
|
|
230 PUSH2 0x0100
|
|
233 EXP
|
|
234 SWAP1
|
|
235 DIV
|
|
236 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
257 AND
|
|
258 DUP2
|
|
259 JUMP
|
|
260 JUMPDEST
|
|
261 PUSH1 0x00
|
|
263 DUP1
|
|
264 SWAP1
|
|
265 SLOAD
|
|
266 SWAP1
|
|
267 PUSH2 0x0100
|
|
270 EXP
|
|
271 SWAP1
|
|
272 DIV
|
|
273 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
294 AND
|
|
295 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
316 AND
|
|
317 ORIGIN
|
|
318 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
339 AND
|
|
340 EQ
|
|
341 ISZERO
|
|
342 ISZERO
|
|
343 PUSH2 0x015f
|
|
346 JUMPI
|
|
347 PUSH1 0x00
|
|
349 DUP1
|
|
350 REVERT
|
|
351 JUMPDEST
|
|
352 PUSH1 0x00
|
|
354 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
375 AND
|
|
376 DUP2
|
|
377 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
398 AND
|
|
399 EQ
|
|
400 ISZERO
|
|
401 ISZERO
|
|
402 PUSH2 0x01d6
|
|
405 JUMPI
|
|
406 DUP1
|
|
407 PUSH1 0x00
|
|
409 DUP1
|
|
410 PUSH2 0x0100
|
|
413 EXP
|
|
414 DUP2
|
|
415 SLOAD
|
|
416 DUP2
|
|
417 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
438 MUL
|
|
439 NOT
|
|
440 AND
|
|
441 SWAP1
|
|
442 DUP4
|
|
443 PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
|
464 AND
|
|
465 MUL
|
|
466 OR
|
|
467 SWAP1
|
|
468 SSTORE
|
|
469 POP
|
|
470 JUMPDEST
|
|
471 POP
|
|
472 JUMP
|
|
473 STOP
|
|
|