mirror of https://github.com/ConsenSys/mythril
parent
67b9058a0a
commit
d72afe3089
@ -0,0 +1,253 @@ |
|||||||
|
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 0x27e235e3 |
||||||
|
60 EQ |
||||||
|
61 PUSH2 0x0051 |
||||||
|
64 JUMPI |
||||||
|
65 DUP1 |
||||||
|
66 PUSH4 0x412664ae |
||||||
|
71 EQ |
||||||
|
72 PUSH2 0x009e |
||||||
|
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 0x0088 |
||||||
|
96 PUSH1 0x04 |
||||||
|
98 DUP1 |
||||||
|
99 DUP1 |
||||||
|
100 CALLDATALOAD |
||||||
|
101 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
122 AND |
||||||
|
123 SWAP1 |
||||||
|
124 PUSH1 0x20 |
||||||
|
126 ADD |
||||||
|
127 SWAP1 |
||||||
|
128 SWAP2 |
||||||
|
129 SWAP1 |
||||||
|
130 POP |
||||||
|
131 POP |
||||||
|
132 PUSH2 0x00f8 |
||||||
|
135 JUMP |
||||||
|
136 JUMPDEST |
||||||
|
137 PUSH1 0x40 |
||||||
|
139 MLOAD |
||||||
|
140 DUP1 |
||||||
|
141 DUP3 |
||||||
|
142 DUP2 |
||||||
|
143 MSTORE |
||||||
|
144 PUSH1 0x20 |
||||||
|
146 ADD |
||||||
|
147 SWAP2 |
||||||
|
148 POP |
||||||
|
149 POP |
||||||
|
150 PUSH1 0x40 |
||||||
|
152 MLOAD |
||||||
|
153 DUP1 |
||||||
|
154 SWAP2 |
||||||
|
155 SUB |
||||||
|
156 SWAP1 |
||||||
|
157 RETURN |
||||||
|
158 JUMPDEST |
||||||
|
159 CALLVALUE |
||||||
|
160 ISZERO |
||||||
|
161 PUSH2 0x00a9 |
||||||
|
164 JUMPI |
||||||
|
165 PUSH1 0x00 |
||||||
|
167 DUP1 |
||||||
|
168 REVERT |
||||||
|
169 JUMPDEST |
||||||
|
170 PUSH2 0x00de |
||||||
|
173 PUSH1 0x04 |
||||||
|
175 DUP1 |
||||||
|
176 DUP1 |
||||||
|
177 CALLDATALOAD |
||||||
|
178 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
199 AND |
||||||
|
200 SWAP1 |
||||||
|
201 PUSH1 0x20 |
||||||
|
203 ADD |
||||||
|
204 SWAP1 |
||||||
|
205 SWAP2 |
||||||
|
206 SWAP1 |
||||||
|
207 DUP1 |
||||||
|
208 CALLDATALOAD |
||||||
|
209 SWAP1 |
||||||
|
210 PUSH1 0x20 |
||||||
|
212 ADD |
||||||
|
213 SWAP1 |
||||||
|
214 SWAP2 |
||||||
|
215 SWAP1 |
||||||
|
216 POP |
||||||
|
217 POP |
||||||
|
218 PUSH2 0x0110 |
||||||
|
221 JUMP |
||||||
|
222 JUMPDEST |
||||||
|
223 PUSH1 0x40 |
||||||
|
225 MLOAD |
||||||
|
226 DUP1 |
||||||
|
227 DUP3 |
||||||
|
228 ISZERO |
||||||
|
229 ISZERO |
||||||
|
230 ISZERO |
||||||
|
231 ISZERO |
||||||
|
232 DUP2 |
||||||
|
233 MSTORE |
||||||
|
234 PUSH1 0x20 |
||||||
|
236 ADD |
||||||
|
237 SWAP2 |
||||||
|
238 POP |
||||||
|
239 POP |
||||||
|
240 PUSH1 0x40 |
||||||
|
242 MLOAD |
||||||
|
243 DUP1 |
||||||
|
244 SWAP2 |
||||||
|
245 SUB |
||||||
|
246 SWAP1 |
||||||
|
247 RETURN |
||||||
|
248 JUMPDEST |
||||||
|
249 PUSH1 0x00 |
||||||
|
251 PUSH1 0x20 |
||||||
|
253 MSTORE |
||||||
|
254 DUP1 |
||||||
|
255 PUSH1 0x00 |
||||||
|
257 MSTORE |
||||||
|
258 PUSH1 0x40 |
||||||
|
260 PUSH1 0x00 |
||||||
|
262 SHA3 |
||||||
|
263 PUSH1 0x00 |
||||||
|
265 SWAP2 |
||||||
|
266 POP |
||||||
|
267 SWAP1 |
||||||
|
268 POP |
||||||
|
269 SLOAD |
||||||
|
270 DUP2 |
||||||
|
271 JUMP |
||||||
|
272 JUMPDEST |
||||||
|
273 PUSH1 0x00 |
||||||
|
275 DUP2 |
||||||
|
276 PUSH1 0x00 |
||||||
|
278 DUP1 |
||||||
|
279 CALLER |
||||||
|
280 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
301 AND |
||||||
|
302 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
323 AND |
||||||
|
324 DUP2 |
||||||
|
325 MSTORE |
||||||
|
326 PUSH1 0x20 |
||||||
|
328 ADD |
||||||
|
329 SWAP1 |
||||||
|
330 DUP2 |
||||||
|
331 MSTORE |
||||||
|
332 PUSH1 0x20 |
||||||
|
334 ADD |
||||||
|
335 PUSH1 0x00 |
||||||
|
337 SHA3 |
||||||
|
338 SLOAD |
||||||
|
339 LT |
||||||
|
340 ISZERO |
||||||
|
341 PUSH2 0x0161 |
||||||
|
344 JUMPI |
||||||
|
345 PUSH1 0x00 |
||||||
|
347 SWAP1 |
||||||
|
348 POP |
||||||
|
349 PUSH2 0x01fe |
||||||
|
352 JUMP |
||||||
|
353 JUMPDEST |
||||||
|
354 DUP2 |
||||||
|
355 PUSH1 0x00 |
||||||
|
357 DUP1 |
||||||
|
358 CALLER |
||||||
|
359 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
380 AND |
||||||
|
381 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
402 AND |
||||||
|
403 DUP2 |
||||||
|
404 MSTORE |
||||||
|
405 PUSH1 0x20 |
||||||
|
407 ADD |
||||||
|
408 SWAP1 |
||||||
|
409 DUP2 |
||||||
|
410 MSTORE |
||||||
|
411 PUSH1 0x20 |
||||||
|
413 ADD |
||||||
|
414 PUSH1 0x00 |
||||||
|
416 SHA3 |
||||||
|
417 PUSH1 0x00 |
||||||
|
419 DUP3 |
||||||
|
420 DUP3 |
||||||
|
421 SLOAD |
||||||
|
422 SUB |
||||||
|
423 SWAP3 |
||||||
|
424 POP |
||||||
|
425 POP |
||||||
|
426 DUP2 |
||||||
|
427 SWAP1 |
||||||
|
428 SSTORE |
||||||
|
429 POP |
||||||
|
430 DUP2 |
||||||
|
431 PUSH1 0x00 |
||||||
|
433 DUP1 |
||||||
|
434 DUP6 |
||||||
|
435 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
456 AND |
||||||
|
457 PUSH20 0xffffffffffffffffffffffffffffffffffffffff |
||||||
|
478 AND |
||||||
|
479 DUP2 |
||||||
|
480 MSTORE |
||||||
|
481 PUSH1 0x20 |
||||||
|
483 ADD |
||||||
|
484 SWAP1 |
||||||
|
485 DUP2 |
||||||
|
486 MSTORE |
||||||
|
487 PUSH1 0x20 |
||||||
|
489 ADD |
||||||
|
490 PUSH1 0x00 |
||||||
|
492 SHA3 |
||||||
|
493 PUSH1 0x00 |
||||||
|
495 DUP3 |
||||||
|
496 DUP3 |
||||||
|
497 SLOAD |
||||||
|
498 ADD |
||||||
|
499 SWAP3 |
||||||
|
500 POP |
||||||
|
501 POP |
||||||
|
502 DUP2 |
||||||
|
503 SWAP1 |
||||||
|
504 SSTORE |
||||||
|
505 POP |
||||||
|
506 PUSH1 0x00 |
||||||
|
508 SWAP1 |
||||||
|
509 POP |
||||||
|
510 JUMPDEST |
||||||
|
511 SWAP3 |
||||||
|
512 SWAP2 |
||||||
|
513 POP |
||||||
|
514 POP |
||||||
|
515 JUMP |
||||||
|
516 STOP |
File diff suppressed because one or more lines are too long
@ -1,18 +1,5 @@ |
|||||||
{ |
{ |
||||||
"error": null, |
"error": null, |
||||||
"issues": [] |
"issues": [], |
||||||
{ |
|
||||||
"address": 498, |
|
||||||
"contract": "Unknown", |
|
||||||
"debug": "<DEBUG-DATA>", |
|
||||||
"description": "This binary add operation can result in integer overflow.\n", |
|
||||||
"function": "sendToken(address,uint256)", |
|
||||||
"max_gas_used": 27415, |
|
||||||
"min_gas_used": 6750, |
|
||||||
"swc-id": "101", |
|
||||||
"title": "Integer Overflow", |
|
||||||
"type": "Warning" |
|
||||||
} |
|
||||||
], |
|
||||||
"success": true |
"success": true |
||||||
} |
} |
||||||
|
@ -1,13 +1,3 @@ |
|||||||
# Analysis results for test-filename.sol |
# Analysis results for None |
||||||
|
|
||||||
## Integer Overflow |
The analysis was completed successfully. No issues were detected. |
||||||
- SWC ID: 101 |
|
||||||
- Type: Warning |
|
||||||
- Contract: Unknown |
|
||||||
- Function name: `sendToken(address,uint256)` |
|
||||||
- PC address: 498 |
|
||||||
- Estimated Gas Usage: 6750 - 27415 |
|
||||||
|
|
||||||
### Description |
|
||||||
|
|
||||||
This binary add operation can result in integer overflow. |
|
||||||
|
@ -1,11 +1 @@ |
|||||||
==== Integer Overflow ==== |
The analysis was completed successfully. No issues were detected. |
||||||
SWC ID: 101 |
|
||||||
Type: Warning |
|
||||||
Contract: Unknown |
|
||||||
Function name: sendToken(address,uint256) |
|
||||||
PC address: 498 |
|
||||||
Estimated Gas Usage: 6750 - 27415 |
|
||||||
This binary add operation can result in integer overflow. |
|
||||||
|
|
||||||
-------------------- |
|
||||||
|
|
||||||
|
Loading…
Reference in new issue