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.
61 lines
474 B
61 lines
474 B
7 years ago
|
PUSH1 0x60
|
||
|
|
PUSH1 0x40
|
||
|
|
MSTORE
|
||
|
|
CALLDATASIZE
|
||
|
|
ISZERO
|
||
|
|
PUSH1 0x0a
|
||
|
|
JUMPI
|
||
|
|
JUMPDEST
|
||
|
|
PUSH1 0x5a
|
||
|
|
PUSH1 0x00
|
||
|
|
DUP1
|
||
|
|
SLOAD
|
||
|
|
PUSH1 0xff
|
||
|
|
AND
|
||
|
|
ISZERO
|
||
|
|
ISZERO
|
||
|
|
EQ
|
||
|
|
DUP1
|
||
|
|
PUSH1 0x20
|
||
|
|
JUMPI
|
||
|
|
POP
|
||
|
|
CALLVALUE
|
||
|
|
PUSH1 0x00
|
||
|
|
EQ
|
||
|
|
JUMPDEST
|
||
|
|
DUP1
|
||
|
|
PUSH1 0x52
|
||
|
|
JUMPI
|
||
|
|
POP
|
||
|
|
PUSH1 0x01
|
||
|
|
SLOAD
|
||
|
|
PUSH20 0xffffffffffffffffffffffffffffffffffffffff
|
||
|
|
AND
|
||
|
|
PUSH1 0x00
|
||
|
|
CALLVALUE
|
||
|
|
PUSH1 0x60
|
||
|
|
DUP3
|
||
|
|
DUP2
|
||
|
|
DUP2
|
||
|
|
DUP2
|
||
|
|
DUP6
|
||
|
|
DUP9
|
||
|
|
DUP4
|
||
|
|
CALL
|
||
|
|
SWAP4
|
||
|
|
POP
|
||
|
|
POP
|
||
|
|
POP
|
||
|
|
POP
|
||
|
|
ISZERO
|
||
|
|
JUMPDEST
|
||
|
|
ISZERO
|
||
|
|
PUSH1 0x5c
|
||
|
|
JUMPI
|
||
|
|
PUSH1 0x02
|
||
|
|
JUMP
|
||
|
|
JUMPDEST
|
||
|
|
STOP
|
||
|
|
JUMPDEST
|
||
|
|
JUMP
|