019b3844-8af3-70fe-86a0-1920086612ee
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 |
|---|---|---|---|---|
| 11719 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11720 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 54616 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 54617 | capability.graph | complete | 1 / 3 | 1 week ago |
| 54618 | detector.run | complete | 1 / 3 | 1 week ago |
| 54619 | validation.fork | complete | 1 / 3 | 1 week 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 0x0062 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x5ed9ebfc 0000003c: EQ 0000003d: PUSH2 0x00af 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x8da5cb5b 00000047: EQ 00000048: PUSH2 0x00d8 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf2fde38b 00000052: EQ 00000053: PUSH2 0x012d 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xfc0c546a 0000005d: EQ 0000005e: PUSH2 0x0166 00000061: JUMPI 00000062: JUMPDEST 00000063: PUSH1 0x05 00000065: SLOAD 00000066: TIMESTAMP 00000067: LT 00000068: ISZERO 00000069: DUP1 0000006a: ISZERO 0000006b: PUSH2 0x0075 0000006e: JUMPI 0000006f: POP 00000070: PUSH1 0x06 00000072: SLOAD 00000073: TIMESTAMP 00000074: LT 00000075: JUMPDEST 00000076: ISZERO 00000077: PUSH2 0x0089 0000007a: JUMPI 0000007b: PUSH2 0x0084 0000007e: CALLVALUE 0000007f: CALLER 00000080: PUSH2 0x01bb 00000083: JUMP 00000084: JUMPDEST 00000085: PUSH2 0x00ad 00000088: JUMP 00000089: JUMPDEST 0000008a: PUSH1 0x07 0000008c: SLOAD 0000008d: TIMESTAMP 0000008e: LT 0000008f: ISZERO 00000090: DUP1 00000091: ISZERO 00000092: PUSH2 0x009c 00000095: JUMPI 00000096: POP 00000097: PUSH1 0x08 00000099: SLOAD 0000009a: TIMESTAMP 0000009b: LT 0000009c: JUMPDEST 0000009d: ISZERO 0000009e: PUSH2 0x00ac 000000a1: JUMPI 000000a2: PUSH2 0x00ab 000000a5: CALLVALUE 000000a6: CALLER 000000a7: PUSH2 0x04e1 000000aa: JUMP 000000ab: JUMPDEST 000000ac: JUMPDEST 000000ad: JUMPDEST 000000ae: STOP 000000af: JUMPDEST 000000b0: CALLVALUE 000000b1: ISZERO 000000b2: PUSH2 0x00ba 000000b5: JUMPI 000000b6: PUSH1 0x00 000000b8: DUP1 000000b9: REVERT 000000ba: JUMPDEST 000000bb: PUSH2 0x00c2 000000be: PUSH2 0x0807 000000c1: JUMP 000000c2: JUMPDEST 000000c3: PUSH1 0x40 000000c5: MLOAD 000000c6: DUP1 000000c7: DUP3 000000c8: DUP2 000000c9: MSTORE 000000ca: PUSH1 0x20 000000cc: ADD 000000cd: SWAP2 000000ce: POP 000000cf: POP 000000d0: PUSH1 0x40 000000d2: MLOAD 000000d3: DUP1 000000d4: SWAP2 000000d5: SUB 000000d6: SWAP1 000000d7: RETURN 000000d8: JUMPDEST 000000d9: CALLVALUE 000000da: ISZERO 000000db: PUSH2 0x00e3 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: PUSH2 0x00eb 000000e7: PUSH2 0x080d 000000ea: JUMP 000000eb: JUMPDEST 000000ec: PUSH1 0x40 000000ee: MLOAD 000000ef: DUP1 000000f0: DUP3 000000f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000106: AND 00000107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011c: AND 0000011d: DUP2 0000011e: MSTORE 0000011f: PUSH1 0x20 00000121: ADD 00000122: SWAP2 00000123: POP 00000124: POP 00000125: PUSH1 0x40 00000127: MLOAD 00000128: DUP1 00000129: SWAP2 0000012a: SUB 0000012b: SWAP1 0000012c: RETURN 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: PUSH2 0x0164 0000013c: PUSH1 0x04 0000013e: DUP1 0000013f: DUP1 00000140: CALLDATALOAD 00000141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000156: AND 00000157: SWAP1 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP1 0000015c: SWAP2 0000015d: SWAP1 0000015e: POP 0000015f: POP 00000160: PUSH2 0x0832 00000163: JUMP 00000164: JUMPDEST 00000165: STOP 00000166: JUMPDEST 00000167: CALLVALUE 00000168: ISZERO 00000169: PUSH2 0x0171 0000016c: JUMPI 0000016d: PUSH1 0x00 0000016f: DUP1 00000170: REVERT 00000171: JUMPDEST 00000172: PUSH2 0x0179 00000175: PUSH2 0x090c 00000178: JUMP 00000179: JUMPDEST 0000017a: PUSH1 0x40 0000017c: MLOAD 0000017d: DUP1 0000017e: DUP3 0000017f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000194: AND 00000195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001aa: AND 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x20 000001af: ADD 000001b0: SWAP2 000001b1: POP 000001b2: POP 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: DUP1 000001b7: SWAP2 000001b8: SUB 000001b9: SWAP1 000001ba: RETURN 000001bb: JUMPDEST 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: PUSH1 0x00 000001c1: DUP5 000001c2: PUSH1 0x03 000001c4: SLOAD 000001c5: PUSH2 0x0220 000001c8: PUSH2 0x01e3 000001cb: PUSH1 0x64 000001cd: PUSH2 0x01d5 000001d0: DUP6 000001d1: PUSH2 0x0932 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH2 0x0a8b 000001d9: SWAP1 000001da: SWAP2 000001db: SWAP1 000001dc: PUSH4 0xffffffff 000001e1: AND 000001e2: JUMP 000001e3: JUMPDEST 000001e4: PUSH2 0x0212 000001e7: PUSH8 0x0de0b6b3a7640000 000001f0: PUSH2 0x0204 000001f3: DUP7 000001f4: PUSH1 0x09 000001f6: SLOAD 000001f7: PUSH2 0x0aa6 000001fa: SWAP1 000001fb: SWAP2 000001fc: SWAP1 000001fd: PUSH4 0xffffffff 00000202: AND 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH2 0x0a8b 00000208: SWAP1 00000209: SWAP2 0000020a: SWAP1 0000020b: PUSH4 0xffffffff 00000210: AND 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH2 0x0aa6 00000216: SWAP1 00000217: SWAP2 00000218: SWAP1 00000219: PUSH4 0xffffffff 0000021e: AND 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH2 0x024f 00000224: PUSH8 0x0de0b6b3a7640000 0000022d: PUSH2 0x0241 00000230: DUP6 00000231: PUSH1 0x09 00000233: SLOAD 00000234: PUSH2 0x0aa6 00000237: SWAP1 00000238: SWAP2 00000239: SWAP1 0000023a: PUSH4 0xffffffff 0000023f: AND 00000240: JUMP 00000241: JUMPDEST 00000242: PUSH2 0x0a8b 00000245: SWAP1 00000246: SWAP2 00000247: SWAP1 00000248: PUSH4 0xffffffff 0000024d: AND 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH1 0x0c 00000252: SLOAD 00000253: ADD 00000254: ADD 00000255: GT 00000256: ISZERO 00000257: ISZERO 00000258: ISZERO 00000259: PUSH2 0x0261 0000025c: JUMPI 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: REVERT 00000261: JUMPDEST 00000262: PUSH1 0x01 00000264: PUSH1 0x00 00000266: SWAP1 00000267: SLOAD 00000268: SWAP1 00000269: PUSH2 0x0100 0000026c: EXP 0000026d: SWAP1 0000026e: DIV 0000026f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000284: AND 00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029a: AND 0000029b: PUSH2 0x08fc 0000029e: PUSH2 0x02c5 000002a1: PUSH1 0x0a 000002a3: SLOAD 000002a4: PUSH2 0x02b7 000002a7: PUSH1 0x64 000002a9: DUP12 000002aa: PUSH2 0x0a8b 000002ad: SWAP1 000002ae: SWAP2 000002af: SWAP1 000002b0: PUSH4 0xffffffff 000002b5: AND 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH2 0x0aa6 000002bb: SWAP1 000002bc: SWAP2 000002bd: SWAP1 000002be: PUSH4 0xffffffff 000002c3: AND 000002c4: JUMP 000002c5: JUMPDEST 000002c6: SWAP1 000002c7: DUP2 000002c8: ISZERO 000002c9: MUL 000002ca: SWAP1 000002cb: PUSH1 0x40 000002cd: MLOAD 000002ce: PUSH1 0x00 000002d0: PUSH1 0x40 000002d2: MLOAD 000002d3: DUP1 000002d4: DUP4 000002d5: SUB 000002d6: DUP2 000002d7: DUP6 000002d8: DUP9 000002d9: DUP9 000002da: CALL 000002db: SWAP4 000002dc: POP 000002dd: POP 000002de: POP 000002df: POP 000002e0: ISZERO 000002e1: ISZERO 000002e2: PUSH2 0x02ea 000002e5: JUMPI 000002e6: PUSH1 0x00 000002e8: DUP1 000002e9: REVERT 000002ea: JUMPDEST 000002eb: PUSH1 0x02 000002ed: PUSH1 0x00 000002ef: SWAP1 000002f0: SLOAD 000002f1: SWAP1 000002f2: PUSH2 0x0100 000002f5: EXP 000002f6: SWAP1 000002f7: DIV 000002f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030d: AND 0000030e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000323: AND 00000324: PUSH2 0x08fc 00000327: PUSH2 0x034e 0000032a: PUSH1 0x0b 0000032c: SLOAD 0000032d: PUSH2 0x0340 00000330: PUSH1 0x64 00000332: DUP12 00000333: PUSH2 0x0a8b 00000336: SWAP1 00000337: SWAP2 00000338: SWAP1 00000339: PUSH4 0xffffffff 0000033e: AND 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH2 0x0aa6 00000344: SWAP1 00000345: SWAP2 00000346: SWAP1 00000347: PUSH4 0xffffffff 0000034c: AND 0000034d: JUMP 0000034e: JUMPDEST 0000034f: SWAP1 00000350: DUP2 00000351: ISZERO 00000352: MUL 00000353: SWAP1 00000354: PUSH1 0x40 00000356: MLOAD 00000357: PUSH1 0x00 00000359: PUSH1 0x40 0000035b: MLOAD 0000035c: DUP1 0000035d: DUP4 0000035e: SUB 0000035f: DUP2 00000360: DUP6 00000361: DUP9 00000362: DUP9 00000363: CALL 00000364: SWAP4 00000365: POP 00000366: POP 00000367: POP 00000368: POP 00000369: ISZERO 0000036a: ISZERO 0000036b: PUSH2 0x0373 0000036e: JUMPI 0000036f: PUSH1 0x00 00000371: DUP1 00000372: REVERT 00000373: JUMPDEST 00000374: PUSH2 0x03a2 00000377: PUSH8 0x0de0b6b3a7640000 00000380: PUSH2 0x0394 00000383: DUP9 00000384: PUSH1 0x09 00000386: SLOAD 00000387: PUSH2 0x0aa6 0000038a: SWAP1 0000038b: SWAP2 0000038c: SWAP1 0000038d: PUSH4 0xffffffff 00000392: AND 00000393: JUMP 00000394: JUMPDEST 00000395: PUSH2 0x0a8b 00000398: SWAP1 00000399: SWAP2 0000039a: SWAP1 0000039b: PUSH4 0xffffffff 000003a0: AND 000003a1: JUMP 000003a2: JUMPDEST 000003a3: SWAP4 000003a4: POP 000003a5: PUSH1 0x00 000003a7: SWAP3 000003a8: POP 000003a9: PUSH2 0x03b1 000003ac: DUP7 000003ad: PUSH2 0x0932 000003b0: JUMP 000003b1: JUMPDEST 000003b2: SWAP2 000003b3: POP 000003b4: PUSH2 0x03d9 000003b7: PUSH1 0x64 000003b9: PUSH2 0x03cb 000003bc: DUP5 000003bd: DUP8 000003be: PUSH2 0x0aa6 000003c1: SWAP1 000003c2: SWAP2 000003c3: SWAP1 000003c4: PUSH4 0xffffffff 000003c9: AND 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH2 0x0a8b 000003cf: SWAP1 000003d0: SWAP2 000003d1: SWAP1 000003d2: PUSH4 0xffffffff 000003d7: AND 000003d8: JUMP 000003d9: JUMPDEST 000003da: SWAP3 000003db: POP 000003dc: DUP3 000003dd: DUP5 000003de: ADD 000003df: SWAP4 000003e0: POP 000003e1: DUP4 000003e2: PUSH1 0x0c 000003e4: PUSH1 0x00 000003e6: DUP3 000003e7: DUP3 000003e8: SLOAD 000003e9: ADD 000003ea: SWAP3 000003eb: POP 000003ec: POP 000003ed: DUP2 000003ee: SWAP1 000003ef: SSTORE 000003f0: POP 000003f1: PUSH1 0x0d 000003f3: PUSH1 0x00 000003f5: SWAP1 000003f6: SLOAD 000003f7: SWAP1 000003f8: PUSH2 0x0100 000003fb: EXP 000003fc: SWAP1 000003fd: DIV 000003fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000413: AND 00000414: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000429: AND 0000042a: PUSH4 0xa9059cbb 0000042f: DUP7 00000430: DUP7 00000431: PUSH1 0x00 00000433: PUSH1 0x40 00000435: MLOAD 00000436: PUSH1 0x20 00000438: ADD 00000439: MSTORE 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP4 0000043e: PUSH4 0xffffffff 00000443: AND 00000444: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000462: MUL 00000463: DUP2 00000464: MSTORE 00000465: PUSH1 0x04 00000467: ADD 00000468: DUP1 00000469: DUP4 0000046a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000047f: AND 00000480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000495: AND 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x20 0000049a: ADD 0000049b: DUP3 0000049c: DUP2 0000049d: MSTORE 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: SWAP3 000004a2: POP 000004a3: POP 000004a4: POP 000004a5: PUSH1 0x20 000004a7: PUSH1 0x40 000004a9: MLOAD 000004aa: DUP1 000004ab: DUP4 000004ac: SUB 000004ad: DUP2 000004ae: PUSH1 0x00 000004b0: DUP8 000004b1: DUP1 000004b2: EXTCODESIZE 000004b3: ISZERO 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: PUSH2 0x02c6 000004c1: GAS 000004c2: SUB 000004c3: CALL 000004c4: ISZERO 000004c5: ISZERO 000004c6: PUSH2 0x04ce 000004c9: JUMPI 000004ca: PUSH1 0x00 000004cc: DUP1 000004cd: REVERT 000004ce: JUMPDEST 000004cf: POP 000004d0: POP 000004d1: POP 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: DUP1 000004d6: MLOAD 000004d7: SWAP1 000004d8: POP 000004d9: POP 000004da: POP 000004db: POP 000004dc: POP 000004dd: POP 000004de: POP 000004df: POP 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x00 000004e4: DUP1 000004e5: PUSH1 0x00 000004e7: DUP5 000004e8: PUSH1 0x04 000004ea: SLOAD 000004eb: PUSH2 0x0546 000004ee: PUSH2 0x0509 000004f1: PUSH1 0x64 000004f3: PUSH2 0x04fb 000004f6: DUP6 000004f7: PUSH2 0x0ad9 000004fa: JUMP 000004fb: JUMPDEST 000004fc: PUSH2 0x0a8b 000004ff: SWAP1 00000500: SWAP2 00000501: SWAP1 00000502: PUSH4 0xffffffff 00000507: AND 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH2 0x0538 0000050d: PUSH8 0x0de0b6b3a7640000 00000516: PUSH2 0x052a 00000519: DUP7 0000051a: PUSH1 0x09 0000051c: SLOAD 0000051d: PUSH2 0x0aa6 00000520: SWAP1 00000521: SWAP2 00000522: SWAP1 00000523: PUSH4 0xffffffff 00000528: AND 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH2 0x0a8b 0000052e: SWAP1 0000052f: SWAP2 00000530: SWAP1 00000531: PUSH4 0xffffffff 00000536: AND 00000537: JUMP 00000538: JUMPDEST 00000539: PUSH2 0x0aa6 0000053c: SWAP1 0000053d: SWAP2 0000053e: SWAP1 0000053f: PUSH4 0xffffffff 00000544: AND 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH2 0x0575 0000054a: PUSH8 0x0de0b6b3a7640000 00000553: PUSH2 0x0567 00000556: DUP6 00000557: PUSH1 0x09 00000559: SLOAD 0000055a: PUSH2 0x0aa6 0000055d: SWAP1 0000055e: SWAP2 0000055f: SWAP1 00000560: PUSH4 0xffffffff 00000565: AND 00000566: JUMP 00000567: JUMPDEST 00000568: PUSH2 0x0a8b 0000056b: SWAP1 0000056c: SWAP2 0000056d: SWAP1 0000056e: PUSH4 0xffffffff 00000573: AND 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH1 0x0c 00000578: SLOAD 00000579: ADD 0000057a: ADD 0000057b: GT 0000057c: ISZERO 0000057d: ISZERO 0000057e: ISZERO 0000057f: PUSH2 0x0587 00000582: JUMPI 00000583: PUSH1 0x00 00000585: DUP1 00000586: REVERT 00000587: JUMPDEST 00000588: PUSH1 0x01 0000058a: PUSH1 0x00 0000058c: SWAP1 0000058d: SLOAD 0000058e: SWAP1 0000058f: PUSH2 0x0100 00000592: EXP 00000593: SWAP1 00000594: DIV 00000595: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005aa: AND 000005ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c0: AND 000005c1: PUSH2 0x08fc 000005c4: PUSH2 0x05eb 000005c7: PUSH1 0x0a 000005c9: SLOAD 000005ca: PUSH2 0x05dd 000005cd: PUSH1 0x64 000005cf: DUP12 000005d0: PUSH2 0x0a8b 000005d3: SWAP1 000005d4: SWAP2 000005d5: SWAP1 000005d6: PUSH4 0xffffffff 000005db: AND 000005dc: JUMP 000005dd: JUMPDEST 000005de: PUSH2 0x0aa6 000005e1: SWAP1 000005e2: SWAP2 000005e3: SWAP1 000005e4: PUSH4 0xffffffff 000005e9: AND 000005ea: JUMP 000005eb: JUMPDEST 000005ec: SWAP1 000005ed: DUP2 000005ee: ISZERO 000005ef: MUL 000005f0: SWAP1 000005f1: PUSH1 0x40 000005f3: MLOAD 000005f4: PUSH1 0x00 000005f6: PUSH1 0x40 000005f8: MLOAD 000005f9: DUP1 000005fa: DUP4 000005fb: SUB 000005fc: DUP2 000005fd: DUP6 000005fe: DUP9 000005ff: DUP9 00000600: CALL 00000601: SWAP4 00000602: POP 00000603: POP 00000604: POP 00000605: POP 00000606: ISZERO 00000607: ISZERO 00000608: PUSH2 0x0610 0000060b: JUMPI 0000060c: PUSH1 0x00 0000060e: DUP1 0000060f: REVERT 00000610: JUMPDEST 00000611: PUSH1 0x02 00000613: PUSH1 0x00 00000615: SWAP1 00000616: SLOAD 00000617: SWAP1 00000618: PUSH2 0x0100 0000061b: EXP 0000061c: SWAP1 0000061d: DIV 0000061e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000633: AND 00000634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000649: AND 0000064a: PUSH2 0x08fc 0000064d: PUSH2 0x0674 00000650: PUSH1 0x0b 00000652: SLOAD 00000653: PUSH2 0x0666 00000656: PUSH1 0x64 00000658: DUP12 00000659: PUSH2 0x0a8b 0000065c: SWAP1 0000065d: SWAP2 0000065e: SWAP1 0000065f: PUSH4 0xffffffff 00000664: AND 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH2 0x0aa6 0000066a: SWAP1 0000066b: SWAP2 0000066c: SWAP1 0000066d: PUSH4 0xffffffff 00000672: AND 00000673: JUMP 00000674: JUMPDEST 00000675: SWAP1 00000676: DUP2 00000677: ISZERO 00000678: MUL 00000679: SWAP1 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: PUSH1 0x00 0000067f: PUSH1 0x40 00000681: MLOAD 00000682: DUP1 00000683: DUP4 00000684: SUB 00000685: DUP2 00000686: DUP6 00000687: DUP9 00000688: DUP9 00000689: CALL 0000068a: SWAP4 0000068b: POP 0000068c: POP 0000068d: POP 0000068e: POP 0000068f: ISZERO 00000690: ISZERO 00000691: PUSH2 0x0699 00000694: JUMPI 00000695: PUSH1 0x00 00000697: DUP1 00000698: REVERT 00000699: JUMPDEST 0000069a: PUSH2 0x06c8 0000069d: PUSH8 0x0de0b6b3a7640000 000006a6: PUSH2 0x06ba 000006a9: DUP9 000006aa: PUSH1 0x09 000006ac: SLOAD 000006ad: PUSH2 0x0aa6 000006b0: SWAP1 000006b1: SWAP2 000006b2: SWAP1 000006b3: PUSH4 0xffffffff 000006b8: AND 000006b9: JUMP 000006ba: JUMPDEST 000006bb: PUSH2 0x0a8b 000006be: SWAP1 000006bf: SWAP2 000006c0: SWAP1 000006c1: PUSH4 0xffffffff 000006c6: AND 000006c7: JUMP 000006c8: JUMPDEST 000006c9: SWAP4 000006ca: POP 000006cb: PUSH1 0x00 000006cd: SWAP3 000006ce: POP 000006cf: PUSH2 0x06d7 000006d2: DUP7 000006d3: PUSH2 0x0ad9 000006d6: JUMP 000006d7: JUMPDEST 000006d8: SWAP2 000006d9: POP 000006da: PUSH2 0x06ff 000006dd: PUSH1 0x64 000006df: PUSH2 0x06f1 000006e2: DUP5 000006e3: DUP8 000006e4: PUSH2 0x0aa6 000006e7: SWAP1 000006e8: SWAP2 000006e9: SWAP1 000006ea: PUSH4 0xffffffff 000006ef: AND 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH2 0x0a8b 000006f5: SWAP1 000006f6: SWAP2 000006f7: SWAP1 000006f8: PUSH4 0xffffffff 000006fd: AND 000006fe: JUMP 000006ff: JUMPDEST 00000700: SWAP3 00000701: POP 00000702: DUP3 00000703: DUP5 00000704: ADD 00000705: SWAP4 00000706: POP 00000707: DUP4 00000708: PUSH1 0x0c 0000070a: PUSH1 0x00 0000070c: DUP3 0000070d: DUP3 0000070e: SLOAD 0000070f: ADD 00000710: SWAP3 00000711: POP 00000712: POP 00000713: DUP2 00000714: SWAP1 00000715: SSTORE 00000716: POP 00000717: PUSH1 0x0d 00000719: PUSH1 0x00 0000071b: SWAP1 0000071c: SLOAD 0000071d: SWAP1 0000071e: PUSH2 0x0100 00000721: EXP 00000722: SWAP1 00000723: DIV 00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000739: AND 0000073a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074f: AND 00000750: PUSH4 0xa9059cbb 00000755: DUP7 00000756: DUP7 00000757: PUSH1 0x00 00000759: PUSH1 0x40 0000075b: MLOAD 0000075c: PUSH1 0x20 0000075e: ADD 0000075f: MSTORE 00000760: PUSH1 0x40 00000762: MLOAD 00000763: DUP4 00000764: PUSH4 0xffffffff 00000769: AND 0000076a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000788: MUL 00000789: DUP2 0000078a: MSTORE 0000078b: PUSH1 0x04 0000078d: ADD 0000078e: DUP1 0000078f: DUP4 00000790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a5: AND 000007a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007bb: AND 000007bc: DUP2 000007bd: MSTORE 000007be: PUSH1 0x20 000007c0: ADD 000007c1: DUP3 000007c2: DUP2 000007c3: MSTORE 000007c4: PUSH1 0x20 000007c6: ADD 000007c7: SWAP3 000007c8: POP 000007c9: POP 000007ca: POP 000007cb: PUSH1 0x20 000007cd: PUSH1 0x40 000007cf: MLOAD 000007d0: DUP1 000007d1: DUP4 000007d2: SUB 000007d3: DUP2 000007d4: PUSH1 0x00 000007d6: DUP8 000007d7: DUP1 000007d8: EXTCODESIZE 000007d9: ISZERO 000007da: ISZERO 000007db: PUSH2 0x07e3 000007de: JUMPI 000007df: PUSH1 0x00 000007e1: DUP1 000007e2: REVERT 000007e3: JUMPDEST 000007e4: PUSH2 0x02c6 000007e7: GAS 000007e8: SUB 000007e9: CALL 000007ea: ISZERO 000007eb: ISZERO 000007ec: PUSH2 0x07f4 000007ef: JUMPI 000007f0: PUSH1 0x00 000007f2: DUP1 000007f3: REVERT 000007f4: JUMPDEST 000007f5: POP 000007f6: POP 000007f7: POP 000007f8: PUSH1 0x40 000007fa: MLOAD 000007fb: DUP1 000007fc: MLOAD 000007fd: SWAP1 000007fe: POP 000007ff: POP 00000800: POP 00000801: POP 00000802: POP 00000803: POP 00000804: POP 00000805: POP 00000806: JUMP 00000807: JUMPDEST 00000808: PUSH1 0x0c 0000080a: SLOAD 0000080b: DUP2 0000080c: JUMP 0000080d: JUMPDEST 0000080e: PUSH1 0x00 00000810: DUP1 00000811: SWAP1 00000812: SLOAD 00000813: SWAP1 00000814: PUSH2 0x0100 00000817: EXP 00000818: SWAP1 00000819: DIV 0000081a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082f: AND 00000830: DUP2 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x00 00000835: DUP1 00000836: SWAP1 00000837: SLOAD 00000838: SWAP1 00000839: PUSH2 0x0100 0000083c: EXP 0000083d: SWAP1 0000083e: DIV 0000083f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000854: AND 00000855: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086a: AND 0000086b: CALLER 0000086c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000881: AND 00000882: EQ 00000883: ISZERO 00000884: ISZERO 00000885: PUSH2 0x088d 00000888: JUMPI 00000889: PUSH1 0x00 0000088b: DUP1 0000088c: REVERT 0000088d: JUMPDEST 0000088e: PUSH1 0x00 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: DUP2 000008a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bc: AND 000008bd: EQ 000008be: ISZERO 000008bf: ISZERO 000008c0: ISZERO 000008c1: PUSH2 0x08c9 000008c4: JUMPI 000008c5: PUSH1 0x00 000008c7: DUP1 000008c8: REVERT 000008c9: JUMPDEST 000008ca: DUP1 000008cb: PUSH1 0x00 000008cd: DUP1 000008ce: PUSH2 0x0100 000008d1: EXP 000008d2: DUP2 000008d3: SLOAD 000008d4: DUP2 000008d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ea: MUL 000008eb: NOT 000008ec: AND 000008ed: SWAP1 000008ee: DUP4 000008ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000904: AND 00000905: MUL 00000906: OR 00000907: SWAP1 00000908: SSTORE 00000909: POP 0000090a: POP 0000090b: JUMP 0000090c: JUMPDEST 0000090d: PUSH1 0x0d 0000090f: PUSH1 0x00 00000911: SWAP1 00000912: SLOAD 00000913: SWAP1 00000914: PUSH2 0x0100 00000917: EXP 00000918: SWAP1 00000919: DIV 0000091a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000092f: AND 00000930: DUP2 00000931: JUMP 00000932: JUMPDEST 00000933: PUSH1 0x00 00000935: DUP1 00000936: PUSH1 0x00 00000938: PUSH2 0x0952 0000093b: PUSH8 0x0de0b6b3a7640000 00000944: DUP6 00000945: PUSH2 0x0a8b 00000948: SWAP1 00000949: SWAP2 0000094a: SWAP1 0000094b: PUSH4 0xffffffff 00000950: AND 00000951: JUMP 00000952: JUMPDEST 00000953: SWAP2 00000954: POP 00000955: PUSH1 0x00 00000957: SWAP1 00000958: POP 00000959: PUSH1 0x05 0000095b: SLOAD 0000095c: TIMESTAMP 0000095d: LT 0000095e: ISZERO 0000095f: DUP1 00000960: ISZERO 00000961: PUSH2 0x0971 00000964: JUMPI 00000965: POP 00000966: PUSH3 0x02a300 0000096a: PUSH1 0x05 0000096c: SLOAD 0000096d: ADD 0000096e: TIMESTAMP 0000096f: GT 00000970: ISZERO 00000971: JUMPDEST 00000972: ISZERO 00000973: PUSH2 0x0981 00000976: JUMPI 00000977: PUSH1 0x23 00000979: DUP2 0000097a: ADD 0000097b: SWAP1 0000097c: POP 0000097d: PUSH2 0x0a0a 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH3 0x02a300 00000986: PUSH1 0x05 00000988: SLOAD 00000989: ADD 0000098a: TIMESTAMP 0000098b: LT 0000098c: ISZERO 0000098d: DUP1 0000098e: ISZERO 0000098f: PUSH2 0x099f 00000992: JUMPI 00000993: POP 00000994: PUSH3 0x093a80 00000998: PUSH1 0x05 0000099a: SLOAD 0000099b: ADD 0000099c: TIMESTAMP 0000099d: GT 0000099e: ISZERO 0000099f: JUMPDEST 000009a0: ISZERO 000009a1: PUSH2 0x09af 000009a4: JUMPI 000009a5: PUSH1 0x21 000009a7: DUP2 000009a8: ADD 000009a9: SWAP1 000009aa: POP 000009ab: PUSH2 0x0a09 000009ae: JUMP 000009af: JUMPDEST 000009b0: PUSH3 0x093a80 000009b4: PUSH1 0x05 000009b6: SLOAD 000009b7: ADD 000009b8: TIMESTAMP 000009b9: LT 000009ba: ISZERO 000009bb: DUP1 000009bc: ISZERO 000009bd: PUSH2 0x09cd 000009c0: JUMPI 000009c1: POP 000009c2: PUSH3 0x127500 000009c6: PUSH1 0x05 000009c8: SLOAD 000009c9: ADD 000009ca: TIMESTAMP 000009cb: GT 000009cc: ISZERO 000009cd: JUMPDEST 000009ce: ISZERO 000009cf: PUSH2 0x09dd 000009d2: JUMPI 000009d3: PUSH1 0x1f 000009d5: DUP2 000009d6: ADD 000009d7: SWAP1 000009d8: POP 000009d9: PUSH2 0x0a08 000009dc: JUMP 000009dd: JUMPDEST 000009de: PUSH3 0x127500 000009e2: PUSH1 0x05 000009e4: SLOAD 000009e5: ADD 000009e6: TIMESTAMP 000009e7: LT 000009e8: ISZERO 000009e9: DUP1 000009ea: ISZERO 000009eb: PUSH2 0x09fb 000009ee: JUMPI 000009ef: POP 000009f0: PUSH3 0x1baf80 000009f4: PUSH1 0x05 000009f6: SLOAD 000009f7: ADD 000009f8: TIMESTAMP 000009f9: GT 000009fa: ISZERO 000009fb: JUMPDEST 000009fc: ISZERO 000009fd: PUSH2 0x0a07 00000a00: JUMPI 00000a01: PUSH1 0x1e 00000a03: DUP2 00000a04: ADD 00000a05: SWAP1 00000a06: POP 00000a07: JUMPDEST 00000a08: JUMPDEST 00000a09: JUMPDEST 00000a0a: JUMPDEST 00000a0b: PUSH1 0x01 00000a0d: DUP3 00000a0e: LT 00000a0f: ISZERO 00000a10: DUP1 00000a11: ISZERO 00000a12: PUSH2 0x0a1b 00000a15: JUMPI 00000a16: POP 00000a17: PUSH1 0x0a 00000a19: DUP3 00000a1a: LT 00000a1b: JUMPDEST 00000a1c: ISZERO 00000a1d: PUSH2 0x0a2b 00000a20: JUMPI 00000a21: PUSH1 0x02 00000a23: DUP2 00000a24: ADD 00000a25: SWAP1 00000a26: POP 00000a27: PUSH2 0x0a81 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: PUSH1 0x0a 00000a2e: DUP3 00000a2f: LT 00000a30: ISZERO 00000a31: DUP1 00000a32: ISZERO 00000a33: PUSH2 0x0a3c 00000a36: JUMPI 00000a37: POP 00000a38: PUSH1 0x32 00000a3a: DUP3 00000a3b: LT 00000a3c: JUMPDEST 00000a3d: ISZERO 00000a3e: PUSH2 0x0a4c 00000a41: JUMPI 00000a42: PUSH1 0x04 00000a44: DUP2 00000a45: ADD 00000a46: SWAP1 00000a47: POP 00000a48: PUSH2 0x0a80 00000a4b: JUMP 00000a4c: JUMPDEST 00000a4d: PUSH1 0x32 00000a4f: DUP3 00000a50: LT 00000a51: ISZERO 00000a52: DUP1 00000a53: ISZERO 00000a54: PUSH2 0x0a5d 00000a57: JUMPI 00000a58: POP 00000a59: PUSH1 0x64 00000a5b: DUP3 00000a5c: LT 00000a5d: JUMPDEST 00000a5e: ISZERO 00000a5f: PUSH2 0x0a6d 00000a62: JUMPI 00000a63: PUSH1 0x08 00000a65: DUP2 00000a66: ADD 00000a67: SWAP1 00000a68: POP 00000a69: PUSH2 0x0a7f 00000a6c: JUMP 00000a6d: JUMPDEST 00000a6e: PUSH1 0x64 00000a70: DUP3 00000a71: LT 00000a72: ISZERO 00000a73: ISZERO 00000a74: PUSH2 0x0a7e 00000a77: JUMPI 00000a78: PUSH1 0x0a 00000a7a: DUP2 00000a7b: ADD 00000a7c: SWAP1 00000a7d: POP 00000a7e: JUMPDEST 00000a7f: JUMPDEST 00000a80: JUMPDEST 00000a81: JUMPDEST 00000a82: DUP1 00000a83: SWAP3 00000a84: POP 00000a85: POP 00000a86: POP 00000a87: SWAP2 00000a88: SWAP1 00000a89: POP 00000a8a: JUMP 00000a8b: JUMPDEST 00000a8c: PUSH1 0x00 00000a8e: DUP1 00000a8f: DUP3 00000a90: DUP5 00000a91: DUP2 00000a92: ISZERO 00000a93: ISZERO 00000a94: PUSH2 0x0a99 00000a97: JUMPI 00000a98: INVALID 00000a99: JUMPDEST 00000a9a: DIV 00000a9b: SWAP1 00000a9c: POP 00000a9d: DUP1 00000a9e: SWAP2 00000a9f: POP 00000aa0: POP 00000aa1: SWAP3 00000aa2: SWAP2 00000aa3: POP 00000aa4: POP 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH1 0x00 00000aa9: DUP1 00000aaa: DUP3 00000aab: DUP5 00000aac: MUL 00000aad: SWAP1 00000aae: POP 00000aaf: PUSH1 0x00 00000ab1: DUP5 00000ab2: EQ 00000ab3: DUP1 00000ab4: PUSH2 0x0ac7 00000ab7: JUMPI 00000ab8: POP 00000ab9: DUP3 00000aba: DUP5 00000abb: DUP3 00000abc: DUP2 00000abd: ISZERO 00000abe: ISZERO 00000abf: PUSH2 0x0ac4 00000ac2: JUMPI 00000ac3: INVALID 00000ac4: JUMPDEST 00000ac5: DIV 00000ac6: EQ 00000ac7: JUMPDEST 00000ac8: ISZERO 00000ac9: ISZERO 00000aca: PUSH2 0x0acf 00000acd: JUMPI 00000ace: INVALID 00000acf: JUMPDEST 00000ad0: DUP1 00000ad1: SWAP2 00000ad2: POP 00000ad3: POP 00000ad4: SWAP3 00000ad5: SWAP2 00000ad6: POP 00000ad7: POP 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: PUSH1 0x00 00000adc: DUP1 00000add: PUSH1 0x00 00000adf: PUSH2 0x0af9 00000ae2: PUSH8 0x0de0b6b3a7640000 00000aeb: DUP6 00000aec: PUSH2 0x0a8b 00000aef: SWAP1 00000af0: SWAP2 00000af1: SWAP1 00000af2: PUSH4 0xffffffff 00000af7: AND 00000af8: JUMP 00000af9: JUMPDEST 00000afa: SWAP2 00000afb: POP 00000afc: PUSH1 0x00 00000afe: SWAP1 00000aff: POP 00000b00: PUSH1 0x07 00000b02: SLOAD 00000b03: TIMESTAMP 00000b04: LT 00000b05: ISZERO 00000b06: DUP1 00000b07: ISZERO 00000b08: PUSH2 0x0b18 00000b0b: JUMPI 00000b0c: POP 00000b0d: PUSH3 0x02a300 00000b11: PUSH1 0x07 00000b13: SLOAD 00000b14: ADD 00000b15: TIMESTAMP 00000b16: GT 00000b17: ISZERO 00000b18: JUMPDEST 00000b19: ISZERO 00000b1a: PUSH2 0x0b28 00000b1d: JUMPI 00000b1e: PUSH1 0x14 00000b20: DUP2 00000b21: ADD 00000b22: SWAP1 00000b23: POP 00000b24: PUSH2 0x0bb1 00000b27: JUMP 00000b28: JUMPDEST 00000b29: PUSH3 0x02a300 00000b2d: PUSH1 0x07 00000b2f: SLOAD 00000b30: ADD 00000b31: TIMESTAMP 00000b32: LT 00000b33: ISZERO 00000b34: DUP1 00000b35: ISZERO 00000b36: PUSH2 0x0b46 00000b39: JUMPI 00000b3a: POP 00000b3b: PUSH3 0x093a80 00000b3f: PUSH1 0x07 00000b41: SLOAD 00000b42: ADD 00000b43: TIMESTAMP 00000b44: GT 00000b45: ISZERO 00000b46: JUMPDEST 00000b47: ISZERO 00000b48: PUSH2 0x0b56 00000b4b: JUMPI 00000b4c: PUSH1 0x12 00000b4e: DUP2 00000b4f: ADD 00000b50: SWAP1 00000b51: POP 00000b52: PUSH2 0x0bb0 00000b55: JUMP 00000b56: JUMPDEST 00000b57: PUSH3 0x093a80 00000b5b: PUSH1 0x07 00000b5d: SLOAD 00000b5e: ADD 00000b5f: TIMESTAMP 00000b60: LT 00000b61: ISZERO 00000b62: DUP1 00000b63: ISZERO 00000b64: PUSH2 0x0b74 00000b67: JUMPI 00000b68: POP 00000b69: PUSH3 0x127500 00000b6d: PUSH1 0x07 00000b6f: SLOAD 00000b70: ADD 00000b71: TIMESTAMP 00000b72: GT 00000b73: ISZERO 00000b74: JUMPDEST 00000b75: ISZERO 00000b76: PUSH2 0x0b84 00000b79: JUMPI 00000b7a: PUSH1 0x0f 00000b7c: DUP2 00000b7d: ADD 00000b7e: SWAP1 00000b7f: POP 00000b80: PUSH2 0x0baf 00000b83: JUMP 00000b84: JUMPDEST 00000b85: PUSH3 0x127500 00000b89: PUSH1 0x07 00000b8b: SLOAD 00000b8c: ADD 00000b8d: TIMESTAMP 00000b8e: LT 00000b8f: ISZERO 00000b90: DUP1 00000b91: ISZERO 00000b92: PUSH2 0x0ba2 00000b95: JUMPI 00000b96: POP 00000b97: PUSH3 0x1baf80 00000b9b: PUSH1 0x07 00000b9d: SLOAD 00000b9e: ADD 00000b9f: TIMESTAMP 00000ba0: GT 00000ba1: ISZERO 00000ba2: JUMPDEST 00000ba3: ISZERO 00000ba4: PUSH2 0x0bae 00000ba7: JUMPI 00000ba8: PUSH1 0x0a 00000baa: DUP2 00000bab: ADD 00000bac: SWAP1 00000bad: POP 00000bae: JUMPDEST 00000baf: JUMPDEST 00000bb0: JUMPDEST 00000bb1: JUMPDEST 00000bb2: PUSH1 0x01 00000bb4: DUP3 00000bb5: LT 00000bb6: ISZERO 00000bb7: DUP1 00000bb8: ISZERO 00000bb9: PUSH2 0x0bc2 00000bbc: JUMPI 00000bbd: POP 00000bbe: PUSH1 0x0a 00000bc0: DUP3 00000bc1: LT 00000bc2: JUMPDEST 00000bc3: ISZERO 00000bc4: PUSH2 0x0bd2 00000bc7: JUMPI 00000bc8: PUSH1 0x02 00000bca: DUP2 00000bcb: ADD 00000bcc: SWAP1 00000bcd: POP 00000bce: PUSH2 0x0c28 00000bd1: JUMP 00000bd2: JUMPDEST 00000bd3: PUSH1 0x0a 00000bd5: DUP3 00000bd6: LT 00000bd7: ISZERO 00000bd8: DUP1 00000bd9: ISZERO 00000bda: PUSH2 0x0be3 00000bdd: JUMPI 00000bde: POP 00000bdf: PUSH1 0x32 00000be1: DUP3 00000be2: LT 00000be3: JUMPDEST 00000be4: ISZERO 00000be5: PUSH2 0x0bf3 00000be8: JUMPI 00000be9: PUSH1 0x04 00000beb: DUP2 00000bec: ADD 00000bed: SWAP1 00000bee: POP 00000bef: PUSH2 0x0c27 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x32 00000bf6: DUP3 00000bf7: LT 00000bf8: ISZERO 00000bf9: DUP1 00000bfa: ISZERO 00000bfb: PUSH2 0x0c04 00000bfe: JUMPI 00000bff: POP 00000c00: PUSH1 0x64 00000c02: DUP3 00000c03: LT 00000c04: JUMPDEST 00000c05: ISZERO 00000c06: PUSH2 0x0c14 00000c09: JUMPI 00000c0a: PUSH1 0x08 00000c0c: DUP2 00000c0d: ADD 00000c0e: SWAP1 00000c0f: POP 00000c10: PUSH2 0x0c26 00000c13: JUMP 00000c14: JUMPDEST 00000c15: PUSH1 0x64 00000c17: DUP3 00000c18: LT 00000c19: ISZERO 00000c1a: ISZERO 00000c1b: PUSH2 0x0c25 00000c1e: JUMPI 00000c1f: PUSH1 0x0a 00000c21: DUP2 00000c22: ADD 00000c23: SWAP1 00000c24: POP 00000c25: JUMPDEST 00000c26: JUMPDEST 00000c27: JUMPDEST 00000c28: JUMPDEST 00000c29: DUP1 00000c2a: SWAP3 00000c2b: POP 00000c2c: POP 00000c2d: POP 00000c2e: SWAP2 00000c2f: SWAP1 00000c30: POP 00000c31: JUMP 00000c32: STOP 00000c33: LOG1 00000c34: PUSH6 0x627a7a723058 00000c3b: KECCAK256 00000c3c: BYTE 00000c3d: CREATE 00000c3e: PUSH32
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc969400cfd7d961db90218f108945711966167f6e2738375304f0e4611494728
call_targets:
0x039edb0d0613c58f45a777ab5dbf7cafcc7de9cd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc969400cfd7d961db90218f108945711966167f6e2738375304f0e4611494728",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x039edb0d0613c58f45a777ab5dbf7cafcc7de9cd"
],
"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": "0x5ed9ebfc",
"selector": "0x5ed9ebfc",
"calldata_variants": [
"0x5ed9ebfc",
"0x5ed9ebfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 730,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 867,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1219,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 2155,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc969400cfd7d961db90218f108945711966167f6e2738375304f0e4611494728
call_targets:
0x039edb0d0613c58f45a777ab5dbf7cafcc7de9cd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc969400cfd7d961db90218f108945711966167f6e2738375304f0e4611494728",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x039edb0d0613c58f45a777ab5dbf7cafcc7de9cd"
],
"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": "0x5ed9ebfc",
"selector": "0x5ed9ebfc",
"calldata_variants": [
"0x5ed9ebfc",
"0x5ed9ebfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 730,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 867,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1219,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 2155,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x8a5c2c37c30644328e383f87e47514b6aa8dbb61f4ee86b85ccde2af1f1c06b7
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0x8a5c2c37c30644328e383f87e47514b6aa8dbb61f4ee86b85ccde2af1f1c06b7",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ed9ebfc",
"selector": "0x5ed9ebfc",
"calldata_variants": [
"0x5ed9ebfc",
"0x5ed9ebfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|