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
1.8 KiB
168 lines
1.8 KiB
7 years ago
|
0 PUSH1 0x80
|
||
|
|
2 PUSH1 0x40
|
||
|
|
4 MSTORE
|
||
|
|
5 PUSH1 0x04
|
||
|
|
7 CALLDATASIZE
|
||
|
|
8 LT
|
||
|
|
9 PUSH2 0x0041
|
||
|
|
12 JUMPI
|
||
|
|
13 PUSH1 0x00
|
||
|
|
15 CALLDATALOAD
|
||
|
|
16 PUSH29 0x0100000000000000000000000000000000000000000000000000000000
|
||
|
|
46 SWAP1
|
||
|
|
47 DIV
|
||
|
|
48 PUSH4 0xffffffff
|
||
|
|
53 AND
|
||
|
|
54 DUP1
|
||
|
|
55 PUSH4 0x24ff38a2
|
||
|
|
60 EQ
|
||
|
|
61 PUSH2 0x0046
|
||
|
|
64 JUMPI
|
||
|
|
65 JUMPDEST
|
||
|
|
66 PUSH1 0x00
|
||
|
|
68 DUP1
|
||
|
|
69 REVERT
|
||
|
|
70 JUMPDEST
|
||
|
|
71 CALLVALUE
|
||
|
|
72 DUP1
|
||
|
|
73 ISZERO
|
||
|
|
74 PUSH2 0x0052
|
||
|
|
77 JUMPI
|
||
|
|
78 PUSH1 0x00
|
||
|
|
80 DUP1
|
||
|
|
81 REVERT
|
||
|
|
82 JUMPDEST
|
||
|
|
83 POP
|
||
|
|
84 PUSH2 0x005b
|
||
|
|
87 PUSH2 0x00d6
|
||
|
|
90 JUMP
|
||
|
|
91 JUMPDEST
|
||
|
|
92 PUSH1 0x40
|
||
|
|
94 MLOAD
|
||
|
|
95 DUP1
|
||
|
|
96 DUP1
|
||
|
|
97 PUSH1 0x20
|
||
|
|
99 ADD
|
||
|
|
100 DUP3
|
||
|
|
101 DUP2
|
||
|
|
102 SUB
|
||
|
|
103 DUP3
|
||
|
|
104 MSTORE
|
||
|
|
105 DUP4
|
||
|
|
106 DUP2
|
||
|
|
107 DUP2
|
||
|
|
108 MLOAD
|
||
|
|
109 DUP2
|
||
|
|
110 MSTORE
|
||
|
|
111 PUSH1 0x20
|
||
|
|
113 ADD
|
||
|
|
114 SWAP2
|
||
|
|
115 POP
|
||
|
|
116 DUP1
|
||
|
|
117 MLOAD
|
||
|
|
118 SWAP1
|
||
|
|
119 PUSH1 0x20
|
||
|
|
121 ADD
|
||
|
|
122 SWAP1
|
||
|
|
123 DUP1
|
||
|
|
124 DUP4
|
||
|
|
125 DUP4
|
||
|
|
126 PUSH1 0x00
|
||
|
|
128 JUMPDEST
|
||
|
|
129 DUP4
|
||
|
|
130 DUP2
|
||
|
|
131 LT
|
||
|
|
132 ISZERO
|
||
|
|
133 PUSH2 0x009b
|
||
|
|
136 JUMPI
|
||
|
|
137 DUP1
|
||
|
|
138 DUP3
|
||
|
|
139 ADD
|
||
|
|
140 MLOAD
|
||
|
|
141 DUP2
|
||
|
|
142 DUP5
|
||
|
|
143 ADD
|
||
|
|
144 MSTORE
|
||
|
|
145 PUSH1 0x20
|
||
|
|
147 DUP2
|
||
|
|
148 ADD
|
||
|
|
149 SWAP1
|
||
|
|
150 POP
|
||
|
|
151 PUSH2 0x0080
|
||
|
|
154 JUMP
|
||
|
|
155 JUMPDEST
|
||
|
|
156 POP
|
||
|
|
157 POP
|
||
|
|
158 POP
|
||
|
|
159 POP
|
||
|
|
160 SWAP1
|
||
|
|
161 POP
|
||
|
|
162 SWAP1
|
||
|
|
163 DUP2
|
||
|
|
164 ADD
|
||
|
|
165 SWAP1
|
||
|
|
166 PUSH1 0x1f
|
||
|
|
168 AND
|
||
|
|
169 DUP1
|
||
|
|
170 ISZERO
|
||
|
|
171 PUSH2 0x00c8
|
||
|
|
174 JUMPI
|
||
|
|
175 DUP1
|
||
|
|
176 DUP3
|
||
|
|
177 SUB
|
||
|
|
178 DUP1
|
||
|
|
179 MLOAD
|
||
|
|
180 PUSH1 0x01
|
||
|
|
182 DUP4
|
||
|
|
183 PUSH1 0x20
|
||
|
|
185 SUB
|
||
|
|
186 PUSH2 0x0100
|
||
|
|
189 EXP
|
||
|
|
190 SUB
|
||
|
|
191 NOT
|
||
|
|
192 AND
|
||
|
|
193 DUP2
|
||
|
|
194 MSTORE
|
||
|
|
195 PUSH1 0x20
|
||
|
|
197 ADD
|
||
|
|
198 SWAP2
|
||
|
|
199 POP
|
||
|
|
200 JUMPDEST
|
||
|
|
201 POP
|
||
|
|
202 SWAP3
|
||
|
|
203 POP
|
||
|
|
204 POP
|
||
|
|
205 POP
|
||
|
|
206 PUSH1 0x40
|
||
|
|
208 MLOAD
|
||
|
|
209 DUP1
|
||
|
|
210 SWAP2
|
||
|
|
211 SUB
|
||
|
|
212 SWAP1
|
||
|
|
213 RETURN
|
||
|
|
214 JUMPDEST
|
||
|
|
215 PUSH1 0x60
|
||
|
|
217 PUSH1 0x40
|
||
|
|
219 DUP1
|
||
|
|
220 MLOAD
|
||
|
|
221 SWAP1
|
||
|
|
222 DUP2
|
||
|
|
223 ADD
|
||
|
|
224 PUSH1 0x40
|
||
|
|
226 MSTORE
|
||
|
|
227 DUP1
|
||
|
|
228 PUSH1 0x17
|
||
|
|
230 DUP2
|
||
|
|
231 MSTORE
|
||
|
|
232 PUSH1 0x20
|
||
|
|
234 ADD
|
||
|
|
235 PUSH32 0xd0a5d18dd0bbd0bbd0bed18320d092d0bed180d0bbd0b4000000000000000000
|
||
|
|
268 DUP2
|
||
|
|
269 MSTORE
|
||
|
|
270 POP
|
||
|
|
271 SWAP1
|
||
|
|
272 POP
|
||
|
|
273 SWAP1
|
||
|
|
274 JUMP
|
||
|
|
275 STOP
|