019b477e-b3f9-7284-96e9-189b82e03714
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 22647 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22648 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89609 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89610 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89611 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89612 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00f0 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x095ea7b3 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x01f8 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x0d02c82f 00000046: EQ 00000047: PUSH2 0x021c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x13af4035 00000051: EQ 00000052: PUSH2 0x0243 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18160ddd 0000005c: EQ 0000005d: PUSH2 0x0278 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x1817cca4 00000067: EQ 00000068: PUSH2 0x028d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x23b872dd 00000072: EQ 00000073: PUSH2 0x02a2 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x2c9adfaf 0000007d: EQ 0000007e: PUSH2 0x02cc 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x3f4e8a14 00000088: EQ 00000089: PUSH2 0x030a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6352211e 00000093: EQ 00000094: PUSH2 0x0348 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x037c 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x8da5cb5b 000000a9: EQ 000000aa: PUSH2 0x039d 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x9c30b71e 000000b4: EQ 000000b5: PUSH2 0x03b2 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x9fb4d11b 000000bf: EQ 000000c0: PUSH2 0x03e6 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xa6f2ae3a 000000ca: EQ 000000cb: PUSH2 0x03fe 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xa9059cbb 000000d5: EQ 000000d6: PUSH2 0x01f8 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xb348355f 000000e0: EQ 000000e1: PUSH2 0x0406 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xea4a1104 000000eb: EQ 000000ec: PUSH2 0x041b 000000ef: JUMPI 000000f0: JUMPDEST 000000f1: PUSH8 0x0de0b6b3a7640000 000000fa: CALLVALUE 000000fb: LT 000000fc: ISZERO 000000fd: PUSH2 0x0167 00000100: JUMPI 00000101: PUSH1 0x40 00000103: DUP1 00000104: MLOAD 00000105: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000126: DUP2 00000127: MSTORE 00000128: PUSH1 0x20 0000012a: PUSH1 0x04 0000012c: DUP3 0000012d: ADD 0000012e: MSTORE 0000012f: PUSH1 0x0d 00000131: PUSH1 0x24 00000133: DUP3 00000134: ADD 00000135: MSTORE 00000136: PUSH32 0x616d6f756e74206572726f723300000000000000000000000000000000000000 00000157: PUSH1 0x44 00000159: DUP3 0000015a: ADD 0000015b: MSTORE 0000015c: SWAP1 0000015d: MLOAD 0000015e: SWAP1 0000015f: DUP2 00000160: SWAP1 00000161: SUB 00000162: PUSH1 0x64 00000164: ADD 00000165: SWAP1 00000166: REVERT 00000167: JUMPDEST 00000168: PUSH2 0x016f 0000016b: PUSH2 0x044c 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH8 0x0de0b6b3a7640000 00000179: CALLVALUE 0000017a: GT 0000017b: ISZERO 0000017c: PUSH2 0x01b8 0000017f: JUMPI 00000180: PUSH1 0x40 00000182: MLOAD 00000183: CALLER 00000184: SWAP1 00000185: PUSH8 0x0de0b6b3a763ffff 0000018e: NOT 0000018f: CALLVALUE 00000190: ADD 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x08fc 00000196: MUL 00000197: SWAP2 00000198: PUSH1 0x00 0000019a: DUP2 0000019b: DUP2 0000019c: DUP2 0000019d: DUP6 0000019e: DUP9 0000019f: DUP9 000001a0: CALL 000001a1: SWAP4 000001a2: POP 000001a3: POP 000001a4: POP 000001a5: POP 000001a6: ISZERO 000001a7: DUP1 000001a8: ISZERO 000001a9: PUSH2 0x01b6 000001ac: JUMPI 000001ad: RETURNDATASIZE 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: RETURNDATACOPY 000001b2: RETURNDATASIZE 000001b3: PUSH1 0x00 000001b5: REVERT 000001b6: JUMPDEST 000001b7: POP 000001b8: JUMPDEST 000001b9: PUSH8 0x0de0b6b3a7640000 000001c2: CALLVALUE 000001c3: LT 000001c4: ISZERO 000001c5: PUSH2 0x01f6 000001c8: JUMPI 000001c9: PUSH1 0x40 000001cb: MLOAD 000001cc: CALLER 000001cd: SWAP1 000001ce: CALLVALUE 000001cf: DUP1 000001d0: ISZERO 000001d1: PUSH2 0x08fc 000001d4: MUL 000001d5: SWAP2 000001d6: PUSH1 0x00 000001d8: DUP2 000001d9: DUP2 000001da: DUP2 000001db: DUP6 000001dc: DUP9 000001dd: DUP9 000001de: CALL 000001df: SWAP4 000001e0: POP 000001e1: POP 000001e2: POP 000001e3: POP 000001e4: ISZERO 000001e5: DUP1 000001e6: ISZERO 000001e7: PUSH2 0x01f4 000001ea: JUMPI 000001eb: RETURNDATASIZE 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: RETURNDATACOPY 000001f0: RETURNDATASIZE 000001f1: PUSH1 0x00 000001f3: REVERT 000001f4: JUMPDEST 000001f5: POP 000001f6: JUMPDEST 000001f7: STOP 000001f8: JUMPDEST 000001f9: CALLVALUE 000001fa: DUP1 000001fb: ISZERO 000001fc: PUSH2 0x0204 000001ff: JUMPI 00000200: PUSH1 0x00 00000202: DUP1 00000203: REVERT 00000204: JUMPDEST 00000205: POP 00000206: PUSH2 0x01f6 00000209: PUSH1 0x01 0000020b: PUSH1 0xa0 0000020d: PUSH1 0x02 0000020f: EXP 00000210: SUB 00000211: PUSH1 0x04 00000213: CALLDATALOAD 00000214: AND 00000215: PUSH1 0x24 00000217: CALLDATALOAD 00000218: PUSH2 0x0515 0000021b: JUMP 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: POP 0000022a: PUSH2 0x0231 0000022d: PUSH2 0x051a 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH1 0x40 00000234: DUP1 00000235: MLOAD 00000236: SWAP2 00000237: DUP3 00000238: MSTORE 00000239: MLOAD 0000023a: SWAP1 0000023b: DUP2 0000023c: SWAP1 0000023d: SUB 0000023e: PUSH1 0x20 00000240: ADD 00000241: SWAP1 00000242: RETURN 00000243: JUMPDEST 00000244: CALLVALUE 00000245: DUP1 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: POP 00000251: PUSH2 0x0264 00000254: PUSH1 0x01 00000256: PUSH1 0xa0 00000258: PUSH1 0x02 0000025a: EXP 0000025b: SUB 0000025c: PUSH1 0x04 0000025e: CALLDATALOAD 0000025f: AND 00000260: PUSH2 0x0520 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH1 0x40 00000267: DUP1 00000268: MLOAD 00000269: SWAP2 0000026a: ISZERO 0000026b: ISZERO 0000026c: DUP3 0000026d: MSTORE 0000026e: MLOAD 0000026f: SWAP1 00000270: DUP2 00000271: SWAP1 00000272: SUB 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP1 00000277: RETURN 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x0231 00000289: PUSH2 0x056f 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x0231 0000029e: PUSH2 0x0575 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: PUSH2 0x01f6 000002b3: PUSH1 0x01 000002b5: PUSH1 0xa0 000002b7: PUSH1 0x02 000002b9: EXP 000002ba: SUB 000002bb: PUSH1 0x04 000002bd: CALLDATALOAD 000002be: DUP2 000002bf: AND 000002c0: SWAP1 000002c1: PUSH1 0x24 000002c3: CALLDATALOAD 000002c4: AND 000002c5: PUSH1 0x44 000002c7: CALLDATALOAD 000002c8: PUSH2 0x057b 000002cb: JUMP 000002cc: JUMPDEST 000002cd: CALLVALUE 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x02d8 000002d3: JUMPI 000002d4: PUSH1 0x00 000002d6: DUP1 000002d7: REVERT 000002d8: JUMPDEST 000002d9: POP 000002da: PUSH2 0x02e7 000002dd: PUSH1 0x04 000002df: CALLDATALOAD 000002e0: PUSH1 0x24 000002e2: CALLDATALOAD 000002e3: PUSH2 0x0580 000002e6: JUMP 000002e7: JUMPDEST 000002e8: PUSH1 0x40 000002ea: DUP1 000002eb: MLOAD 000002ec: PUSH1 0x01 000002ee: PUSH1 0xa0 000002f0: PUSH1 0x02 000002f2: EXP 000002f3: SUB 000002f4: SWAP1 000002f5: SWAP4 000002f6: AND 000002f7: DUP4 000002f8: MSTORE 000002f9: PUSH1 0x20 000002fb: DUP4 000002fc: ADD 000002fd: SWAP2 000002fe: SWAP1 000002ff: SWAP2 00000300: MSTORE 00000301: DUP1 00000302: MLOAD 00000303: SWAP2 00000304: DUP3 00000305: SWAP1 00000306: SUB 00000307: ADD 00000308: SWAP1 00000309: RETURN 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: PUSH2 0x0322 0000031b: PUSH1 0x04 0000031d: CALLDATALOAD 0000031e: PUSH2 0x05c4 00000321: JUMP 00000322: JUMPDEST 00000323: PUSH1 0x40 00000325: DUP1 00000326: MLOAD 00000327: SWAP4 00000328: DUP5 00000329: MSTORE 0000032a: PUSH1 0x01 0000032c: PUSH1 0xa0 0000032e: PUSH1 0x02 00000330: EXP 00000331: SUB 00000332: SWAP1 00000333: SWAP3 00000334: AND 00000335: PUSH1 0x20 00000337: DUP5 00000338: ADD 00000339: MSTORE 0000033a: DUP3 0000033b: DUP3 0000033c: ADD 0000033d: MSTORE 0000033e: MLOAD 0000033f: SWAP1 00000340: DUP2 00000341: SWAP1 00000342: SUB 00000343: PUSH1 0x60 00000345: ADD 00000346: SWAP1 00000347: RETURN 00000348: JUMPDEST 00000349: CALLVALUE 0000034a: DUP1 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: POP 00000356: PUSH2 0x0360 00000359: PUSH1 0x04 0000035b: CALLDATALOAD 0000035c: PUSH2 0x0645 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x40 00000363: DUP1 00000364: MLOAD 00000365: PUSH1 0x01 00000367: PUSH1 0xa0 00000369: PUSH1 0x02 0000036b: EXP 0000036c: SUB 0000036d: SWAP1 0000036e: SWAP3 0000036f: AND 00000370: DUP3 00000371: MSTORE 00000372: MLOAD 00000373: SWAP1 00000374: DUP2 00000375: SWAP1 00000376: SUB 00000377: PUSH1 0x20 00000379: ADD 0000037a: SWAP1 0000037b: RETURN 0000037c: JUMPDEST 0000037d: CALLVALUE 0000037e: DUP1 0000037f: ISZERO 00000380: PUSH2 0x0388 00000383: JUMPI 00000384: PUSH1 0x00 00000386: DUP1 00000387: REVERT 00000388: JUMPDEST 00000389: POP 0000038a: PUSH2 0x0231 0000038d: PUSH1 0x01 0000038f: PUSH1 0xa0 00000391: PUSH1 0x02 00000393: EXP 00000394: SUB 00000395: PUSH1 0x04 00000397: CALLDATALOAD 00000398: AND 00000399: PUSH2 0x066d 0000039c: JUMP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a9 000003a4: JUMPI 000003a5: PUSH1 0x00 000003a7: DUP1 000003a8: REVERT 000003a9: JUMPDEST 000003aa: POP 000003ab: PUSH2 0x0360 000003ae: PUSH2 0x0693 000003b1: JUMP 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x03cd 000003c3: PUSH1 0x04 000003c5: CALLDATALOAD 000003c6: PUSH1 0x24 000003c8: CALLDATALOAD 000003c9: PUSH2 0x06a2 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH1 0x40 000003d0: DUP1 000003d1: MLOAD 000003d2: SWAP3 000003d3: DUP4 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: DUP4 000003d8: ADD 000003d9: SWAP2 000003da: SWAP1 000003db: SWAP2 000003dc: MSTORE 000003dd: DUP1 000003de: MLOAD 000003df: SWAP2 000003e0: DUP3 000003e1: SWAP1 000003e2: SUB 000003e3: ADD 000003e4: SWAP1 000003e5: RETURN 000003e6: JUMPDEST 000003e7: CALLVALUE 000003e8: DUP1 000003e9: ISZERO 000003ea: PUSH2 0x03f2 000003ed: JUMPI 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: REVERT 000003f2: JUMPDEST 000003f3: POP 000003f4: PUSH2 0x03cd 000003f7: PUSH1 0x04 000003f9: CALLDATALOAD 000003fa: PUSH2 0x0700 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH2 0x01f6 00000402: PUSH2 0x0723 00000405: JUMP 00000406: JUMPDEST 00000407: CALLVALUE 00000408: DUP1 00000409: ISZERO 0000040a: PUSH2 0x0412 0000040d: JUMPI 0000040e: PUSH1 0x00 00000410: DUP1 00000411: REVERT 00000412: JUMPDEST 00000413: POP 00000414: PUSH2 0x0231 00000417: PUSH2 0x0829 0000041a: JUMP 0000041b: JUMPDEST 0000041c: CALLVALUE 0000041d: DUP1 0000041e: ISZERO 0000041f: PUSH2 0x0427 00000422: JUMPI 00000423: PUSH1 0x00 00000425: DUP1 00000426: REVERT 00000427: JUMPDEST 00000428: POP 00000429: PUSH2 0x0433 0000042c: PUSH1 0x04 0000042e: CALLDATALOAD 0000042f: PUSH2 0x082f 00000432: JUMP 00000433: JUMPDEST 00000434: PUSH1 0x40 00000436: DUP1 00000437: MLOAD 00000438: SWAP3 00000439: DUP4 0000043a: MSTORE 0000043b: SWAP1 0000043c: ISZERO 0000043d: ISZERO 0000043e: PUSH1 0x20 00000440: DUP4 00000441: ADD 00000442: MSTORE 00000443: DUP1 00000444: MLOAD 00000445: SWAP2 00000446: DUP3 00000447: SWAP1 00000448: SUB 00000449: ADD 0000044a: SWAP1 0000044b: RETURN 0000044c: JUMPDEST 0000044d: PUSH1 0x00 0000044f: PUSH1 0x05 00000451: SLOAD 00000452: GASLIMIT 00000453: GAS 00000454: TIMESTAMP 00000455: PUSH1 0x05 00000457: SLOAD 00000458: PUSH1 0x40 0000045a: MLOAD 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: DUP1 0000045f: DUP6 00000460: DUP2 00000461: MSTORE 00000462: PUSH1 0x20 00000464: ADD 00000465: DUP5 00000466: DUP2 00000467: MSTORE 00000468: PUSH1 0x20 0000046a: ADD 0000046b: DUP4 0000046c: DUP2 0000046d: MSTORE 0000046e: PUSH1 0x20 00000470: ADD 00000471: DUP3 00000472: DUP2 00000473: MSTORE 00000474: PUSH1 0x20 00000476: ADD 00000477: SWAP5 00000478: POP 00000479: POP 0000047a: POP 0000047b: POP 0000047c: POP 0000047d: PUSH1 0x40 0000047f: MLOAD 00000480: PUSH1 0x20 00000482: DUP2 00000483: DUP4 00000484: SUB 00000485: SUB 00000486: DUP2 00000487: MSTORE 00000488: SWAP1 00000489: PUSH1 0x40 0000048b: MSTORE 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: DUP1 00000490: DUP3 00000491: DUP1 00000492: MLOAD 00000493: SWAP1 00000494: PUSH1 0x20 00000496: ADD 00000497: SWAP1 00000498: DUP1 00000499: DUP4 0000049a: DUP4 0000049b: JUMPDEST 0000049c: PUSH1 0x20 0000049e: DUP4 0000049f: LT 000004a0: PUSH2 0x04ba 000004a3: JUMPI 000004a4: DUP1 000004a5: MLOAD 000004a6: DUP3 000004a7: MSTORE 000004a8: PUSH1 0x1f 000004aa: NOT 000004ab: SWAP1 000004ac: SWAP3 000004ad: ADD 000004ae: SWAP2 000004af: PUSH1 0x20 000004b1: SWAP2 000004b2: DUP3 000004b3: ADD 000004b4: SWAP2 000004b5: ADD 000004b6: PUSH2 0x049b 000004b9: JUMP 000004ba: JUMPDEST 000004bb: MLOAD 000004bc: DUP2 000004bd: MLOAD 000004be: PUSH1 0x20 000004c0: SWAP4 000004c1: SWAP1 000004c2: SWAP4 000004c3: SUB 000004c4: PUSH2 0x0100 000004c7: EXP 000004c8: PUSH1 0x00 000004ca: NOT 000004cb: ADD 000004cc: DUP1 000004cd: NOT 000004ce: SWAP1 000004cf: SWAP2 000004d0: AND 000004d1: SWAP3 000004d2: AND 000004d3: SWAP2 000004d4: SWAP1 000004d5: SWAP2 000004d6: OR 000004d7: SWAP1 000004d8: MSTORE 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: SWAP3 000004dd: ADD 000004de: DUP3 000004df: SWAP1 000004e0: SUB 000004e1: SWAP1 000004e2: SWAP2 000004e3: KECCAK256 000004e4: SWAP3 000004e5: POP 000004e6: POP 000004e7: POP 000004e8: DUP2 000004e9: ISZERO 000004ea: ISZERO 000004eb: PUSH2 0x04f0 000004ee: JUMPI 000004ef: INVALID 000004f0: JUMPDEST 000004f1: MOD 000004f2: SWAP1 000004f3: POP 000004f4: PUSH2 0x04fc 000004f7: DUP2 000004f8: PUSH2 0x084e 000004fb: JUMP 000004fc: JUMPDEST 000004fd: PUSH1 0x05 000004ff: SLOAD 00000500: ISZERO 00000501: ISZERO 00000502: PUSH2 0x0517 00000505: JUMPI 00000506: PUSH2 0x050d 00000509: PUSH2 0x09cc 0000050c: JUMP 0000050d: JUMPDEST 0000050e: PUSH2 0x0515 00000511: PUSH2 0x0ba7 00000514: JUMP 00000515: JUMPDEST 00000516: POP 00000517: JUMPDEST 00000518: POP 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH1 0x02 0000051d: SLOAD 0000051e: DUP2 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH1 0x03 00000523: SLOAD 00000524: PUSH1 0x00 00000526: SWAP1 00000527: PUSH1 0x01 00000529: PUSH1 0xa0 0000052b: PUSH1 0x02 0000052d: EXP 0000052e: SUB 0000052f: AND 00000530: CALLER 00000531: EQ 00000532: ISZERO 00000533: PUSH2 0x0566 00000536: JUMPI 00000537: POP 00000538: PUSH1 0x03 0000053a: DUP1 0000053b: SLOAD 0000053c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000551: NOT 00000552: AND 00000553: PUSH1 0x01 00000555: PUSH1 0xa0 00000557: PUSH1 0x02 00000559: EXP 0000055a: SUB 0000055b: DUP4 0000055c: AND 0000055d: OR 0000055e: SWAP1 0000055f: SSTORE 00000560: PUSH1 0x01 00000562: PUSH2 0x056a 00000565: JUMP 00000566: JUMPDEST 00000567: POP 00000568: PUSH1 0x00 0000056a: JUMPDEST 0000056b: SWAP2 0000056c: SWAP1 0000056d: POP 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH2 0x03e8 00000573: SWAP1 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH1 0x06 00000578: SLOAD 00000579: DUP2 0000057a: JUMP 0000057b: JUMPDEST 0000057c: POP 0000057d: POP 0000057e: POP 0000057f: JUMP 00000580: JUMPDEST 00000581: PUSH1 0x00 00000583: DUP3 00000584: DUP2 00000585: MSTORE 00000586: PUSH1 0x01 00000588: PUSH1 0x20 0000058a: DUP2 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x40 0000058f: DUP1 00000590: DUP5 00000591: KECCAK256 00000592: DUP6 00000593: DUP6 00000594: MSTORE 00000595: DUP3 00000596: MSTORE 00000597: DUP1 00000598: DUP5 00000599: KECCAK256 0000059a: SLOAD 0000059b: PUSH1 0x01 0000059d: PUSH1 0xa0 0000059f: PUSH1 0x02 000005a1: EXP 000005a2: SUB 000005a3: AND 000005a4: DUP1 000005a5: DUP6 000005a6: MSTORE 000005a7: DUP5 000005a8: DUP4 000005a9: MSTORE 000005aa: DUP2 000005ab: DUP6 000005ac: KECCAK256 000005ad: SWAP7 000005ae: DUP6 000005af: MSTORE 000005b0: SWAP6 000005b1: DUP3 000005b2: MSTORE 000005b3: DUP1 000005b4: DUP5 000005b5: KECCAK256 000005b6: SWAP5 000005b7: DUP5 000005b8: MSTORE 000005b9: SWAP4 000005ba: SWAP1 000005bb: SWAP2 000005bc: ADD 000005bd: SWAP1 000005be: MSTORE 000005bf: KECCAK256 000005c0: SLOAD 000005c1: SWAP1 000005c2: SWAP2 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH1 0x02 000005c7: SLOAD 000005c8: PUSH1 0x00 000005ca: SWAP1 000005cb: DUP2 000005cc: MSTORE 000005cd: PUSH1 0x01 000005cf: PUSH1 0x20 000005d1: DUP2 000005d2: SWAP1 000005d3: MSTORE 000005d4: PUSH1 0x40 000005d6: DUP3 000005d7: KECCAK256 000005d8: ADD 000005d9: DUP1 000005da: SLOAD 000005db: DUP3 000005dc: SWAP2 000005dd: DUP3 000005de: SWAP2 000005df: DUP6 000005e0: SWAP1 000005e1: DUP2 000005e2: LT 000005e3: PUSH2 0x05e8 000005e6: JUMPI 000005e7: INVALID 000005e8: JUMPDEST 000005e9: PUSH1 0x00 000005eb: SWAP2 000005ec: DUP3 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: DUP1 000005f1: DUP4 000005f2: KECCAK256 000005f3: SWAP1 000005f4: SWAP2 000005f5: ADD 000005f6: SLOAD 000005f7: PUSH1 0x02 000005f9: SLOAD 000005fa: DUP1 000005fb: DUP5 000005fc: MSTORE 000005fd: PUSH1 0x01 000005ff: DUP1 00000600: DUP5 00000601: MSTORE 00000602: PUSH1 0x40 00000604: DUP1 00000605: DUP7 00000606: KECCAK256 00000607: DUP5 00000608: DUP8 00000609: MSTORE 0000060a: DUP6 0000060b: MSTORE 0000060c: DUP1 0000060d: DUP7 0000060e: KECCAK256 0000060f: SLOAD 00000610: PUSH1 0x01 00000612: PUSH1 0xa0 00000614: PUSH1 0x02 00000616: EXP 00000617: SUB 00000618: AND 00000619: DUP1 0000061a: DUP8 0000061b: MSTORE 0000061c: DUP7 0000061d: DUP7 0000061e: MSTORE 0000061f: DUP2 00000620: DUP8 00000621: KECCAK256 00000622: SWAP4 00000623: DUP8 00000624: MSTORE 00000625: SWAP3 00000626: DUP6 00000627: MSTORE 00000628: DUP1 00000629: DUP7 0000062a: KECCAK256 0000062b: DUP5 0000062c: DUP8 0000062d: MSTORE 0000062e: SWAP1 0000062f: SWAP2 00000630: ADD 00000631: SWAP1 00000632: SWAP4 00000633: MSTORE 00000634: SWAP2 00000635: SWAP1 00000636: SWAP3 00000637: KECCAK256 00000638: SLOAD 00000639: SWAP2 0000063a: SWAP7 0000063b: SWAP1 0000063c: SWAP6 0000063d: POP 0000063e: SWAP1 0000063f: SWAP4 00000640: POP 00000641: SWAP2 00000642: POP 00000643: POP 00000644: JUMP 00000645: JUMPDEST 00000646: PUSH1 0x02 00000648: SLOAD 00000649: PUSH1 0x00 0000064b: SWAP1 0000064c: DUP2 0000064d: MSTORE 0000064e: PUSH1 0x01 00000650: PUSH1 0x20 00000652: SWAP1 00000653: DUP2 00000654: MSTORE 00000655: PUSH1 0x40 00000657: DUP1 00000658: DUP4 00000659: KECCAK256 0000065a: SWAP4 0000065b: DUP4 0000065c: MSTORE 0000065d: SWAP3 0000065e: SWAP1 0000065f: MSTORE 00000660: KECCAK256 00000661: SLOAD 00000662: PUSH1 0x01 00000664: PUSH1 0xa0 00000666: PUSH1 0x02 00000668: EXP 00000669: SUB 0000066a: AND 0000066b: SWAP1 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH1 0x01 00000670: PUSH1 0xa0 00000672: PUSH1 0x02 00000674: EXP 00000675: SUB 00000676: AND 00000677: PUSH1 0x00 00000679: SWAP1 0000067a: DUP2 0000067b: MSTORE 0000067c: PUSH1 0x20 0000067e: DUP2 0000067f: DUP2 00000680: MSTORE 00000681: PUSH1 0x40 00000683: DUP1 00000684: DUP4 00000685: KECCAK256 00000686: PUSH1 0x02 00000688: SLOAD 00000689: DUP5 0000068a: MSTORE 0000068b: SWAP1 0000068c: SWAP2 0000068d: MSTORE 0000068e: SWAP1 0000068f: KECCAK256 00000690: SLOAD 00000691: SWAP1 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x03 00000696: SLOAD 00000697: PUSH1 0x01 00000699: PUSH1 0xa0 0000069b: PUSH1 0x02 0000069d: EXP 0000069e: SUB 0000069f: AND 000006a0: DUP2 000006a1: JUMP 000006a2: JUMPDEST 000006a3: CALLER 000006a4: PUSH1 0x00 000006a6: SWAP1 000006a7: DUP2 000006a8: MSTORE 000006a9: PUSH1 0x20 000006ab: DUP2 000006ac: DUP2 000006ad: MSTORE 000006ae: PUSH1 0x40 000006b0: DUP1 000006b1: DUP4 000006b2: KECCAK256 000006b3: DUP6 000006b4: DUP5 000006b5: MSTORE 000006b6: SWAP1 000006b7: SWAP2 000006b8: MSTORE 000006b9: DUP2 000006ba: KECCAK256 000006bb: DUP1 000006bc: SLOAD 000006bd: DUP3 000006be: SWAP2 000006bf: SWAP1 000006c0: DUP5 000006c1: SWAP1 000006c2: DUP2 000006c3: LT 000006c4: PUSH2 0x06c9 000006c7: JUMPI 000006c8: INVALID 000006c9: JUMPDEST 000006ca: PUSH1 0x00 000006cc: SWAP2 000006cd: DUP3 000006ce: MSTORE 000006cf: PUSH1 0x20 000006d1: DUP1 000006d2: DUP4 000006d3: KECCAK256 000006d4: SWAP1 000006d5: SWAP2 000006d6: ADD 000006d7: SLOAD 000006d8: CALLER 000006d9: DUP4 000006da: MSTORE 000006db: DUP3 000006dc: DUP3 000006dd: MSTORE 000006de: PUSH1 0x40 000006e0: DUP1 000006e1: DUP5 000006e2: KECCAK256 000006e3: SWAP8 000006e4: DUP5 000006e5: MSTORE 000006e6: SWAP7 000006e7: DUP3 000006e8: MSTORE 000006e9: DUP7 000006ea: DUP4 000006eb: KECCAK256 000006ec: DUP2 000006ed: DUP5 000006ee: MSTORE 000006ef: PUSH1 0x01 000006f1: ADD 000006f2: SWAP1 000006f3: SWAP2 000006f4: MSTORE 000006f5: SWAP5 000006f6: SWAP1 000006f7: KECCAK256 000006f8: SLOAD 000006f9: SWAP4 000006fa: SWAP5 000006fb: SWAP3 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: JUMP 00000700: JUMPDEST 00000701: CALLER 00000702: PUSH1 0x00 00000704: SWAP1 00000705: DUP2 00000706: MSTORE 00000707: PUSH1 0x20 00000709: DUP2 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x40 0000070e: DUP1 0000070f: DUP4 00000710: KECCAK256 00000711: SWAP4 00000712: DUP4 00000713: MSTORE 00000714: SWAP3 00000715: SWAP1 00000716: MSTORE 00000717: KECCAK256 00000718: DUP1 00000719: SLOAD 0000071a: PUSH1 0x02 0000071c: SWAP1 0000071d: SWAP2 0000071e: ADD 0000071f: SLOAD 00000720: SWAP1 00000721: SWAP2 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH8 0x0de0b6b3a7640000 0000072d: CALLVALUE 0000072e: LT 0000072f: ISZERO 00000730: PUSH2 0x079a 00000733: JUMPI 00000734: PUSH1 0x40 00000736: DUP1 00000737: MLOAD 00000738: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000759: DUP2 0000075a: MSTORE 0000075b: PUSH1 0x20 0000075d: PUSH1 0x04 0000075f: DUP3 00000760: ADD 00000761: MSTORE 00000762: PUSH1 0x0d 00000764: PUSH1 0x24 00000766: DUP3 00000767: ADD 00000768: MSTORE 00000769: PUSH32 0x616d6f756e74206572726f723300000000000000000000000000000000000000 0000078a: PUSH1 0x44 0000078c: DUP3 0000078d: ADD 0000078e: MSTORE 0000078f: SWAP1 00000790: MLOAD 00000791: SWAP1 00000792: DUP2 00000793: SWAP1 00000794: SUB 00000795: PUSH1 0x64 00000797: ADD 00000798: SWAP1 00000799: REVERT 0000079a: JUMPDEST 0000079b: PUSH2 0x07a2 0000079e: PUSH2 0x044c 000007a1: JUMP 000007a2: JUMPDEST 000007a3: PUSH8 0x0de0b6b3a7640000 000007ac: CALLVALUE 000007ad: GT 000007ae: ISZERO 000007af: PUSH2 0x07eb 000007b2: JUMPI 000007b3: PUSH1 0x40 000007b5: MLOAD 000007b6: CALLER 000007b7: SWAP1 000007b8: PUSH8 0x0de0b6b3a763ffff 000007c1: NOT 000007c2: CALLVALUE 000007c3: ADD 000007c4: DUP1 000007c5: ISZERO 000007c6: PUSH2 0x08fc 000007c9: MUL 000007ca: SWAP2 000007cb: PUSH1 0x00 000007cd: DUP2 000007ce: DUP2 000007cf: DUP2 000007d0: DUP6 000007d1: DUP9 000007d2: DUP9 000007d3: CALL 000007d4: SWAP4 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: POP 000007d9: ISZERO 000007da: DUP1 000007db: ISZERO 000007dc: PUSH2 0x07e9 000007df: JUMPI 000007e0: RETURNDATASIZE 000007e1: PUSH1 0x00 000007e3: DUP1 000007e4: RETURNDATACOPY 000007e5: RETURNDATASIZE 000007e6: PUSH1 0x00 000007e8: REVERT 000007e9: JUMPDEST 000007ea: POP 000007eb: JUMPDEST 000007ec: PUSH8 0x0de0b6b3a7640000 000007f5: CALLVALUE 000007f6: LT 000007f7: ISZERO 000007f8: PUSH2 0x0827 000007fb: JUMPI 000007fc: PUSH1 0x40 000007fe: MLOAD 000007ff: CALLER 00000800: SWAP1 00000801: CALLVALUE 00000802: DUP1 00000803: ISZERO 00000804: PUSH2 0x08fc 00000807: MUL 00000808: SWAP2 00000809: PUSH1 0x00 0000080b: DUP2 0000080c: DUP2 0000080d: DUP2 0000080e: DUP6 0000080f: DUP9 00000810: DUP9 00000811: CALL 00000812: SWAP4 00000813: POP 00000814: POP 00000815: POP 00000816: POP 00000817: ISZERO 00000818: DUP1 00000819: ISZERO 0000081a: PUSH2 0x0517 0000081d: JUMPI 0000081e: RETURNDATASIZE 0000081f: PUSH1 0x00 00000821: DUP1 00000822: RETURNDATACOPY 00000823: RETURNDATASIZE 00000824: PUSH1 0x00 00000826: REVERT 00000827: JUMPDEST 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH1 0x05 0000082c: SLOAD 0000082d: DUP2 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x01 00000832: PUSH1 0x20 00000834: MSTORE 00000835: PUSH1 0x00 00000837: SWAP1 00000838: DUP2 00000839: MSTORE 0000083a: PUSH1 0x40 0000083c: SWAP1 0000083d: KECCAK256 0000083e: PUSH1 0x02 00000840: DUP2 00000841: ADD 00000842: SLOAD 00000843: PUSH1 0x03 00000845: SWAP1 00000846: SWAP2 00000847: ADD 00000848: SLOAD 00000849: PUSH1 0xff 0000084b: AND 0000084c: DUP3 0000084d: JUMP 0000084e: JUMPDEST 0000084f: PUSH1 0x00 00000851: DUP1 00000852: JUMPDEST 00000853: PUSH1 0x04 00000855: SLOAD 00000856: DUP2 00000857: LT 00000858: ISZERO 00000859: PUSH2 0x08a0 0000085c: JUMPI 0000085d: PUSH1 0x02 0000085f: SLOAD 00000860: PUSH1 0x04 00000862: DUP1 00000863: SLOAD 00000864: DUP4 00000865: SWAP1 00000866: DUP2 00000867: LT 00000868: PUSH2 0x086d 0000086b: JUMPI 0000086c: INVALID 0000086d: JUMPDEST 0000086e: SWAP1 0000086f: PUSH1 0x00 00000871: MSTORE 00000872: PUSH1 0x20 00000874: PUSH1 0x00 00000876: KECCAK256 00000877: ADD 00000878: SLOAD 00000879: EQ 0000087a: ISZERO 0000087b: ISZERO 0000087c: PUSH2 0x0898 0000087f: JUMPI 00000880: DUP1 00000881: SWAP2 00000882: POP 00000883: DUP3 00000884: PUSH1 0x01 00000886: EQ 00000887: ISZERO 00000888: PUSH2 0x0890 0000088b: JUMPI 0000088c: PUSH2 0x08a0 0000088f: JUMP 00000890: JUMPDEST 00000891: PUSH1 0x00 00000893: NOT 00000894: SWAP1 00000895: SWAP3 00000896: ADD 00000897: SWAP2 00000898: JUMPDEST 00000899: PUSH1 0x01 0000089b: ADD 0000089c: PUSH2 0x0852 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH1 0x02 000008a3: SLOAD 000008a4: PUSH1 0x04 000008a6: DUP1 000008a7: SLOAD 000008a8: DUP5 000008a9: SWAP1 000008aa: DUP2 000008ab: LT 000008ac: PUSH2 0x08b1 000008af: JUMPI 000008b0: INVALID 000008b1: JUMPDEST 000008b2: PUSH1 0x00 000008b4: SWAP2 000008b5: DUP3 000008b6: MSTORE 000008b7: PUSH1 0x20 000008b9: DUP1 000008ba: DUP4 000008bb: KECCAK256 000008bc: SWAP1 000008bd: SWAP2 000008be: ADD 000008bf: SWAP3 000008c0: SWAP1 000008c1: SWAP3 000008c2: SSTORE 000008c3: PUSH1 0x02 000008c5: DUP1 000008c6: SLOAD 000008c7: DUP3 000008c8: MSTORE 000008c9: PUSH1 0x01 000008cb: DUP1 000008cc: DUP5 000008cd: MSTORE 000008ce: PUSH1 0x40 000008d0: DUP1 000008d1: DUP5 000008d2: KECCAK256 000008d3: DUP8 000008d4: DUP6 000008d5: MSTORE 000008d6: DUP6 000008d7: MSTORE 000008d8: DUP1 000008d9: DUP5 000008da: KECCAK256 000008db: DUP1 000008dc: SLOAD 000008dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f2: NOT 000008f3: AND 000008f4: CALLER 000008f5: SWAP1 000008f6: DUP2 000008f7: OR 000008f8: SWAP1 000008f9: SWAP2 000008fa: SSTORE 000008fb: SWAP3 000008fc: SLOAD 000008fd: DUP5 000008fe: MSTORE 000008ff: DUP2 00000900: DUP6 00000901: MSTORE 00000902: DUP1 00000903: DUP5 00000904: KECCAK256 00000905: DUP3 00000906: ADD 00000907: DUP1 00000908: SLOAD 00000909: SWAP3 0000090a: DUP4 0000090b: ADD 0000090c: DUP2 0000090d: SSTORE 0000090e: DUP5 0000090f: MSTORE 00000910: SWAP3 00000911: DUP5 00000912: SWAP1 00000913: KECCAK256 00000914: ADD 00000915: DUP6 00000916: SWAP1 00000917: SSTORE 00000918: DUP2 00000919: MLOAD 0000091a: SWAP1 0000091b: DUP2 0000091c: MSTORE 0000091d: SWAP2 0000091e: DUP3 0000091f: ADD 00000920: DUP5 00000921: SWAP1 00000922: MSTORE 00000923: DUP1 00000924: MLOAD 00000925: PUSH32 0x5e5e995ce3133561afceaa51a9a154d5db228cd7525d34df5185582c18d3df09 00000946: SWAP3 00000947: DUP2 00000948: SWAP1 00000949: SUB 0000094a: SWAP1 0000094b: SWAP2 0000094c: ADD 0000094d: SWAP1 0000094e: LOG1 0000094f: PUSH1 0x01 00000951: PUSH1 0x02 00000953: SLOAD 00000954: GT 00000955: DUP1 00000956: ISZERO 00000957: PUSH2 0x0964 0000095a: JUMPI 0000095b: POP 0000095c: PUSH1 0x06 0000095e: SLOAD 0000095f: PUSH1 0x0a 00000961: DUP3 00000962: MOD 00000963: EQ 00000964: JUMPDEST 00000965: ISZERO 00000966: PUSH2 0x097b 00000969: JUMPI 0000096a: PUSH2 0x097b 0000096d: CALLER 0000096e: PUSH8 0x1bc16d674ec80000 00000977: PUSH2 0x0bd7 0000097a: JUMP 0000097b: JUMPDEST 0000097c: POP 0000097d: CALLER 0000097e: PUSH1 0x00 00000980: SWAP1 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: DUP2 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x40 0000098a: DUP1 0000098b: DUP4 0000098c: KECCAK256 0000098d: PUSH1 0x02 0000098f: DUP1 00000990: SLOAD 00000991: DUP6 00000992: MSTORE 00000993: SWAP1 00000994: DUP4 00000995: MSTORE 00000996: DUP2 00000997: DUP5 00000998: KECCAK256 00000999: DUP1 0000099a: SLOAD 0000099b: PUSH1 0x01 0000099d: DUP1 0000099e: DUP3 0000099f: ADD 000009a0: DUP4 000009a1: SSTORE 000009a2: SWAP2 000009a3: DUP7 000009a4: MSTORE 000009a5: DUP5 000009a6: DUP7 000009a7: KECCAK256 000009a8: ADD 000009a9: DUP7 000009aa: SWAP1 000009ab: SSTORE 000009ac: SWAP1 000009ad: SLOAD 000009ae: DUP5 000009af: MSTORE 000009b0: DUP2 000009b1: DUP5 000009b2: KECCAK256 000009b3: SWAP5 000009b4: DUP5 000009b5: MSTORE 000009b6: SWAP4 000009b7: SWAP1 000009b8: SWAP4 000009b9: ADD 000009ba: SWAP1 000009bb: MSTORE 000009bc: KECCAK256 000009bd: TIMESTAMP 000009be: SWAP1 000009bf: SSTORE 000009c0: POP 000009c1: PUSH1 0x05 000009c3: DUP1 000009c4: SLOAD 000009c5: PUSH1 0x00 000009c7: NOT 000009c8: ADD 000009c9: SWAP1 000009ca: SSTORE 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH1 0x00 000009cf: DUP1 000009d0: PUSH1 0x00 000009d2: DUP1 000009d3: PUSH1 0x00 000009d5: DUP1 000009d6: PUSH2 0x09dd 000009d9: PUSH2 0x0c75 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH1 0x02 000009e0: DUP1 000009e1: SLOAD 000009e2: PUSH1 0x00 000009e4: SWAP1 000009e5: DUP2 000009e6: MSTORE 000009e7: PUSH1 0x01 000009e9: PUSH1 0x20 000009eb: SWAP1 000009ec: DUP2 000009ed: MSTORE 000009ee: PUSH1 0x40 000009f0: SWAP2 000009f1: DUP3 000009f2: SWAP1 000009f3: KECCAK256 000009f4: DUP4 000009f5: ADD 000009f6: DUP5 000009f7: SWAP1 000009f8: SSTORE 000009f9: SWAP2 000009fa: SLOAD 000009fb: DUP2 000009fc: MLOAD 000009fd: SWAP1 000009fe: DUP2 000009ff: MSTORE 00000a00: SWAP2 00000a01: DUP3 00000a02: ADD 00000a03: DUP4 00000a04: SWAP1 00000a05: MSTORE 00000a06: DUP1 00000a07: MLOAD 00000a08: SWAP3 00000a09: SWAP9 00000a0a: POP 00000a0b: PUSH32 0x6a70542a8605e1f3176dffb1ed2a1c0f5fdf7482f81f8265315888a25897432c 00000a2c: SWAP3 00000a2d: SWAP2 00000a2e: DUP3 00000a2f: SWAP1 00000a30: SUB 00000a31: ADD 00000a32: SWAP1 00000a33: LOG1 00000a34: PUSH1 0x0a 00000a36: DUP7 00000a37: MOD 00000a38: PUSH1 0x06 00000a3a: SSTORE 00000a3b: PUSH1 0x02 00000a3d: SLOAD 00000a3e: PUSH1 0x00 00000a40: SWAP1 00000a41: DUP2 00000a42: MSTORE 00000a43: PUSH1 0x01 00000a45: PUSH1 0x20 00000a47: DUP2 00000a48: SWAP1 00000a49: MSTORE 00000a4a: PUSH1 0x40 00000a4c: DUP3 00000a4d: KECCAK256 00000a4e: PUSH1 0x03 00000a50: ADD 00000a51: DUP1 00000a52: SLOAD 00000a53: PUSH1 0xff 00000a55: NOT 00000a56: AND 00000a57: SWAP1 00000a58: SWAP2 00000a59: OR 00000a5a: SWAP1 00000a5b: SSTORE 00000a5c: PUSH1 0x64 00000a5e: DUP8 00000a5f: MOD 00000a60: SWAP6 00000a61: POP 00000a62: SWAP4 00000a63: POP 00000a64: JUMPDEST 00000a65: PUSH1 0x0a 00000a67: DUP5 00000a68: LT 00000a69: ISZERO 00000a6a: PUSH2 0x0b60 00000a6d: JUMPI 00000a6e: PUSH1 0x00 00000a70: SWAP3 00000a71: POP 00000a72: JUMPDEST 00000a73: PUSH1 0x0a 00000a75: DUP4 00000a76: LT 00000a77: ISZERO 00000a78: PUSH2 0x0b55 00000a7b: JUMPI 00000a7c: POP 00000a7d: POP 00000a7e: PUSH1 0x06 00000a80: SLOAD 00000a81: PUSH1 0x0a 00000a83: DUP3 00000a84: MUL 00000a85: ADD 00000a86: PUSH1 0x64 00000a88: DUP4 00000a89: MUL 00000a8a: DUP2 00000a8b: ADD 00000a8c: DUP6 00000a8d: DUP2 00000a8e: EQ 00000a8f: ISZERO 00000a90: PUSH2 0x0ad1 00000a93: JUMPI 00000a94: PUSH1 0x02 00000a96: SLOAD 00000a97: PUSH1 0x00 00000a99: SWAP1 00000a9a: DUP2 00000a9b: MSTORE 00000a9c: PUSH1 0x01 00000a9e: PUSH1 0x20 00000aa0: SWAP1 00000aa1: DUP2 00000aa2: MSTORE 00000aa3: PUSH1 0x40 00000aa5: DUP1 00000aa6: DUP4 00000aa7: KECCAK256 00000aa8: DUP5 00000aa9: DUP5 00000aaa: MSTORE 00000aab: SWAP1 00000aac: SWAP2 00000aad: MSTORE 00000aae: SWAP1 00000aaf: KECCAK256 00000ab0: SLOAD 00000ab1: PUSH2 0x0acc 00000ab4: SWAP1 00000ab5: PUSH1 0x01 00000ab7: PUSH1 0xa0 00000ab9: PUSH1 0x02 00000abb: EXP 00000abc: SUB 00000abd: AND 00000abe: PUSH9 0x02b5e3af16b1880000 00000ac8: PUSH2 0x0bd7 00000acb: JUMP 00000acc: JUMPDEST 00000acd: PUSH2 0x0b4a 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: DUP5 00000ad3: DUP3 00000ad4: EQ 00000ad5: ISZERO 00000ad6: PUSH2 0x0b12 00000ad9: JUMPI 00000ada: PUSH1 0x02 00000adc: SLOAD 00000add: PUSH1 0x00 00000adf: SWAP1 00000ae0: DUP2 00000ae1: MSTORE 00000ae2: PUSH1 0x01 00000ae4: PUSH1 0x20 00000ae6: SWAP1 00000ae7: DUP2 00000ae8: MSTORE 00000ae9: PUSH1 0x40 00000aeb: DUP1 00000aec: DUP4 00000aed: KECCAK256 00000aee: DUP5 00000aef: DUP5 00000af0: MSTORE 00000af1: SWAP1 00000af2: SWAP2 00000af3: MSTORE 00000af4: SWAP1 00000af5: KECCAK256 00000af6: SLOAD 00000af7: PUSH2 0x0acc 00000afa: SWAP1 00000afb: PUSH1 0x01 00000afd: PUSH1 0xa0 00000aff: PUSH1 0x02 00000b01: EXP 00000b02: SUB 00000b03: AND 00000b04: PUSH9 0x015af1d78b58c40000 00000b0e: PUSH2 0x0bd7 00000b11: JUMP 00000b12: JUMPDEST 00000b13: PUSH1 0x02 00000b15: SLOAD 00000b16: PUSH1 0x00 00000b18: SWAP1 00000b19: DUP2 00000b1a: MSTORE 00000b1b: PUSH1 0x01 00000b1d: PUSH1 0x20 00000b1f: SWAP1 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x40 00000b24: DUP1 00000b25: DUP4 00000b26: KECCAK256 00000b27: DUP5 00000b28: DUP5 00000b29: MSTORE 00000b2a: SWAP1 00000b2b: SWAP2 00000b2c: MSTORE 00000b2d: SWAP1 00000b2e: KECCAK256 00000b2f: SLOAD 00000b30: PUSH2 0x0b4a 00000b33: SWAP1 00000b34: PUSH1 0x01 00000b36: PUSH1 0xa0 00000b38: PUSH1 0x02 00000b3a: EXP 00000b3b: SUB 00000b3c: AND 00000b3d: PUSH8 0x4563918244f40000 00000b46: PUSH2 0x0bd7 00000b49: JUMP 00000b4a: JUMPDEST 00000b4b: PUSH1 0x01 00000b4d: SWAP1 00000b4e: SWAP3 00000b4f: ADD 00000b50: SWAP2 00000b51: PUSH2 0x0a72 00000b54: JUMP 00000b55: JUMPDEST 00000b56: PUSH1 0x01 00000b58: SWAP1 00000b59: SWAP4 00000b5a: ADD 00000b5b: SWAP3 00000b5c: PUSH2 0x0a64 00000b5f: JUMP 00000b60: JUMPDEST 00000b61: PUSH1 0x03 00000b63: SLOAD 00000b64: PUSH1 0x40 00000b66: MLOAD 00000b67: PUSH1 0x01 00000b69: PUSH1 0xa0 00000b6b: PUSH1 0x02 00000b6d: EXP 00000b6e: SUB 00000b6f: SWAP1 00000b70: SWAP2 00000b71: AND 00000b72: SWAP1 00000b73: PUSH1 0x00 00000b75: SWAP1 00000b76: PUSH9 0x0410d586a20a4c0000 00000b80: SWAP1 00000b81: DUP3 00000b82: DUP2 00000b83: DUP2 00000b84: DUP2 00000b85: DUP6 00000b86: DUP9 00000b87: DUP4 00000b88: CALL 00000b89: SWAP4 00000b8a: POP 00000b8b: POP 00000b8c: POP 00000b8d: POP 00000b8e: ISZERO 00000b8f: DUP1 00000b90: ISZERO 00000b91: PUSH2 0x0b9e 00000b94: JUMPI 00000b95: RETURNDATASIZE 00000b96: PUSH1 0x00 00000b98: DUP1 00000b99: RETURNDATACOPY 00000b9a: RETURNDATASIZE 00000b9b: PUSH1 0x00 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: POP 00000ba0: POP 00000ba1: POP 00000ba2: POP 00000ba3: POP 00000ba4: POP 00000ba5: POP 00000ba6: JUMP 00000ba7: JUMPDEST 00000ba8: PUSH1 0x02 00000baa: DUP1 00000bab: SLOAD 00000bac: PUSH1 0x01 00000bae: SWAP1 00000baf: DUP2 00000bb0: ADD 00000bb1: SWAP2 00000bb2: DUP3 00000bb3: SWAP1 00000bb4: SSTORE 00000bb5: PUSH2 0x03e8 00000bb8: PUSH1 0x05 00000bba: SSTORE 00000bbb: PUSH1 0x00 00000bbd: SWAP2 00000bbe: DUP3 00000bbf: MSTORE 00000bc0: PUSH1 0x20 00000bc2: DUP2 00000bc3: SWAP1 00000bc4: MSTORE 00000bc5: PUSH1 0x40 00000bc7: SWAP1 00000bc8: SWAP2 00000bc9: KECCAK256 00000bca: PUSH1 0x03 00000bcc: ADD 00000bcd: DUP1 00000bce: SLOAD 00000bcf: PUSH1 0xff 00000bd1: NOT 00000bd2: AND 00000bd3: SWAP1 00000bd4: SSTORE 00000bd5: SWAP1 00000bd6: JUMP 00000bd7: JUMPDEST 00000bd8: PUSH1 0x01 00000bda: PUSH1 0xa0 00000bdc: PUSH1 0x02 00000bde: EXP 00000bdf: SUB 00000be0: DUP3 00000be1: AND 00000be2: PUSH1 0x00 00000be4: DUP2 00000be5: DUP2 00000be6: MSTORE 00000be7: PUSH1 0x20 00000be9: DUP2 00000bea: DUP2 00000beb: MSTORE 00000bec: PUSH1 0x40 00000bee: DUP1 00000bef: DUP4 00000bf0: KECCAK256 00000bf1: PUSH1 0x02 00000bf3: DUP1 00000bf4: SLOAD 00000bf5: DUP6 00000bf6: MSTORE 00000bf7: SWAP3 00000bf8: MSTORE 00000bf9: DUP1 00000bfa: DUP4 00000bfb: KECCAK256 00000bfc: SWAP1 00000bfd: SWAP2 00000bfe: ADD 00000bff: DUP1 00000c00: SLOAD 00000c01: DUP6 00000c02: ADD 00000c03: SWAP1 00000c04: SSTORE 00000c05: MLOAD 00000c06: PUSH2 0x08fc 00000c09: DUP5 00000c0a: ISZERO 00000c0b: MUL 00000c0c: SWAP2 00000c0d: DUP5 00000c0e: SWAP2 00000c0f: SWAP1 00000c10: DUP2 00000c11: DUP2 00000c12: DUP2 00000c13: DUP6 00000c14: DUP9 00000c15: DUP9 00000c16: CALL 00000c17: SWAP4 00000c18: POP 00000c19: POP 00000c1a: POP 00000c1b: POP 00000c1c: ISZERO 00000c1d: DUP1 00000c1e: ISZERO 00000c1f: PUSH2 0x0c2c 00000c22: JUMPI 00000c23: RETURNDATASIZE 00000c24: PUSH1 0x00 00000c26: DUP1 00000c27: RETURNDATACOPY 00000c28: RETURNDATASIZE 00000c29: PUSH1 0x00 00000c2b: REVERT 00000c2c: JUMPDEST 00000c2d: POP 00000c2e: PUSH1 0x40 00000c30: DUP1 00000c31: MLOAD 00000c32: PUSH1 0x01 00000c34: PUSH1 0xa0 00000c36: PUSH1 0x02 00000c38: EXP 00000c39: SUB 00000c3a: DUP5 00000c3b: AND 00000c3c: DUP2 00000c3d: MSTORE 00000c3e: PUSH1 0x20 00000c40: DUP2 00000c41: ADD 00000c42: DUP4 00000c43: SWAP1 00000c44: MSTORE 00000c45: DUP2 00000c46: MLOAD 00000c47: PUSH32 0x6db3fb4badfac44eefb83cfc7425ed85b18d60aa5695cfbfea6ecf037c2909b5 00000c68: SWAP3 00000c69: SWAP2 00000c6a: DUP2 00000c6b: SWAP1 00000c6c: SUB 00000c6d: SWAP1 00000c6e: SWAP2 00000c6f: ADD 00000c70: SWAP1 00000c71: LOG1 00000c72: POP 00000c73: POP 00000c74: JUMP 00000c75: JUMPDEST 00000c76: PUSH1 0x00 00000c78: DUP1 00000c79: PUSH2 0x03e8 00000c7c: GASLIMIT 00000c7d: GAS 00000c7e: PUSH1 0x40 00000c80: DUP1 00000c81: MLOAD 00000c82: PUSH1 0x20 00000c84: DUP1 00000c85: DUP3 00000c86: ADD 00000c87: SWAP5 00000c88: SWAP1 00000c89: SWAP5 00000c8a: MSTORE 00000c8b: DUP1 00000c8c: DUP3 00000c8d: ADD 00000c8e: SWAP3 00000c8f: SWAP1 00000c90: SWAP3 00000c91: MSTORE 00000c92: TIMESTAMP 00000c93: PUSH1 0x60 00000c95: DUP4 00000c96: ADD 00000c97: MSTORE 00000c98: PUSH32 0x03e8000000000000000000000000000000000000000000000000000000000000 00000cb9: PUSH1 0x80 00000cbb: DUP4 00000cbc: ADD 00000cbd: MSTORE 00000cbe: DUP1 00000cbf: MLOAD 00000cc0: PUSH1 0x62 00000cc2: DUP2 00000cc3: DUP5 00000cc4: SUB 00000cc5: ADD 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x82 00000cca: SWAP1 00000ccb: SWAP3 00000ccc: ADD 00000ccd: SWAP1 00000cce: DUP2 00000ccf: SWAP1 00000cd0: MSTORE 00000cd1: DUP2 00000cd2: MLOAD 00000cd3: SWAP2 00000cd4: SWAP3 00000cd5: SWAP1 00000cd6: SWAP2 00000cd7: DUP3 00000cd8: SWAP2 00000cd9: DUP5 00000cda: ADD 00000cdb: SWAP1 00000cdc: DUP1 00000cdd: DUP4 00000cde: DUP4 00000cdf: JUMPDEST 00000ce0: PUSH1 0x20 00000ce2: DUP4 00000ce3: LT 00000ce4: PUSH2 0x0cfe 00000ce7: JUMPI 00000ce8: DUP1 00000ce9: MLOAD 00000cea: DUP3 00000ceb: MSTORE 00000cec: PUSH1 0x1f 00000cee: NOT 00000cef: SWAP1 00000cf0: SWAP3 00000cf1: ADD 00000cf2: SWAP2 00000cf3: PUSH1 0x20 00000cf5: SWAP2 00000cf6: DUP3 00000cf7: ADD 00000cf8: SWAP2 00000cf9: ADD 00000cfa: PUSH2 0x0cdf 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: MLOAD 00000d00: DUP2 00000d01: MLOAD 00000d02: PUSH1 0x20 00000d04: SWAP4 00000d05: SWAP1 00000d06: SWAP4 00000d07: SUB 00000d08: PUSH2 0x0100 00000d0b: EXP 00000d0c: PUSH1 0x00 00000d0e: NOT 00000d0f: ADD 00000d10: DUP1 00000d11: NOT 00000d12: SWAP1 00000d13: SWAP2 00000d14: AND 00000d15: SWAP3 00000d16: AND 00000d17: SWAP2 00000d18: SWAP1 00000d19: SWAP2 00000d1a: OR 00000d1b: SWAP1 00000d1c: MSTORE 00000d1d: PUSH1 0x40 00000d1f: MLOAD 00000d20: SWAP3 00000d21: ADD 00000d22: DUP3 00000d23: SWAP1 00000d24: SUB 00000d25: SWAP1 00000d26: SWAP2 00000d27: KECCAK256 00000d28: SWAP3 00000d29: POP 00000d2a: POP 00000d2b: POP 00000d2c: DUP2 00000d2d: ISZERO 00000d2e: ISZERO 00000d2f: PUSH2 0x0d34 00000d32: JUMPI 00000d33: INVALID 00000d34: JUMPDEST 00000d35: MOD 00000d36: SWAP3 00000d37: SWAP2 00000d38: POP 00000d39: POP 00000d3a: JUMP 00000d3b: STOP 00000d3c: LOG1 00000d3d: PUSH6 0x627a7a723058 00000d44: KECCAK256 00000d45: SWAP2 00000d46: UNKNOWN(0xA9) 00000d47: DUP16 00000d48: UNKNOWN(0xE3) 00000d49: UNKNOWN(0xBA) 00000d4a: GASPRICE 00000d4b: UNKNOWN(0xB8) 00000d4c: UNKNOWN(0xD9) 00000d4d: DUP7 00000d4e: POP 00000d4f: UNKNOWN(0xB1) 00000d50: SWAP1 00000d51: GT 00000d52: UNKNOWN(0xCA) 00000d53: PUSH24
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc438f38fea75ee220a8a49ac7c915419b82c0039aee2056ab6b14a044e39db29
call_targets:
0x7459be0dbd6f332685c91b3714354d5568a92c2f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc438f38fea75ee220a8a49ac7c915419b82c0039aee2056ab6b14a044e39db29",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7459be0dbd6f332685c91b3714354d5568a92c2f"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d02c82f",
"selector": "0x0d02c82f",
"calldata_variants": [
"0x0d02c82f",
"0x0d02c82f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1817cca4",
"selector": "0x1817cca4",
"calldata_variants": [
"0x1817cca4",
"0x1817cca40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c9adfaf",
"selector": "0x2c9adfaf",
"calldata_variants": [
"0x2c9adfaf",
"0x2c9adfaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4e8a14",
"selector": "0x3f4e8a14",
"calldata_variants": [
"0x3f4e8a14",
"0x3f4e8a140000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 416,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 478,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc438f38fea75ee220a8a49ac7c915419b82c0039aee2056ab6b14a044e39db29
call_targets:
0x7459be0dbd6f332685c91b3714354d5568a92c2f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc438f38fea75ee220a8a49ac7c915419b82c0039aee2056ab6b14a044e39db29",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7459be0dbd6f332685c91b3714354d5568a92c2f"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d02c82f",
"selector": "0x0d02c82f",
"calldata_variants": [
"0x0d02c82f",
"0x0d02c82f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1817cca4",
"selector": "0x1817cca4",
"calldata_variants": [
"0x1817cca4",
"0x1817cca40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c9adfaf",
"selector": "0x2c9adfaf",
"calldata_variants": [
"0x2c9adfaf",
"0x2c9adfaf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4e8a14",
"selector": "0x3f4e8a14",
"calldata_variants": [
"0x3f4e8a14",
"0x3f4e8a140000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 416,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 478,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|