019b477e-acd2-72da-aadc-0bab32b44c84
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 |
|---|---|---|---|---|
| 21297 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21298 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101439 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 101440 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 101441 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 101442 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00e6 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x01cb3b20 0000003c: EQ 0000003d: PUSH2 0x0396 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x147d959a 00000047: EQ 00000048: PUSH2 0x03ab 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x29dcb0cf 00000052: EQ 00000053: PUSH2 0x03ce 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x38af3eed 0000005d: EQ 0000005e: PUSH2 0x03f7 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x6e66f6e9 00000068: EQ 00000069: PUSH2 0x044c 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x70a08231 00000073: EQ 00000074: PUSH2 0x04a1 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x75b4d78c 0000007e: EQ 0000007f: PUSH2 0x04ee 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x7a3a0e84 00000089: EQ 0000008a: PUSH2 0x0517 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x7b3e5e7b 00000094: EQ 00000095: PUSH2 0x0540 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x8da5cb5b 0000009f: EQ 000000a0: PUSH2 0x0569 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xa035b1fe 000000aa: EQ 000000ab: PUSH2 0x05be 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xb14f6439 000000b5: EQ 000000b6: PUSH2 0x05e7 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xc1ff808d 000000c0: EQ 000000c1: PUSH2 0x05fc 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xd63a6ccd 000000cb: EQ 000000cc: PUSH2 0x061f 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xf2fde38b 000000d6: EQ 000000d7: PUSH2 0x0648 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xfd6b7ef8 000000e1: EQ 000000e2: PUSH2 0x0681 000000e5: JUMPI 000000e6: JUMPDEST 000000e7: PUSH1 0x00 000000e9: DUP1 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000102: AND 00000103: PUSH1 0x01 00000105: PUSH1 0x00 00000107: SWAP1 00000108: SLOAD 00000109: SWAP1 0000010a: PUSH2 0x0100 0000010d: EXP 0000010e: SWAP1 0000010f: DIV 00000110: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000125: AND 00000126: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013b: AND 0000013c: EQ 0000013d: ISZERO 0000013e: ISZERO 0000013f: ISZERO 00000140: PUSH2 0x0148 00000143: JUMPI 00000144: PUSH1 0x00 00000146: DUP1 00000147: REVERT 00000148: JUMPDEST 00000149: PUSH1 0x0a 0000014b: PUSH1 0x01 0000014d: SWAP1 0000014e: SLOAD 0000014f: SWAP1 00000150: PUSH2 0x0100 00000153: EXP 00000154: SWAP1 00000155: DIV 00000156: PUSH1 0xff 00000158: AND 00000159: ISZERO 0000015a: ISZERO 0000015b: ISZERO 0000015c: PUSH2 0x0164 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: PUSH1 0x00 00000167: CALLVALUE 00000168: EQ 00000169: ISZERO 0000016a: ISZERO 0000016b: ISZERO 0000016c: PUSH2 0x0174 0000016f: JUMPI 00000170: PUSH1 0x00 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: CALLVALUE 00000176: SWAP3 00000177: POP 00000178: DUP3 00000179: PUSH1 0x09 0000017b: PUSH1 0x00 0000017d: CALLER 0000017e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000193: AND 00000194: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a9: AND 000001aa: DUP2 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: ADD 000001af: SWAP1 000001b0: DUP2 000001b1: MSTORE 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: PUSH1 0x00 000001b7: KECCAK256 000001b8: PUSH1 0x00 000001ba: DUP3 000001bb: DUP3 000001bc: SLOAD 000001bd: ADD 000001be: SWAP3 000001bf: POP 000001c0: POP 000001c1: DUP2 000001c2: SWAP1 000001c3: SSTORE 000001c4: POP 000001c5: DUP3 000001c6: PUSH1 0x03 000001c8: PUSH1 0x00 000001ca: DUP3 000001cb: DUP3 000001cc: SLOAD 000001cd: ADD 000001ce: SWAP3 000001cf: POP 000001d0: POP 000001d1: DUP2 000001d2: SWAP1 000001d3: SSTORE 000001d4: POP 000001d5: PUSH2 0x0203 000001d8: PUSH8 0x0de0b6b3a7640000 000001e1: PUSH2 0x01f5 000001e4: PUSH1 0x05 000001e6: SLOAD 000001e7: DUP7 000001e8: PUSH2 0x0696 000001eb: SWAP1 000001ec: SWAP2 000001ed: SWAP1 000001ee: PUSH4 0xffffffff 000001f3: AND 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH2 0x06b1 000001f9: SWAP1 000001fa: SWAP2 000001fb: SWAP1 000001fc: PUSH4 0xffffffff 00000201: AND 00000202: JUMP 00000203: JUMPDEST 00000204: SWAP2 00000205: POP 00000206: PUSH2 0x023f 00000209: PUSH2 0x0230 0000020c: PUSH1 0x64 0000020e: PUSH2 0x0222 00000211: PUSH1 0x07 00000213: SLOAD 00000214: DUP7 00000215: PUSH2 0x06b1 00000218: SWAP1 00000219: SWAP2 0000021a: SWAP1 0000021b: PUSH4 0xffffffff 00000220: AND 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH2 0x0696 00000226: SWAP1 00000227: SWAP2 00000228: SWAP1 00000229: PUSH4 0xffffffff 0000022e: AND 0000022f: JUMP 00000230: JUMPDEST 00000231: DUP4 00000232: PUSH2 0x06ec 00000235: SWAP1 00000236: SWAP2 00000237: SWAP1 00000238: PUSH4 0xffffffff 0000023d: AND 0000023e: JUMP 0000023f: JUMPDEST 00000240: SWAP1 00000241: POP 00000242: PUSH1 0x08 00000244: PUSH1 0x00 00000246: SWAP1 00000247: SLOAD 00000248: SWAP1 00000249: PUSH2 0x0100 0000024c: EXP 0000024d: SWAP1 0000024e: DIV 0000024f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000264: AND 00000265: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027a: AND 0000027b: PUSH4 0xa9059cbb 00000280: CALLER 00000281: DUP4 00000282: PUSH1 0x40 00000284: MLOAD 00000285: DUP4 00000286: PUSH4 0xffffffff 0000028b: AND 0000028c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000002aa: MUL 000002ab: DUP2 000002ac: MSTORE 000002ad: PUSH1 0x04 000002af: ADD 000002b0: DUP1 000002b1: DUP4 000002b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c7: AND 000002c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002dd: AND 000002de: DUP2 000002df: MSTORE 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: DUP3 000002e4: DUP2 000002e5: MSTORE 000002e6: PUSH1 0x20 000002e8: ADD 000002e9: SWAP3 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: PUSH1 0x00 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: DUP1 000002f3: DUP4 000002f4: SUB 000002f5: DUP2 000002f6: PUSH1 0x00 000002f8: DUP8 000002f9: DUP1 000002fa: EXTCODESIZE 000002fb: ISZERO 000002fc: ISZERO 000002fd: PUSH2 0x0305 00000300: JUMPI 00000301: PUSH1 0x00 00000303: DUP1 00000304: REVERT 00000305: JUMPDEST 00000306: PUSH2 0x02c6 00000309: GAS 0000030a: SUB 0000030b: CALL 0000030c: ISZERO 0000030d: ISZERO 0000030e: PUSH2 0x0316 00000311: JUMPI 00000312: PUSH1 0x00 00000314: DUP1 00000315: REVERT 00000316: JUMPDEST 00000317: POP 00000318: POP 00000319: POP 0000031a: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 0000033b: CALLER 0000033c: DUP5 0000033d: PUSH1 0x01 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: DUP1 00000343: DUP5 00000344: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000359: AND 0000035a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036f: AND 00000370: DUP2 00000371: MSTORE 00000372: PUSH1 0x20 00000374: ADD 00000375: DUP4 00000376: DUP2 00000377: MSTORE 00000378: PUSH1 0x20 0000037a: ADD 0000037b: DUP3 0000037c: ISZERO 0000037d: ISZERO 0000037e: ISZERO 0000037f: ISZERO 00000380: DUP2 00000381: MSTORE 00000382: PUSH1 0x20 00000384: ADD 00000385: SWAP4 00000386: POP 00000387: POP 00000388: POP 00000389: POP 0000038a: PUSH1 0x40 0000038c: MLOAD 0000038d: DUP1 0000038e: SWAP2 0000038f: SUB 00000390: SWAP1 00000391: LOG1 00000392: POP 00000393: POP 00000394: POP 00000395: STOP 00000396: JUMPDEST 00000397: CALLVALUE 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: PUSH2 0x03a9 000003a5: PUSH2 0x070a 000003a8: JUMP 000003a9: JUMPDEST 000003aa: STOP 000003ab: JUMPDEST 000003ac: CALLVALUE 000003ad: ISZERO 000003ae: PUSH2 0x03b6 000003b1: JUMPI 000003b2: PUSH1 0x00 000003b4: DUP1 000003b5: REVERT 000003b6: JUMPDEST 000003b7: PUSH2 0x03cc 000003ba: PUSH1 0x04 000003bc: DUP1 000003bd: DUP1 000003be: CALLDATALOAD 000003bf: SWAP1 000003c0: PUSH1 0x20 000003c2: ADD 000003c3: SWAP1 000003c4: SWAP2 000003c5: SWAP1 000003c6: POP 000003c7: POP 000003c8: PUSH2 0x07eb 000003cb: JUMP 000003cc: JUMPDEST 000003cd: STOP 000003ce: JUMPDEST 000003cf: CALLVALUE 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: PUSH2 0x03e1 000003dd: PUSH2 0x0850 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x40 000003e4: MLOAD 000003e5: DUP1 000003e6: DUP3 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: SWAP2 000003ed: POP 000003ee: POP 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: DUP1 000003f3: SWAP2 000003f4: SUB 000003f5: SWAP1 000003f6: RETURN 000003f7: JUMPDEST 000003f8: CALLVALUE 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: PUSH2 0x040a 00000406: PUSH2 0x0856 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x40 0000040d: MLOAD 0000040e: DUP1 0000040f: DUP3 00000410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000425: AND 00000426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043b: AND 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x20 00000440: ADD 00000441: SWAP2 00000442: POP 00000443: POP 00000444: PUSH1 0x40 00000446: MLOAD 00000447: DUP1 00000448: SWAP2 00000449: SUB 0000044a: SWAP1 0000044b: RETURN 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: ISZERO 0000044f: PUSH2 0x0457 00000452: JUMPI 00000453: PUSH1 0x00 00000455: DUP1 00000456: REVERT 00000457: JUMPDEST 00000458: PUSH2 0x045f 0000045b: PUSH2 0x087c 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH1 0x40 00000462: MLOAD 00000463: DUP1 00000464: DUP3 00000465: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047a: AND 0000047b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000490: AND 00000491: DUP2 00000492: MSTORE 00000493: PUSH1 0x20 00000495: ADD 00000496: SWAP2 00000497: POP 00000498: POP 00000499: PUSH1 0x40 0000049b: MLOAD 0000049c: DUP1 0000049d: SWAP2 0000049e: SUB 0000049f: SWAP1 000004a0: RETURN 000004a1: JUMPDEST 000004a2: CALLVALUE 000004a3: ISZERO 000004a4: PUSH2 0x04ac 000004a7: JUMPI 000004a8: PUSH1 0x00 000004aa: DUP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: PUSH2 0x04d8 000004b0: PUSH1 0x04 000004b2: DUP1 000004b3: DUP1 000004b4: CALLDATALOAD 000004b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ca: AND 000004cb: SWAP1 000004cc: PUSH1 0x20 000004ce: ADD 000004cf: SWAP1 000004d0: SWAP2 000004d1: SWAP1 000004d2: POP 000004d3: POP 000004d4: PUSH2 0x08a2 000004d7: JUMP 000004d8: JUMPDEST 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: DUP1 000004dd: DUP3 000004de: DUP2 000004df: MSTORE 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: SWAP2 000004e4: POP 000004e5: POP 000004e6: PUSH1 0x40 000004e8: MLOAD 000004e9: DUP1 000004ea: SWAP2 000004eb: SUB 000004ec: SWAP1 000004ed: RETURN 000004ee: JUMPDEST 000004ef: CALLVALUE 000004f0: ISZERO 000004f1: PUSH2 0x04f9 000004f4: JUMPI 000004f5: PUSH1 0x00 000004f7: DUP1 000004f8: REVERT 000004f9: JUMPDEST 000004fa: PUSH2 0x0501 000004fd: PUSH2 0x08ba 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH1 0x40 00000504: MLOAD 00000505: DUP1 00000506: DUP3 00000507: DUP2 00000508: MSTORE 00000509: PUSH1 0x20 0000050b: ADD 0000050c: SWAP2 0000050d: POP 0000050e: POP 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: DUP1 00000513: SWAP2 00000514: SUB 00000515: SWAP1 00000516: RETURN 00000517: JUMPDEST 00000518: CALLVALUE 00000519: ISZERO 0000051a: PUSH2 0x0522 0000051d: JUMPI 0000051e: PUSH1 0x00 00000520: DUP1 00000521: REVERT 00000522: JUMPDEST 00000523: PUSH2 0x052a 00000526: PUSH2 0x08c0 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH1 0x40 0000052d: MLOAD 0000052e: DUP1 0000052f: DUP3 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x20 00000534: ADD 00000535: SWAP2 00000536: POP 00000537: POP 00000538: PUSH1 0x40 0000053a: MLOAD 0000053b: DUP1 0000053c: SWAP2 0000053d: SUB 0000053e: SWAP1 0000053f: RETURN 00000540: JUMPDEST 00000541: CALLVALUE 00000542: ISZERO 00000543: PUSH2 0x054b 00000546: JUMPI 00000547: PUSH1 0x00 00000549: DUP1 0000054a: REVERT 0000054b: JUMPDEST 0000054c: PUSH2 0x0553 0000054f: PUSH2 0x08c6 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH1 0x40 00000556: MLOAD 00000557: DUP1 00000558: DUP3 00000559: DUP2 0000055a: MSTORE 0000055b: PUSH1 0x20 0000055d: ADD 0000055e: SWAP2 0000055f: POP 00000560: POP 00000561: PUSH1 0x40 00000563: MLOAD 00000564: DUP1 00000565: SWAP2 00000566: SUB 00000567: SWAP1 00000568: RETURN 00000569: JUMPDEST 0000056a: CALLVALUE 0000056b: ISZERO 0000056c: PUSH2 0x0574 0000056f: JUMPI 00000570: PUSH1 0x00 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: PUSH2 0x057c 00000578: PUSH2 0x08cc 0000057b: JUMP 0000057c: JUMPDEST 0000057d: PUSH1 0x40 0000057f: MLOAD 00000580: DUP1 00000581: DUP3 00000582: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000597: AND 00000598: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ad: AND 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: SWAP2 000005b4: POP 000005b5: POP 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: RETURN 000005be: JUMPDEST 000005bf: CALLVALUE 000005c0: ISZERO 000005c1: PUSH2 0x05c9 000005c4: JUMPI 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: REVERT 000005c9: JUMPDEST 000005ca: PUSH2 0x05d1 000005cd: PUSH2 0x08f1 000005d0: JUMP 000005d1: JUMPDEST 000005d2: PUSH1 0x40 000005d4: MLOAD 000005d5: DUP1 000005d6: DUP3 000005d7: DUP2 000005d8: MSTORE 000005d9: PUSH1 0x20 000005db: ADD 000005dc: SWAP2 000005dd: POP 000005de: POP 000005df: PUSH1 0x40 000005e1: MLOAD 000005e2: DUP1 000005e3: SWAP2 000005e4: SUB 000005e5: SWAP1 000005e6: RETURN 000005e7: JUMPDEST 000005e8: CALLVALUE 000005e9: ISZERO 000005ea: PUSH2 0x05f2 000005ed: JUMPI 000005ee: PUSH1 0x00 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: PUSH2 0x05fa 000005f6: PUSH2 0x08f7 000005f9: JUMP 000005fa: JUMPDEST 000005fb: STOP 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: ISZERO 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: PUSH2 0x061d 0000060b: PUSH1 0x04 0000060d: DUP1 0000060e: DUP1 0000060f: CALLDATALOAD 00000610: SWAP1 00000611: PUSH1 0x20 00000613: ADD 00000614: SWAP1 00000615: SWAP2 00000616: SWAP1 00000617: POP 00000618: POP 00000619: PUSH2 0x0976 0000061c: JUMP 0000061d: JUMPDEST 0000061e: STOP 0000061f: JUMPDEST 00000620: CALLVALUE 00000621: ISZERO 00000622: PUSH2 0x062a 00000625: JUMPI 00000626: PUSH1 0x00 00000628: DUP1 00000629: REVERT 0000062a: JUMPDEST 0000062b: PUSH2 0x0632 0000062e: PUSH2 0x09db 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x40 00000635: MLOAD 00000636: DUP1 00000637: DUP3 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x20 0000063c: ADD 0000063d: SWAP2 0000063e: POP 0000063f: POP 00000640: PUSH1 0x40 00000642: MLOAD 00000643: DUP1 00000644: SWAP2 00000645: SUB 00000646: SWAP1 00000647: RETURN 00000648: JUMPDEST 00000649: CALLVALUE 0000064a: ISZERO 0000064b: PUSH2 0x0653 0000064e: JUMPI 0000064f: PUSH1 0x00 00000651: DUP1 00000652: REVERT 00000653: JUMPDEST 00000654: PUSH2 0x067f 00000657: PUSH1 0x04 00000659: DUP1 0000065a: DUP1 0000065b: CALLDATALOAD 0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000671: AND 00000672: SWAP1 00000673: PUSH1 0x20 00000675: ADD 00000676: SWAP1 00000677: SWAP2 00000678: SWAP1 00000679: POP 0000067a: POP 0000067b: PUSH2 0x09e1 0000067e: JUMP 0000067f: JUMPDEST 00000680: STOP 00000681: JUMPDEST 00000682: CALLVALUE 00000683: ISZERO 00000684: PUSH2 0x068c 00000687: JUMPI 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: REVERT 0000068c: JUMPDEST 0000068d: PUSH2 0x0694 00000690: PUSH2 0x0b36 00000693: JUMP 00000694: JUMPDEST 00000695: STOP 00000696: JUMPDEST 00000697: PUSH1 0x00 00000699: DUP1 0000069a: DUP3 0000069b: DUP5 0000069c: DUP2 0000069d: ISZERO 0000069e: ISZERO 0000069f: PUSH2 0x06a4 000006a2: JUMPI 000006a3: INVALID 000006a4: JUMPDEST 000006a5: DIV 000006a6: SWAP1 000006a7: POP 000006a8: DUP1 000006a9: SWAP2 000006aa: POP 000006ab: POP 000006ac: SWAP3 000006ad: SWAP2 000006ae: POP 000006af: POP 000006b0: JUMP 000006b1: JUMPDEST 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: PUSH1 0x00 000006b7: DUP5 000006b8: EQ 000006b9: ISZERO 000006ba: PUSH2 0x06c6 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: SWAP2 000006c1: POP 000006c2: PUSH2 0x06e5 000006c5: JUMP 000006c6: JUMPDEST 000006c7: DUP3 000006c8: DUP5 000006c9: MUL 000006ca: SWAP1 000006cb: POP 000006cc: DUP3 000006cd: DUP5 000006ce: DUP3 000006cf: DUP2 000006d0: ISZERO 000006d1: ISZERO 000006d2: PUSH2 0x06d7 000006d5: JUMPI 000006d6: INVALID 000006d7: JUMPDEST 000006d8: DIV 000006d9: EQ 000006da: ISZERO 000006db: ISZERO 000006dc: PUSH2 0x06e1 000006df: JUMPI 000006e0: INVALID 000006e1: JUMPDEST 000006e2: DUP1 000006e3: SWAP2 000006e4: POP 000006e5: JUMPDEST 000006e6: POP 000006e7: SWAP3 000006e8: SWAP2 000006e9: POP 000006ea: POP 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: DUP3 000006f1: DUP5 000006f2: ADD 000006f3: SWAP1 000006f4: POP 000006f5: DUP4 000006f6: DUP2 000006f7: LT 000006f8: ISZERO 000006f9: ISZERO 000006fa: ISZERO 000006fb: PUSH2 0x0700 000006fe: JUMPI 000006ff: INVALID 00000700: JUMPDEST 00000701: DUP1 00000702: SWAP2 00000703: POP 00000704: POP 00000705: SWAP3 00000706: SWAP2 00000707: POP 00000708: POP 00000709: JUMP 0000070a: JUMPDEST 0000070b: PUSH1 0x04 0000070d: SLOAD 0000070e: TIMESTAMP 0000070f: LT 00000710: ISZERO 00000711: ISZERO 00000712: PUSH2 0x07e9 00000715: JUMPI 00000716: PUSH1 0x02 00000718: SLOAD 00000719: PUSH1 0x03 0000071b: SLOAD 0000071c: LT 0000071d: ISZERO 0000071e: ISZERO 0000071f: PUSH2 0x07cd 00000722: JUMPI 00000723: PUSH1 0x01 00000725: PUSH1 0x0a 00000727: PUSH1 0x00 00000729: PUSH2 0x0100 0000072c: EXP 0000072d: DUP2 0000072e: SLOAD 0000072f: DUP2 00000730: PUSH1 0xff 00000732: MUL 00000733: NOT 00000734: AND 00000735: SWAP1 00000736: DUP4 00000737: ISZERO 00000738: ISZERO 00000739: MUL 0000073a: OR 0000073b: SWAP1 0000073c: SSTORE 0000073d: POP 0000073e: PUSH32 0xec3f991caf7857d61663fd1bba1739e04abd4781238508cde554bb849d790c85 0000075f: PUSH1 0x01 00000761: PUSH1 0x00 00000763: SWAP1 00000764: SLOAD 00000765: SWAP1 00000766: PUSH2 0x0100 00000769: EXP 0000076a: SWAP1 0000076b: DIV 0000076c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000781: AND 00000782: PUSH1 0x03 00000784: SLOAD 00000785: PUSH1 0x40 00000787: MLOAD 00000788: DUP1 00000789: DUP4 0000078a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079f: AND 000007a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b5: AND 000007b6: DUP2 000007b7: MSTORE 000007b8: PUSH1 0x20 000007ba: ADD 000007bb: DUP3 000007bc: DUP2 000007bd: MSTORE 000007be: PUSH1 0x20 000007c0: ADD 000007c1: SWAP3 000007c2: POP 000007c3: POP 000007c4: POP 000007c5: PUSH1 0x40 000007c7: MLOAD 000007c8: DUP1 000007c9: SWAP2 000007ca: SUB 000007cb: SWAP1 000007cc: LOG1 000007cd: JUMPDEST 000007ce: PUSH1 0x01 000007d0: PUSH1 0x0a 000007d2: PUSH1 0x01 000007d4: PUSH2 0x0100 000007d7: EXP 000007d8: DUP2 000007d9: SLOAD 000007da: DUP2 000007db: PUSH1 0xff 000007dd: MUL 000007de: NOT 000007df: AND 000007e0: SWAP1 000007e1: DUP4 000007e2: ISZERO 000007e3: ISZERO 000007e4: MUL 000007e5: OR 000007e6: SWAP1 000007e7: SSTORE 000007e8: POP 000007e9: JUMPDEST 000007ea: JUMP 000007eb: JUMPDEST 000007ec: PUSH1 0x00 000007ee: DUP1 000007ef: SWAP1 000007f0: SLOAD 000007f1: SWAP1 000007f2: PUSH2 0x0100 000007f5: EXP 000007f6: SWAP1 000007f7: DIV 000007f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080d: AND 0000080e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000823: AND 00000824: CALLER 00000825: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083a: AND 0000083b: EQ 0000083c: ISZERO 0000083d: ISZERO 0000083e: PUSH2 0x0846 00000841: JUMPI 00000842: PUSH1 0x00 00000844: DUP1 00000845: REVERT 00000846: JUMPDEST 00000847: DUP1 00000848: PUSH1 0x06 0000084a: DUP2 0000084b: SWAP1 0000084c: SSTORE 0000084d: POP 0000084e: POP 0000084f: JUMP 00000850: JUMPDEST 00000851: PUSH1 0x04 00000853: SLOAD 00000854: DUP2 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x01 00000859: PUSH1 0x00 0000085b: SWAP1 0000085c: SLOAD 0000085d: SWAP1 0000085e: PUSH2 0x0100 00000861: EXP 00000862: SWAP1 00000863: DIV 00000864: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000879: AND 0000087a: DUP2 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH1 0x08 0000087f: PUSH1 0x00 00000881: SWAP1 00000882: SLOAD 00000883: SWAP1 00000884: PUSH2 0x0100 00000887: EXP 00000888: SWAP1 00000889: DIV 0000088a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089f: AND 000008a0: DUP2 000008a1: JUMP 000008a2: JUMPDEST 000008a3: PUSH1 0x09 000008a5: PUSH1 0x20 000008a7: MSTORE 000008a8: DUP1 000008a9: PUSH1 0x00 000008ab: MSTORE 000008ac: PUSH1 0x40 000008ae: PUSH1 0x00 000008b0: KECCAK256 000008b1: PUSH1 0x00 000008b3: SWAP2 000008b4: POP 000008b5: SWAP1 000008b6: POP 000008b7: SLOAD 000008b8: DUP2 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x07 000008bd: SLOAD 000008be: DUP2 000008bf: JUMP 000008c0: JUMPDEST 000008c1: PUSH1 0x02 000008c3: SLOAD 000008c4: DUP2 000008c5: JUMP 000008c6: JUMPDEST 000008c7: PUSH1 0x03 000008c9: SLOAD 000008ca: DUP2 000008cb: JUMP 000008cc: JUMPDEST 000008cd: PUSH1 0x00 000008cf: DUP1 000008d0: SWAP1 000008d1: SLOAD 000008d2: SWAP1 000008d3: PUSH2 0x0100 000008d6: EXP 000008d7: SWAP1 000008d8: DIV 000008d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ee: AND 000008ef: DUP2 000008f0: JUMP 000008f1: JUMPDEST 000008f2: PUSH1 0x05 000008f4: SLOAD 000008f5: DUP2 000008f6: JUMP 000008f7: JUMPDEST 000008f8: PUSH1 0x00 000008fa: DUP1 000008fb: SWAP1 000008fc: SLOAD 000008fd: SWAP1 000008fe: PUSH2 0x0100 00000901: EXP 00000902: SWAP1 00000903: DIV 00000904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000919: AND 0000091a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092f: AND 00000930: CALLER 00000931: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000946: AND 00000947: EQ 00000948: ISZERO 00000949: ISZERO 0000094a: PUSH2 0x0952 0000094d: JUMPI 0000094e: PUSH1 0x00 00000950: DUP1 00000951: REVERT 00000952: JUMPDEST 00000953: TIMESTAMP 00000954: PUSH1 0x04 00000956: DUP2 00000957: SWAP1 00000958: SSTORE 00000959: POP 0000095a: PUSH1 0x01 0000095c: PUSH1 0x0a 0000095e: PUSH1 0x01 00000960: PUSH2 0x0100 00000963: EXP 00000964: DUP2 00000965: SLOAD 00000966: DUP2 00000967: PUSH1 0xff 00000969: MUL 0000096a: NOT 0000096b: AND 0000096c: SWAP1 0000096d: DUP4 0000096e: ISZERO 0000096f: ISZERO 00000970: MUL 00000971: OR 00000972: SWAP1 00000973: SSTORE 00000974: POP 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH1 0x00 00000979: DUP1 0000097a: SWAP1 0000097b: SLOAD 0000097c: SWAP1 0000097d: PUSH2 0x0100 00000980: EXP 00000981: SWAP1 00000982: DIV 00000983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000998: AND 00000999: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ae: AND 000009af: CALLER 000009b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c5: AND 000009c6: EQ 000009c7: ISZERO 000009c8: ISZERO 000009c9: PUSH2 0x09d1 000009cc: JUMPI 000009cd: PUSH1 0x00 000009cf: DUP1 000009d0: REVERT 000009d1: JUMPDEST 000009d2: DUP1 000009d3: PUSH1 0x07 000009d5: DUP2 000009d6: SWAP1 000009d7: SSTORE 000009d8: POP 000009d9: POP 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH1 0x06 000009de: SLOAD 000009df: DUP2 000009e0: JUMP 000009e1: JUMPDEST 000009e2: PUSH1 0x00 000009e4: DUP1 000009e5: SWAP1 000009e6: SLOAD 000009e7: SWAP1 000009e8: PUSH2 0x0100 000009eb: EXP 000009ec: SWAP1 000009ed: DIV 000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a03: AND 00000a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a19: AND 00000a1a: CALLER 00000a1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a30: AND 00000a31: EQ 00000a32: ISZERO 00000a33: ISZERO 00000a34: PUSH2 0x0a3c 00000a37: JUMPI 00000a38: PUSH1 0x00 00000a3a: DUP1 00000a3b: REVERT 00000a3c: JUMPDEST 00000a3d: PUSH1 0x00 00000a3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a54: AND 00000a55: DUP2 00000a56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a6b: AND 00000a6c: EQ 00000a6d: ISZERO 00000a6e: ISZERO 00000a6f: ISZERO 00000a70: PUSH2 0x0a78 00000a73: JUMPI 00000a74: PUSH1 0x00 00000a76: DUP1 00000a77: REVERT 00000a78: JUMPDEST 00000a79: DUP1 00000a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8f: AND 00000a90: PUSH1 0x00 00000a92: DUP1 00000a93: SWAP1 00000a94: SLOAD 00000a95: SWAP1 00000a96: PUSH2 0x0100 00000a99: EXP 00000a9a: SWAP1 00000a9b: DIV 00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab1: AND 00000ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ac7: AND 00000ac8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000ae9: PUSH1 0x40 00000aeb: MLOAD 00000aec: PUSH1 0x40 00000aee: MLOAD 00000aef: DUP1 00000af0: SWAP2 00000af1: SUB 00000af2: SWAP1 00000af3: LOG3 00000af4: DUP1 00000af5: PUSH1 0x00 00000af7: DUP1 00000af8: PUSH2 0x0100 00000afb: EXP 00000afc: DUP2 00000afd: SLOAD 00000afe: DUP2 00000aff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b14: MUL 00000b15: NOT 00000b16: AND 00000b17: SWAP1 00000b18: DUP4 00000b19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2e: AND 00000b2f: MUL 00000b30: OR 00000b31: SWAP1 00000b32: SSTORE 00000b33: POP 00000b34: POP 00000b35: JUMP 00000b36: JUMPDEST 00000b37: PUSH1 0x00 00000b39: PUSH1 0x04 00000b3b: SLOAD 00000b3c: TIMESTAMP 00000b3d: LT 00000b3e: ISZERO 00000b3f: ISZERO 00000b40: PUSH2 0x0e72 00000b43: JUMPI 00000b44: PUSH1 0x0a 00000b46: PUSH1 0x00 00000b48: SWAP1 00000b49: SLOAD 00000b4a: SWAP1 00000b4b: PUSH2 0x0100 00000b4e: EXP 00000b4f: SWAP1 00000b50: DIV 00000b51: PUSH1 0xff 00000b53: AND 00000b54: ISZERO 00000b55: ISZERO 00000b56: PUSH2 0x0ce7 00000b59: JUMPI 00000b5a: PUSH1 0x09 00000b5c: PUSH1 0x00 00000b5e: CALLER 00000b5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b74: AND 00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8a: AND 00000b8b: DUP2 00000b8c: MSTORE 00000b8d: PUSH1 0x20 00000b8f: ADD 00000b90: SWAP1 00000b91: DUP2 00000b92: MSTORE 00000b93: PUSH1 0x20 00000b95: ADD 00000b96: PUSH1 0x00 00000b98: KECCAK256 00000b99: SLOAD 00000b9a: SWAP1 00000b9b: POP 00000b9c: PUSH1 0x00 00000b9e: PUSH1 0x09 00000ba0: PUSH1 0x00 00000ba2: CALLER 00000ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb8: AND 00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bce: AND 00000bcf: DUP2 00000bd0: MSTORE 00000bd1: PUSH1 0x20 00000bd3: ADD 00000bd4: SWAP1 00000bd5: DUP2 00000bd6: MSTORE 00000bd7: PUSH1 0x20 00000bd9: ADD 00000bda: PUSH1 0x00 00000bdc: KECCAK256 00000bdd: DUP2 00000bde: SWAP1 00000bdf: SSTORE 00000be0: POP 00000be1: PUSH1 0x00 00000be3: DUP2 00000be4: GT 00000be5: ISZERO 00000be6: PUSH2 0x0ce6 00000be9: JUMPI 00000bea: CALLER 00000beb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c00: AND 00000c01: PUSH2 0x08fc 00000c04: DUP3 00000c05: SWAP1 00000c06: DUP2 00000c07: ISZERO 00000c08: MUL 00000c09: SWAP1 00000c0a: PUSH1 0x40 00000c0c: MLOAD 00000c0d: PUSH1 0x00 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: DUP1 00000c13: DUP4 00000c14: SUB 00000c15: DUP2 00000c16: DUP6 00000c17: DUP9 00000c18: DUP9 00000c19: CALL 00000c1a: SWAP4 00000c1b: POP 00000c1c: POP 00000c1d: POP 00000c1e: POP 00000c1f: ISZERO 00000c20: PUSH2 0x0ca0 00000c23: JUMPI 00000c24: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 00000c45: CALLER 00000c46: DUP3 00000c47: PUSH1 0x00 00000c49: PUSH1 0x40 00000c4b: MLOAD 00000c4c: DUP1 00000c4d: DUP5 00000c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c63: AND 00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c79: AND 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x20 00000c7e: ADD 00000c7f: DUP4 00000c80: DUP2 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: ADD 00000c85: DUP3 00000c86: ISZERO 00000c87: ISZERO 00000c88: ISZERO 00000c89: ISZERO 00000c8a: DUP2 00000c8b: MSTORE 00000c8c: PUSH1 0x20 00000c8e: ADD 00000c8f: SWAP4 00000c90: POP 00000c91: POP 00000c92: POP 00000c93: POP 00000c94: PUSH1 0x40 00000c96: MLOAD 00000c97: DUP1 00000c98: SWAP2 00000c99: SUB 00000c9a: SWAP1 00000c9b: LOG1 00000c9c: PUSH2 0x0ce5 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: DUP1 00000ca2: PUSH1 0x09 00000ca4: PUSH1 0x00 00000ca6: CALLER 00000ca7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbc: AND 00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd2: AND 00000cd3: DUP2 00000cd4: MSTORE 00000cd5: PUSH1 0x20 00000cd7: ADD 00000cd8: SWAP1 00000cd9: DUP2 00000cda: MSTORE 00000cdb: PUSH1 0x20 00000cdd: ADD 00000cde: PUSH1 0x00 00000ce0: KECCAK256 00000ce1: DUP2 00000ce2: SWAP1 00000ce3: SSTORE 00000ce4: POP 00000ce5: JUMPDEST 00000ce6: JUMPDEST 00000ce7: JUMPDEST 00000ce8: PUSH1 0x0a 00000cea: PUSH1 0x00 00000cec: SWAP1 00000ced: SLOAD 00000cee: SWAP1 00000cef: PUSH2 0x0100 00000cf2: EXP 00000cf3: SWAP1 00000cf4: DIV 00000cf5: PUSH1 0xff 00000cf7: AND 00000cf8: DUP1 00000cf9: ISZERO 00000cfa: PUSH2 0x0d50 00000cfd: JUMPI 00000cfe: POP 00000cff: CALLER 00000d00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d15: AND 00000d16: PUSH1 0x01 00000d18: PUSH1 0x00 00000d1a: SWAP1 00000d1b: SLOAD 00000d1c: SWAP1 00000d1d: PUSH2 0x0100 00000d20: EXP 00000d21: SWAP1 00000d22: DIV 00000d23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d38: AND 00000d39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4e: AND 00000d4f: EQ 00000d50: JUMPDEST 00000d51: ISZERO 00000d52: PUSH2 0x0e71 00000d55: JUMPI 00000d56: PUSH1 0x01 00000d58: PUSH1 0x00 00000d5a: SWAP1 00000d5b: SLOAD 00000d5c: SWAP1 00000d5d: PUSH2 0x0100 00000d60: EXP 00000d61: SWAP1 00000d62: DIV 00000d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d78: AND 00000d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8e: AND 00000d8f: PUSH2 0x08fc 00000d92: PUSH1 0x03 00000d94: SLOAD 00000d95: SWAP1 00000d96: DUP2 00000d97: ISZERO 00000d98: MUL 00000d99: SWAP1 00000d9a: PUSH1 0x40 00000d9c: MLOAD 00000d9d: PUSH1 0x00 00000d9f: PUSH1 0x40 00000da1: MLOAD 00000da2: DUP1 00000da3: DUP4 00000da4: SUB 00000da5: DUP2 00000da6: DUP6 00000da7: DUP9 00000da8: DUP9 00000da9: CALL 00000daa: SWAP4 00000dab: POP 00000dac: POP 00000dad: POP 00000dae: POP 00000daf: ISZERO 00000db0: PUSH2 0x0e54 00000db3: JUMPI 00000db4: PUSH32 0xe842aea7a5f1b01049d752008c53c52890b1a6daf660cf39e8eec506112bbdf6 00000dd5: PUSH1 0x01 00000dd7: PUSH1 0x00 00000dd9: SWAP1 00000dda: SLOAD 00000ddb: SWAP1 00000ddc: PUSH2 0x0100 00000ddf: EXP 00000de0: SWAP1 00000de1: DIV 00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df7: AND 00000df8: PUSH1 0x03 00000dfa: SLOAD 00000dfb: PUSH1 0x00 00000dfd: PUSH1 0x40 00000dff: MLOAD 00000e00: DUP1 00000e01: DUP5 00000e02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e17: AND 00000e18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2d: AND 00000e2e: DUP2 00000e2f: MSTORE 00000e30: PUSH1 0x20 00000e32: ADD 00000e33: DUP4 00000e34: DUP2 00000e35: MSTORE 00000e36: PUSH1 0x20 00000e38: ADD 00000e39: DUP3 00000e3a: ISZERO 00000e3b: ISZERO 00000e3c: ISZERO 00000e3d: ISZERO 00000e3e: DUP2 00000e3f: MSTORE 00000e40: PUSH1 0x20 00000e42: ADD 00000e43: SWAP4 00000e44: POP 00000e45: POP 00000e46: POP 00000e47: POP 00000e48: PUSH1 0x40 00000e4a: MLOAD 00000e4b: DUP1 00000e4c: SWAP2 00000e4d: SUB 00000e4e: SWAP1 00000e4f: LOG1 00000e50: PUSH2 0x0e70 00000e53: JUMP 00000e54: JUMPDEST 00000e55: PUSH1 0x00 00000e57: PUSH1 0x0a 00000e59: PUSH1 0x00 00000e5b: PUSH2 0x0100 00000e5e: EXP 00000e5f: DUP2 00000e60: SLOAD 00000e61: DUP2 00000e62: PUSH1 0xff 00000e64: MUL 00000e65: NOT 00000e66: AND 00000e67: SWAP1 00000e68: DUP4 00000e69: ISZERO 00000e6a: ISZERO 00000e6b: MUL 00000e6c: OR 00000e6d: SWAP1 00000e6e: SSTORE 00000e6f: POP 00000e70: JUMPDEST 00000e71: JUMPDEST 00000e72: JUMPDEST 00000e73: POP 00000e74: JUMP 00000e75: STOP 00000e76: LOG1 00000e77: PUSH6 0x627a7a723058 00000e7e: KECCAK256 00000e7f: UNKNOWN(0xA9) 00000e80: UNKNOWN(0xEC) 00000e81: UNKNOWN(0xB1) 00000e82: UNKNOWN(0xBB) 00000e83: UNKNOWN(0xE4) 00000e84: DIV 00000e85: PUSH6 0x42591f5ce52c 00000e8c: PUSH14 0xce979d639d730cd0551860a97445 00000e9b: CALLCODE 00000e9c: UNKNOWN(0xC3) 00000e9d: NOT 00000e9e: GT 00000e9f: STOP 00000ea0: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x413b8804c57a94c92a863cefa53f9d5e8e93bd1e1dbf2364e53ff1b6c83b5aa2
call_targets:
0xa8df33a40fe2e3278e4d94a974f70778043fbd20
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x413b8804c57a94c92a863cefa53f9d5e8e93bd1e1dbf2364e53ff1b6c83b5aa2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8df33a40fe2e3278e4d94a974f70778043fbd20"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x147d959a",
"selector": "0x147d959a",
"calldata_variants": [
"0x147d959a",
"0x147d959a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e66f6e9",
"selector": "0x6e66f6e9",
"calldata_variants": [
"0x6e66f6e9",
"0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75b4d78c",
"selector": "0x75b4d78c",
"calldata_variants": [
"0x75b4d78c",
"0x75b4d78c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 779,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3097,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3497,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 2084,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2352,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2479,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2586,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x413b8804c57a94c92a863cefa53f9d5e8e93bd1e1dbf2364e53ff1b6c83b5aa2
call_targets:
0xa8df33a40fe2e3278e4d94a974f70778043fbd20
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x413b8804c57a94c92a863cefa53f9d5e8e93bd1e1dbf2364e53ff1b6c83b5aa2",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa8df33a40fe2e3278e4d94a974f70778043fbd20"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01cb3b20",
"selector": "0x01cb3b20",
"calldata_variants": [
"0x01cb3b20",
"0x01cb3b200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x147d959a",
"selector": "0x147d959a",
"calldata_variants": [
"0x147d959a",
"0x147d959a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29dcb0cf",
"selector": "0x29dcb0cf",
"calldata_variants": [
"0x29dcb0cf",
"0x29dcb0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e66f6e9",
"selector": "0x6e66f6e9",
"calldata_variants": [
"0x6e66f6e9",
"0x6e66f6e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x75b4d78c",
"selector": "0x75b4d78c",
"calldata_variants": [
"0x75b4d78c",
"0x75b4d78c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 779,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3097,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3497,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 2084,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2352,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2479,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2586,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|