019ba9a5-c77c-7060-b3b7-3bebec327836
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 |
|---|---|---|---|---|
| 37395 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37396 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37397 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37398 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37399 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37400 | detector.run | complete | 1 / 3 | 3 months ago |
| 37401 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0172 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x02d05d3f 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x0349 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x1722a8b0 00000044: EQ 00000045: PUSH2 0x0378 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x19e66508 0000004f: EQ 00000050: PUSH2 0x039d 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x2095f2d4 0000005a: EQ 0000005b: PUSH2 0x03cc 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x2a1be747 00000065: EQ 00000066: PUSH2 0x03e1 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x38af3eed 00000070: EQ 00000071: PUSH2 0x0406 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x3ccfd60b 0000007b: EQ 0000007c: PUSH2 0x0435 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x3f3a78d5 00000086: EQ 00000087: PUSH2 0x044a 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x46287ddb 00000091: EQ 00000092: PUSH2 0x046f 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x51c5d54d 0000009c: EQ 0000009d: PUSH2 0x0494 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x51ded741 000000a7: EQ 000000a8: PUSH2 0x04b9 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x590e1ae3 000000b2: EQ 000000b3: PUSH2 0x04de 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x5f48f393 000000bd: EQ 000000be: PUSH2 0x04f3 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x612472fe 000000c8: EQ 000000c9: PUSH2 0x0518 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x6fb66278 000000d3: EQ 000000d4: PUSH2 0x0540 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x70a08231 000000de: EQ 000000df: PUSH2 0x0565 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x9b2cb5d8 000000e9: EQ 000000ea: PUSH2 0x0596 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x9c472c70 000000f4: EQ 000000f5: PUSH2 0x05bb 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x9c5e9023 000000ff: EQ 00000100: PUSH2 0x05e0 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0xa969574d 0000010a: EQ 0000010b: PUSH2 0x05f5 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0xb2394040 00000115: EQ 00000116: PUSH2 0x061a 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0xb3007dc6 00000120: EQ 00000121: PUSH2 0x063f 00000124: JUMPI 00000125: DUP1 00000126: PUSH4 0xb65a1350 0000012b: EQ 0000012c: PUSH2 0x0664 0000012f: JUMPI 00000130: DUP1 00000131: PUSH4 0xbe9a6555 00000136: EQ 00000137: PUSH2 0x0689 0000013a: JUMPI 0000013b: DUP1 0000013c: PUSH4 0xc040e6b8 00000141: EQ 00000142: PUSH2 0x06ae 00000145: JUMPI 00000146: DUP1 00000147: PUSH4 0xcbf2ad23 0000014c: EQ 0000014d: PUSH2 0x06e5 00000150: JUMPI 00000151: DUP1 00000152: PUSH4 0xefbe1c1c 00000157: EQ 00000158: PUSH2 0x0714 0000015b: JUMPI 0000015c: DUP1 0000015d: PUSH4 0xf0ea4bfc 00000162: EQ 00000163: PUSH2 0x0739 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0xf1d841f1 0000016d: EQ 0000016e: PUSH2 0x075e 00000171: JUMPI 00000172: JUMPDEST 00000173: JUMPDEST 00000174: PUSH1 0x00 00000176: DUP1 00000177: DUP1 00000178: DUP1 00000179: DUP1 0000017a: DUP1 0000017b: JUMPDEST 0000017c: PUSH1 0x12 0000017e: SLOAD 0000017f: PUSH1 0xff 00000181: AND 00000182: PUSH1 0x02 00000184: DUP2 00000185: GT 00000186: ISZERO 00000187: PUSH2 0x018c 0000018a: JUMPI 0000018b: INVALID 0000018c: JUMPDEST 0000018d: EQ 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: PUSH1 0x13 00000199: SLOAD 0000019a: TIMESTAMP 0000019b: GT 0000019c: PUSH2 0x01a4 0000019f: JUMPI 000001a0: PUSH1 0x00 000001a2: DUP1 000001a3: REVERT 000001a4: JUMPDEST 000001a5: PUSH1 0x14 000001a7: SLOAD 000001a8: TIMESTAMP 000001a9: LT 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH1 0x05 000001b5: SLOAD 000001b6: CALLVALUE 000001b7: LT 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: CALLER 000001c3: SWAP5 000001c4: POP 000001c5: CALLVALUE 000001c6: SWAP4 000001c7: POP 000001c8: PUSH2 0x01d0 000001cb: CALLVALUE 000001cc: PUSH2 0x0783 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH1 0x16 000001d3: SLOAD 000001d4: SWAP1 000001d5: SWAP4 000001d6: POP 000001d7: PUSH1 0x01 000001d9: PUSH1 0xa0 000001db: PUSH1 0x02 000001dd: EXP 000001de: SUB 000001df: AND 000001e0: PUSH4 0x867904b4 000001e5: DUP7 000001e6: DUP6 000001e7: PUSH1 0x00 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: MSTORE 000001f0: PUSH1 0x40 000001f2: MLOAD 000001f3: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000211: PUSH4 0xffffffff 00000216: DUP6 00000217: AND 00000218: MUL 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x01 0000021d: PUSH1 0xa0 0000021f: PUSH1 0x02 00000221: EXP 00000222: SUB 00000223: SWAP1 00000224: SWAP3 00000225: AND 00000226: PUSH1 0x04 00000228: DUP4 00000229: ADD 0000022a: MSTORE 0000022b: PUSH1 0x24 0000022d: DUP3 0000022e: ADD 0000022f: MSTORE 00000230: PUSH1 0x44 00000232: ADD 00000233: PUSH1 0x20 00000235: PUSH1 0x40 00000237: MLOAD 00000238: DUP1 00000239: DUP4 0000023a: SUB 0000023b: DUP2 0000023c: PUSH1 0x00 0000023e: DUP8 0000023f: DUP1 00000240: EXTCODESIZE 00000241: ISZERO 00000242: ISZERO 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: PUSH2 0x02c6 0000024f: GAS 00000250: SUB 00000251: CALL 00000252: ISZERO 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: POP 0000025f: POP 00000260: PUSH1 0x40 00000262: MLOAD 00000263: DUP1 00000264: MLOAD 00000265: SWAP1 00000266: POP 00000267: ISZERO 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: PUSH1 0x0c 00000274: SLOAD 00000275: PUSH1 0x13 00000277: SLOAD 00000278: ADD 00000279: TIMESTAMP 0000027a: GT 0000027b: PUSH2 0x02f9 0000027e: JUMPI 0000027f: PUSH2 0x03e8 00000282: PUSH1 0x05 00000284: DUP6 00000285: MUL 00000286: JUMPDEST 00000287: PUSH1 0x01 00000289: SLOAD 0000028a: SWAP2 0000028b: SWAP1 0000028c: DIV 0000028d: SWAP3 0000028e: POP 0000028f: PUSH1 0x01 00000291: PUSH1 0xa0 00000293: PUSH1 0x02 00000295: EXP 00000296: SUB 00000297: AND 00000298: DUP3 00000299: ISZERO 0000029a: PUSH2 0x08fc 0000029d: MUL 0000029e: DUP4 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: PUSH1 0x00 000002a4: PUSH1 0x40 000002a6: MLOAD 000002a7: DUP1 000002a8: DUP4 000002a9: SUB 000002aa: DUP2 000002ab: DUP6 000002ac: DUP9 000002ad: DUP9 000002ae: CALL 000002af: SWAP4 000002b0: POP 000002b1: POP 000002b2: POP 000002b3: POP 000002b4: ISZERO 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: PUSH1 0x00 000002c1: SLOAD 000002c2: PUSH1 0x01 000002c4: PUSH1 0xa0 000002c6: PUSH1 0x02 000002c8: EXP 000002c9: SUB 000002ca: AND 000002cb: DUP3 000002cc: DUP6 000002cd: SUB 000002ce: DUP1 000002cf: ISZERO 000002d0: PUSH2 0x08fc 000002d3: MUL 000002d4: SWAP1 000002d5: PUSH1 0x40 000002d7: MLOAD 000002d8: PUSH1 0x00 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: DUP1 000002de: DUP4 000002df: SUB 000002e0: DUP2 000002e1: DUP6 000002e2: DUP9 000002e3: DUP9 000002e4: CALL 000002e5: SWAP4 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: ISZERO 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: PUSH2 0x0318 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH1 0x01 000002fc: PUSH1 0xa0 000002fe: PUSH1 0x02 00000300: EXP 00000301: SUB 00000302: DUP6 00000303: AND 00000304: PUSH1 0x00 00000306: SWAP1 00000307: DUP2 00000308: MSTORE 00000309: PUSH1 0x17 0000030b: PUSH1 0x20 0000030d: MSTORE 0000030e: PUSH1 0x40 00000310: SWAP1 00000311: KECCAK256 00000312: DUP1 00000313: SLOAD 00000314: DUP6 00000315: ADD 00000316: SWAP1 00000317: SSTORE 00000318: JUMPDEST 00000319: PUSH1 0x15 0000031b: DUP1 0000031c: SLOAD 0000031d: DUP6 0000031e: ADD 0000031f: SWAP1 00000320: DUP2 00000321: SWAP1 00000322: SSTORE 00000323: PUSH1 0x04 00000325: SLOAD 00000326: SWAP1 00000327: LT 00000328: PUSH2 0x0340 0000032b: JUMPI 0000032c: PUSH1 0x12 0000032e: DUP1 0000032f: SLOAD 00000330: PUSH1 0x01 00000332: SWAP2 00000333: SWAP1 00000334: PUSH1 0xff 00000336: NOT 00000337: AND 00000338: DUP3 00000339: DUP1 0000033a: JUMPDEST 0000033b: MUL 0000033c: OR 0000033d: SWAP1 0000033e: SSTORE 0000033f: POP 00000340: JUMPDEST 00000341: JUMPDEST 00000342: JUMPDEST 00000343: POP 00000344: POP 00000345: POP 00000346: POP 00000347: POP 00000348: STOP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: ISZERO 0000034c: PUSH2 0x0354 0000034f: JUMPI 00000350: PUSH1 0x00 00000352: DUP1 00000353: REVERT 00000354: JUMPDEST 00000355: PUSH2 0x035c 00000358: PUSH2 0x08b4 0000035b: JUMP 0000035c: JUMPDEST 0000035d: PUSH1 0x40 0000035f: MLOAD 00000360: PUSH1 0x01 00000362: PUSH1 0xa0 00000364: PUSH1 0x02 00000366: EXP 00000367: SUB 00000368: SWAP1 00000369: SWAP2 0000036a: AND 0000036b: DUP2 0000036c: MSTORE 0000036d: PUSH1 0x20 0000036f: ADD 00000370: PUSH1 0x40 00000372: MLOAD 00000373: DUP1 00000374: SWAP2 00000375: SUB 00000376: SWAP1 00000377: RETURN 00000378: JUMPDEST 00000379: CALLVALUE 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: PUSH2 0x038b 00000387: PUSH2 0x08c3 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x40 0000038e: MLOAD 0000038f: SWAP1 00000390: DUP2 00000391: MSTORE 00000392: PUSH1 0x20 00000394: ADD 00000395: PUSH1 0x40 00000397: MLOAD 00000398: DUP1 00000399: SWAP2 0000039a: SUB 0000039b: SWAP1 0000039c: RETURN 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: ISZERO 000003a0: PUSH2 0x03a8 000003a3: JUMPI 000003a4: PUSH1 0x00 000003a6: DUP1 000003a7: REVERT 000003a8: JUMPDEST 000003a9: PUSH2 0x035c 000003ac: PUSH2 0x08c9 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH1 0x40 000003b3: MLOAD 000003b4: PUSH1 0x01 000003b6: PUSH1 0xa0 000003b8: PUSH1 0x02 000003ba: EXP 000003bb: SUB 000003bc: SWAP1 000003bd: SWAP2 000003be: AND 000003bf: DUP2 000003c0: MSTORE 000003c1: PUSH1 0x20 000003c3: ADD 000003c4: PUSH1 0x40 000003c6: MLOAD 000003c7: DUP1 000003c8: SWAP2 000003c9: SUB 000003ca: SWAP1 000003cb: RETURN 000003cc: JUMPDEST 000003cd: CALLVALUE 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: PUSH2 0x03df 000003db: PUSH2 0x08d8 000003de: JUMP 000003df: JUMPDEST 000003e0: STOP 000003e1: JUMPDEST 000003e2: CALLVALUE 000003e3: ISZERO 000003e4: PUSH2 0x03ec 000003e7: JUMPI 000003e8: PUSH1 0x00 000003ea: DUP1 000003eb: REVERT 000003ec: JUMPDEST 000003ed: PUSH2 0x038b 000003f0: PUSH2 0x091f 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: SWAP1 000003f9: DUP2 000003fa: MSTORE 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: PUSH1 0x40 00000400: MLOAD 00000401: DUP1 00000402: SWAP2 00000403: SUB 00000404: SWAP1 00000405: RETURN 00000406: JUMPDEST 00000407: CALLVALUE 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: PUSH2 0x035c 00000415: PUSH2 0x0925 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH1 0x40 0000041c: MLOAD 0000041d: PUSH1 0x01 0000041f: PUSH1 0xa0 00000421: PUSH1 0x02 00000423: EXP 00000424: SUB 00000425: SWAP1 00000426: SWAP2 00000427: AND 00000428: DUP2 00000429: MSTORE 0000042a: PUSH1 0x20 0000042c: ADD 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: SWAP2 00000432: SUB 00000433: SWAP1 00000434: RETURN 00000435: JUMPDEST 00000436: CALLVALUE 00000437: ISZERO 00000438: PUSH2 0x0440 0000043b: JUMPI 0000043c: PUSH1 0x00 0000043e: DUP1 0000043f: REVERT 00000440: JUMPDEST 00000441: PUSH2 0x03df 00000444: PUSH2 0x0934 00000447: JUMP 00000448: JUMPDEST 00000449: STOP 0000044a: JUMPDEST 0000044b: CALLVALUE 0000044c: ISZERO 0000044d: PUSH2 0x0455 00000450: JUMPI 00000451: PUSH1 0x00 00000453: DUP1 00000454: REVERT 00000455: JUMPDEST 00000456: PUSH2 0x038b 00000459: PUSH2 0x0a06 0000045c: JUMP 0000045d: JUMPDEST 0000045e: PUSH1 0x40 00000460: MLOAD 00000461: SWAP1 00000462: DUP2 00000463: MSTORE 00000464: PUSH1 0x20 00000466: ADD 00000467: PUSH1 0x40 00000469: MLOAD 0000046a: DUP1 0000046b: SWAP2 0000046c: SUB 0000046d: SWAP1 0000046e: RETURN 0000046f: JUMPDEST 00000470: CALLVALUE 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: PUSH2 0x038b 0000047e: PUSH2 0x0a0c 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x40 00000485: MLOAD 00000486: SWAP1 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x20 0000048b: ADD 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: DUP1 00000490: SWAP2 00000491: SUB 00000492: SWAP1 00000493: RETURN 00000494: JUMPDEST 00000495: CALLVALUE 00000496: ISZERO 00000497: PUSH2 0x049f 0000049a: JUMPI 0000049b: PUSH1 0x00 0000049d: DUP1 0000049e: REVERT 0000049f: JUMPDEST 000004a0: PUSH2 0x038b 000004a3: PUSH2 0x0a12 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH1 0x40 000004aa: MLOAD 000004ab: SWAP1 000004ac: DUP2 000004ad: MSTORE 000004ae: PUSH1 0x20 000004b0: ADD 000004b1: PUSH1 0x40 000004b3: MLOAD 000004b4: DUP1 000004b5: SWAP2 000004b6: SUB 000004b7: SWAP1 000004b8: RETURN 000004b9: JUMPDEST 000004ba: CALLVALUE 000004bb: ISZERO 000004bc: PUSH2 0x04c4 000004bf: JUMPI 000004c0: PUSH1 0x00 000004c2: DUP1 000004c3: REVERT 000004c4: JUMPDEST 000004c5: PUSH2 0x038b 000004c8: PUSH2 0x0a18 000004cb: JUMP 000004cc: JUMPDEST 000004cd: PUSH1 0x40 000004cf: MLOAD 000004d0: SWAP1 000004d1: DUP2 000004d2: MSTORE 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: PUSH1 0x40 000004d8: MLOAD 000004d9: DUP1 000004da: SWAP2 000004db: SUB 000004dc: SWAP1 000004dd: RETURN 000004de: JUMPDEST 000004df: CALLVALUE 000004e0: ISZERO 000004e1: PUSH2 0x04e9 000004e4: JUMPI 000004e5: PUSH1 0x00 000004e7: DUP1 000004e8: REVERT 000004e9: JUMPDEST 000004ea: PUSH2 0x03df 000004ed: PUSH2 0x0a1e 000004f0: JUMP 000004f1: JUMPDEST 000004f2: STOP 000004f3: JUMPDEST 000004f4: CALLVALUE 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: PUSH2 0x038b 00000502: PUSH2 0x0ac7 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH1 0x40 00000509: MLOAD 0000050a: SWAP1 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x20 0000050f: ADD 00000510: PUSH1 0x40 00000512: MLOAD 00000513: DUP1 00000514: SWAP2 00000515: SUB 00000516: SWAP1 00000517: RETURN 00000518: JUMPDEST 00000519: CALLVALUE 0000051a: ISZERO 0000051b: PUSH2 0x0523 0000051e: JUMPI 0000051f: PUSH1 0x00 00000521: DUP1 00000522: REVERT 00000523: JUMPDEST 00000524: PUSH2 0x038b 00000527: PUSH1 0x04 00000529: CALLDATALOAD 0000052a: PUSH2 0x0783 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: SWAP1 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0x20 00000537: ADD 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 0x038b 0000054f: PUSH2 0x0acd 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH1 0x40 00000556: MLOAD 00000557: SWAP1 00000558: DUP2 00000559: MSTORE 0000055a: PUSH1 0x20 0000055c: ADD 0000055d: PUSH1 0x40 0000055f: MLOAD 00000560: DUP1 00000561: SWAP2 00000562: SUB 00000563: SWAP1 00000564: RETURN 00000565: JUMPDEST 00000566: CALLVALUE 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: PUSH2 0x038b 00000574: PUSH1 0x01 00000576: PUSH1 0xa0 00000578: PUSH1 0x02 0000057a: EXP 0000057b: SUB 0000057c: PUSH1 0x04 0000057e: CALLDATALOAD 0000057f: AND 00000580: PUSH2 0x0ad3 00000583: JUMP 00000584: JUMPDEST 00000585: PUSH1 0x40 00000587: MLOAD 00000588: SWAP1 00000589: DUP2 0000058a: MSTORE 0000058b: PUSH1 0x20 0000058d: ADD 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: SWAP2 00000593: SUB 00000594: SWAP1 00000595: RETURN 00000596: JUMPDEST 00000597: CALLVALUE 00000598: ISZERO 00000599: PUSH2 0x05a1 0000059c: JUMPI 0000059d: PUSH1 0x00 0000059f: DUP1 000005a0: REVERT 000005a1: JUMPDEST 000005a2: PUSH2 0x038b 000005a5: PUSH2 0x0af2 000005a8: JUMP 000005a9: JUMPDEST 000005aa: PUSH1 0x40 000005ac: MLOAD 000005ad: SWAP1 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: PUSH1 0x40 000005b5: MLOAD 000005b6: DUP1 000005b7: SWAP2 000005b8: SUB 000005b9: SWAP1 000005ba: RETURN 000005bb: JUMPDEST 000005bc: CALLVALUE 000005bd: ISZERO 000005be: PUSH2 0x05c6 000005c1: JUMPI 000005c2: PUSH1 0x00 000005c4: DUP1 000005c5: REVERT 000005c6: JUMPDEST 000005c7: PUSH2 0x038b 000005ca: PUSH2 0x0af8 000005cd: JUMP 000005ce: JUMPDEST 000005cf: PUSH1 0x40 000005d1: MLOAD 000005d2: SWAP1 000005d3: DUP2 000005d4: MSTORE 000005d5: PUSH1 0x20 000005d7: ADD 000005d8: PUSH1 0x40 000005da: MLOAD 000005db: DUP1 000005dc: SWAP2 000005dd: SUB 000005de: SWAP1 000005df: RETURN 000005e0: JUMPDEST 000005e1: CALLVALUE 000005e2: ISZERO 000005e3: PUSH2 0x05eb 000005e6: JUMPI 000005e7: PUSH1 0x00 000005e9: DUP1 000005ea: REVERT 000005eb: JUMPDEST 000005ec: PUSH2 0x03df 000005ef: PUSH2 0x0afe 000005f2: JUMP 000005f3: JUMPDEST 000005f4: STOP 000005f5: JUMPDEST 000005f6: CALLVALUE 000005f7: ISZERO 000005f8: PUSH2 0x0600 000005fb: JUMPI 000005fc: PUSH1 0x00 000005fe: DUP1 000005ff: REVERT 00000600: JUMPDEST 00000601: PUSH2 0x038b 00000604: PUSH2 0x0b45 00000607: JUMP 00000608: JUMPDEST 00000609: PUSH1 0x40 0000060b: MLOAD 0000060c: SWAP1 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x20 00000611: ADD 00000612: PUSH1 0x40 00000614: MLOAD 00000615: DUP1 00000616: SWAP2 00000617: SUB 00000618: SWAP1 00000619: RETURN 0000061a: JUMPDEST 0000061b: CALLVALUE 0000061c: ISZERO 0000061d: PUSH2 0x0625 00000620: JUMPI 00000621: PUSH1 0x00 00000623: DUP1 00000624: REVERT 00000625: JUMPDEST 00000626: PUSH2 0x038b 00000629: PUSH2 0x0b4b 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH1 0x40 00000630: MLOAD 00000631: SWAP1 00000632: DUP2 00000633: MSTORE 00000634: PUSH1 0x20 00000636: ADD 00000637: PUSH1 0x40 00000639: MLOAD 0000063a: DUP1 0000063b: SWAP2 0000063c: SUB 0000063d: SWAP1 0000063e: RETURN 0000063f: JUMPDEST 00000640: CALLVALUE 00000641: ISZERO 00000642: PUSH2 0x064a 00000645: JUMPI 00000646: PUSH1 0x00 00000648: DUP1 00000649: REVERT 0000064a: JUMPDEST 0000064b: PUSH2 0x038b 0000064e: PUSH2 0x0b51 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x40 00000655: MLOAD 00000656: SWAP1 00000657: DUP2 00000658: MSTORE 00000659: PUSH1 0x20 0000065b: ADD 0000065c: PUSH1 0x40 0000065e: MLOAD 0000065f: DUP1 00000660: SWAP2 00000661: SUB 00000662: SWAP1 00000663: RETURN 00000664: JUMPDEST 00000665: CALLVALUE 00000666: ISZERO 00000667: PUSH2 0x066f 0000066a: JUMPI 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: REVERT 0000066f: JUMPDEST 00000670: PUSH2 0x038b 00000673: PUSH2 0x0b57 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x40 0000067a: MLOAD 0000067b: SWAP1 0000067c: DUP2 0000067d: MSTORE 0000067e: PUSH1 0x20 00000680: ADD 00000681: PUSH1 0x40 00000683: MLOAD 00000684: DUP1 00000685: SWAP2 00000686: SUB 00000687: SWAP1 00000688: RETURN 00000689: JUMPDEST 0000068a: CALLVALUE 0000068b: ISZERO 0000068c: PUSH2 0x0694 0000068f: JUMPI 00000690: PUSH1 0x00 00000692: DUP1 00000693: REVERT 00000694: JUMPDEST 00000695: PUSH2 0x038b 00000698: PUSH2 0x0b5d 0000069b: JUMP 0000069c: JUMPDEST 0000069d: PUSH1 0x40 0000069f: MLOAD 000006a0: SWAP1 000006a1: DUP2 000006a2: MSTORE 000006a3: PUSH1 0x20 000006a5: ADD 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: DUP1 000006aa: SWAP2 000006ab: SUB 000006ac: SWAP1 000006ad: RETURN 000006ae: JUMPDEST 000006af: CALLVALUE 000006b0: ISZERO 000006b1: PUSH2 0x06b9 000006b4: JUMPI 000006b5: PUSH1 0x00 000006b7: DUP1 000006b8: REVERT 000006b9: JUMPDEST 000006ba: PUSH2 0x06c1 000006bd: PUSH2 0x0b63 000006c0: JUMP 000006c1: JUMPDEST 000006c2: PUSH1 0x40 000006c4: MLOAD 000006c5: DUP1 000006c6: DUP3 000006c7: PUSH1 0x02 000006c9: DUP2 000006ca: GT 000006cb: ISZERO 000006cc: PUSH2 0x06d1 000006cf: JUMPI 000006d0: INVALID 000006d1: JUMPDEST 000006d2: PUSH1 0xff 000006d4: AND 000006d5: DUP2 000006d6: MSTORE 000006d7: PUSH1 0x20 000006d9: ADD 000006da: SWAP2 000006db: POP 000006dc: POP 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: SWAP2 000006e2: SUB 000006e3: SWAP1 000006e4: RETURN 000006e5: JUMPDEST 000006e6: CALLVALUE 000006e7: ISZERO 000006e8: PUSH2 0x06f0 000006eb: JUMPI 000006ec: PUSH1 0x00 000006ee: DUP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: PUSH2 0x035c 000006f4: PUSH2 0x0b6c 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH1 0x40 000006fb: MLOAD 000006fc: PUSH1 0x01 000006fe: PUSH1 0xa0 00000700: PUSH1 0x02 00000702: EXP 00000703: SUB 00000704: SWAP1 00000705: SWAP2 00000706: AND 00000707: DUP2 00000708: MSTORE 00000709: PUSH1 0x20 0000070b: ADD 0000070c: PUSH1 0x40 0000070e: MLOAD 0000070f: DUP1 00000710: SWAP2 00000711: SUB 00000712: SWAP1 00000713: RETURN 00000714: JUMPDEST 00000715: CALLVALUE 00000716: ISZERO 00000717: PUSH2 0x071f 0000071a: JUMPI 0000071b: PUSH1 0x00 0000071d: DUP1 0000071e: REVERT 0000071f: JUMPDEST 00000720: PUSH2 0x038b 00000723: PUSH2 0x0b7b 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH1 0x40 0000072a: MLOAD 0000072b: SWAP1 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x20 00000730: ADD 00000731: PUSH1 0x40 00000733: MLOAD 00000734: DUP1 00000735: SWAP2 00000736: SUB 00000737: SWAP1 00000738: RETURN 00000739: JUMPDEST 0000073a: CALLVALUE 0000073b: ISZERO 0000073c: PUSH2 0x0744 0000073f: JUMPI 00000740: PUSH1 0x00 00000742: DUP1 00000743: REVERT 00000744: JUMPDEST 00000745: PUSH2 0x038b 00000748: PUSH2 0x0b81 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x40 0000074f: MLOAD 00000750: SWAP1 00000751: DUP2 00000752: MSTORE 00000753: PUSH1 0x20 00000755: ADD 00000756: PUSH1 0x40 00000758: MLOAD 00000759: DUP1 0000075a: SWAP2 0000075b: SUB 0000075c: SWAP1 0000075d: RETURN 0000075e: JUMPDEST 0000075f: CALLVALUE 00000760: ISZERO 00000761: PUSH2 0x0769 00000764: JUMPI 00000765: PUSH1 0x00 00000767: DUP1 00000768: REVERT 00000769: JUMPDEST 0000076a: PUSH2 0x038b 0000076d: PUSH2 0x0b87 00000770: JUMP 00000771: JUMPDEST 00000772: PUSH1 0x40 00000774: MLOAD 00000775: SWAP1 00000776: DUP2 00000777: MSTORE 00000778: PUSH1 0x20 0000077a: ADD 0000077b: PUSH1 0x40 0000077d: MLOAD 0000077e: DUP1 0000077f: SWAP2 00000780: SUB 00000781: SWAP1 00000782: RETURN 00000783: JUMPDEST 00000784: PUSH1 0x00 00000786: DUP1 00000787: DUP1 00000788: DUP1 00000789: DUP1 0000078a: PUSH1 0x01 0000078c: JUMPDEST 0000078d: PUSH1 0x12 0000078f: SLOAD 00000790: PUSH1 0xff 00000792: AND 00000793: PUSH1 0x02 00000795: DUP2 00000796: GT 00000797: ISZERO 00000798: PUSH2 0x079d 0000079b: JUMPI 0000079c: INVALID 0000079d: JUMPDEST 0000079e: EQ 0000079f: ISZERO 000007a0: DUP1 000007a1: ISZERO 000007a2: PUSH2 0x07ad 000007a5: JUMPI 000007a6: POP 000007a7: PUSH1 0x13 000007a9: SLOAD 000007aa: TIMESTAMP 000007ab: LT 000007ac: ISZERO 000007ad: JUMPDEST 000007ae: DUP1 000007af: ISZERO 000007b0: PUSH2 0x07bb 000007b3: JUMPI 000007b4: POP 000007b5: PUSH1 0x14 000007b7: SLOAD 000007b8: TIMESTAMP 000007b9: GT 000007ba: ISZERO 000007bb: JUMPDEST 000007bc: ISZERO 000007bd: PUSH2 0x0846 000007c0: JUMPI 000007c1: PUSH1 0x0c 000007c3: SLOAD 000007c4: PUSH1 0x13 000007c6: SLOAD 000007c7: ADD 000007c8: TIMESTAMP 000007c9: GT 000007ca: PUSH2 0x07d7 000007cd: JUMPI 000007ce: PUSH1 0x06 000007d0: SLOAD 000007d1: SWAP4 000007d2: POP 000007d3: PUSH2 0x0846 000007d6: JUMP 000007d7: JUMPDEST 000007d8: PUSH1 0x0d 000007da: SLOAD 000007db: PUSH1 0x13 000007dd: SLOAD 000007de: ADD 000007df: TIMESTAMP 000007e0: GT 000007e1: PUSH2 0x07ee 000007e4: JUMPI 000007e5: PUSH1 0x07 000007e7: SLOAD 000007e8: SWAP4 000007e9: POP 000007ea: PUSH2 0x0846 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH1 0x0e 000007f1: SLOAD 000007f2: PUSH1 0x13 000007f4: SLOAD 000007f5: ADD 000007f6: TIMESTAMP 000007f7: GT 000007f8: PUSH2 0x0805 000007fb: JUMPI 000007fc: PUSH1 0x08 000007fe: SLOAD 000007ff: SWAP4 00000800: POP 00000801: PUSH2 0x0846 00000804: JUMP 00000805: JUMPDEST 00000806: PUSH1 0x0f 00000808: SLOAD 00000809: PUSH1 0x13 0000080b: SLOAD 0000080c: ADD 0000080d: TIMESTAMP 0000080e: GT 0000080f: PUSH2 0x081c 00000812: JUMPI 00000813: PUSH1 0x09 00000815: SLOAD 00000816: SWAP4 00000817: POP 00000818: PUSH2 0x0846 0000081b: JUMP 0000081c: JUMPDEST 0000081d: PUSH1 0x10 0000081f: SLOAD 00000820: PUSH1 0x13 00000822: SLOAD 00000823: ADD 00000824: TIMESTAMP 00000825: GT 00000826: PUSH2 0x0833 00000829: JUMPI 0000082a: PUSH1 0x0a 0000082c: SLOAD 0000082d: SWAP4 0000082e: POP 0000082f: PUSH2 0x0846 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH1 0x11 00000836: SLOAD 00000837: PUSH1 0x13 00000839: SLOAD 0000083a: ADD 0000083b: TIMESTAMP 0000083c: GT 0000083d: PUSH2 0x0846 00000840: JUMPI 00000841: PUSH1 0x0b 00000843: SLOAD 00000844: SWAP4 00000845: POP 00000846: JUMPDEST 00000847: JUMPDEST 00000848: JUMPDEST 00000849: JUMPDEST 0000084a: JUMPDEST 0000084b: JUMPDEST 0000084c: JUMPDEST 0000084d: PUSH8 0x0de0b6b3a7640000 00000856: PUSH4 0x05f5e100 0000085b: DUP8 0000085c: DUP7 0000085d: MUL 0000085e: MUL 0000085f: JUMPDEST 00000860: DIV 00000861: SWAP3 00000862: POP 00000863: PUSH1 0x03 00000865: SLOAD 00000866: PUSH1 0x15 00000868: SLOAD 00000869: GT 0000086a: ISZERO 0000086b: PUSH2 0x08a6 0000086e: JUMPI 0000086f: PUSH1 0x03 00000871: SLOAD 00000872: PUSH1 0x15 00000874: SLOAD 00000875: DUP2 00000876: ISZERO 00000877: ISZERO 00000878: PUSH2 0x087d 0000087b: JUMPI 0000087c: INVALID 0000087d: JUMPDEST 0000087e: DIV 0000087f: SWAP2 00000880: POP 00000881: PUSH1 0x00 00000883: SWAP1 00000884: POP 00000885: JUMPDEST 00000886: DUP2 00000887: DUP2 00000888: LT 00000889: ISZERO 0000088a: PUSH2 0x08a6 0000088d: JUMPI 0000088e: PUSH4 0x3b9aca00 00000893: PUSH4 0x399304c9 00000898: DUP5 00000899: MUL 0000089a: JUMPDEST 0000089b: DIV 0000089c: SWAP3 0000089d: POP 0000089e: JUMPDEST 0000089f: PUSH1 0x01 000008a1: ADD 000008a2: PUSH2 0x0885 000008a5: JUMP 000008a6: JUMPDEST 000008a7: JUMPDEST 000008a8: DUP3 000008a9: SWAP5 000008aa: POP 000008ab: JUMPDEST 000008ac: POP 000008ad: POP 000008ae: POP 000008af: POP 000008b0: SWAP2 000008b1: SWAP1 000008b2: POP 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH1 0x01 000008b7: SLOAD 000008b8: PUSH1 0x01 000008ba: PUSH1 0xa0 000008bc: PUSH1 0x02 000008be: EXP 000008bf: SUB 000008c0: AND 000008c1: DUP2 000008c2: JUMP 000008c3: JUMPDEST 000008c4: PUSH1 0x0d 000008c6: SLOAD 000008c7: DUP2 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x16 000008cc: SLOAD 000008cd: PUSH1 0x01 000008cf: PUSH1 0xa0 000008d1: PUSH1 0x02 000008d3: EXP 000008d4: SUB 000008d5: AND 000008d6: DUP2 000008d7: JUMP 000008d8: JUMPDEST 000008d9: PUSH1 0x00 000008db: DUP1 000008dc: JUMPDEST 000008dd: PUSH1 0x12 000008df: SLOAD 000008e0: PUSH1 0xff 000008e2: AND 000008e3: PUSH1 0x02 000008e5: DUP2 000008e6: GT 000008e7: ISZERO 000008e8: PUSH2 0x08ed 000008eb: JUMPI 000008ec: INVALID 000008ed: JUMPDEST 000008ee: EQ 000008ef: PUSH2 0x08f7 000008f2: JUMPI 000008f3: PUSH1 0x00 000008f5: DUP1 000008f6: REVERT 000008f7: JUMPDEST 000008f8: PUSH1 0x14 000008fa: SLOAD 000008fb: TIMESTAMP 000008fc: LT 000008fd: ISZERO 000008fe: PUSH2 0x0906 00000901: JUMPI 00000902: PUSH1 0x00 00000904: DUP1 00000905: REVERT 00000906: JUMPDEST 00000907: PUSH1 0x12 00000909: DUP1 0000090a: SLOAD 0000090b: PUSH1 0x01 0000090d: SWAP2 0000090e: SWAP1 0000090f: PUSH1 0xff 00000911: NOT 00000912: AND 00000913: DUP3 00000914: DUP1 00000915: JUMPDEST 00000916: MUL 00000917: OR 00000918: SWAP1 00000919: SSTORE 0000091a: POP 0000091b: JUMPDEST 0000091c: JUMPDEST 0000091d: POP 0000091e: JUMP 0000091f: JUMPDEST 00000920: PUSH1 0x0e 00000922: SLOAD 00000923: DUP2 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH1 0x00 00000928: SLOAD 00000929: PUSH1 0x01 0000092b: PUSH1 0xa0 0000092d: PUSH1 0x02 0000092f: EXP 00000930: SUB 00000931: AND 00000932: DUP2 00000933: JUMP 00000934: JUMPDEST 00000935: PUSH1 0x00 00000937: DUP1 00000938: PUSH1 0x01 0000093a: DUP1 0000093b: JUMPDEST 0000093c: PUSH1 0x12 0000093e: SLOAD 0000093f: PUSH1 0xff 00000941: AND 00000942: PUSH1 0x02 00000944: DUP2 00000945: GT 00000946: ISZERO 00000947: PUSH2 0x094c 0000094a: JUMPI 0000094b: INVALID 0000094c: JUMPDEST 0000094d: EQ 0000094e: PUSH2 0x0956 00000951: JUMPI 00000952: PUSH1 0x00 00000954: DUP1 00000955: REVERT 00000956: JUMPDEST 00000957: PUSH1 0x03 00000959: SLOAD 0000095a: PUSH1 0x15 0000095c: SLOAD 0000095d: LT 0000095e: ISZERO 0000095f: PUSH2 0x0967 00000962: JUMPI 00000963: PUSH1 0x00 00000965: DUP1 00000966: REVERT 00000967: JUMPDEST 00000968: PUSH1 0x01 0000096a: PUSH1 0xa0 0000096c: PUSH1 0x02 0000096e: EXP 0000096f: SUB 00000970: ADDRESS 00000971: AND 00000972: BALANCE 00000973: SWAP3 00000974: POP 00000975: PUSH2 0x03e8 00000978: PUSH1 0x05 0000097a: DUP5 0000097b: MUL 0000097c: JUMPDEST 0000097d: PUSH1 0x01 0000097f: SLOAD 00000980: SWAP2 00000981: SWAP1 00000982: DIV 00000983: SWAP3 00000984: POP 00000985: PUSH1 0x01 00000987: PUSH1 0xa0 00000989: PUSH1 0x02 0000098b: EXP 0000098c: SUB 0000098d: AND 0000098e: DUP3 0000098f: ISZERO 00000990: PUSH2 0x08fc 00000993: MUL 00000994: DUP4 00000995: PUSH1 0x40 00000997: MLOAD 00000998: PUSH1 0x00 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: DUP1 0000099e: DUP4 0000099f: SUB 000009a0: DUP2 000009a1: DUP6 000009a2: DUP9 000009a3: DUP9 000009a4: CALL 000009a5: SWAP4 000009a6: POP 000009a7: POP 000009a8: POP 000009a9: POP 000009aa: ISZERO 000009ab: ISZERO 000009ac: PUSH2 0x09b4 000009af: JUMPI 000009b0: PUSH1 0x00 000009b2: DUP1 000009b3: REVERT 000009b4: JUMPDEST 000009b5: PUSH1 0x00 000009b7: SLOAD 000009b8: PUSH1 0x01 000009ba: PUSH1 0xa0 000009bc: PUSH1 0x02 000009be: EXP 000009bf: SUB 000009c0: AND 000009c1: DUP3 000009c2: DUP5 000009c3: SUB 000009c4: DUP1 000009c5: ISZERO 000009c6: PUSH2 0x08fc 000009c9: MUL 000009ca: SWAP1 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: PUSH1 0x00 000009d0: PUSH1 0x40 000009d2: MLOAD 000009d3: DUP1 000009d4: DUP4 000009d5: SUB 000009d6: DUP2 000009d7: DUP6 000009d8: DUP9 000009d9: DUP9 000009da: CALL 000009db: SWAP4 000009dc: POP 000009dd: POP 000009de: POP 000009df: POP 000009e0: ISZERO 000009e1: ISZERO 000009e2: PUSH2 0x09ea 000009e5: JUMPI 000009e6: PUSH1 0x00 000009e8: DUP1 000009e9: REVERT 000009ea: JUMPDEST 000009eb: PUSH1 0x12 000009ed: DUP1 000009ee: SLOAD 000009ef: PUSH1 0x02 000009f1: SWAP2 000009f2: SWAP1 000009f3: PUSH1 0xff 000009f5: NOT 000009f6: AND 000009f7: PUSH1 0x01 000009f9: DUP4 000009fa: JUMPDEST 000009fb: MUL 000009fc: OR 000009fd: SWAP1 000009fe: SSTORE 000009ff: POP 00000a00: JUMPDEST 00000a01: JUMPDEST 00000a02: POP 00000a03: POP 00000a04: POP 00000a05: JUMP 00000a06: JUMPDEST 00000a07: PUSH1 0x07 00000a09: SLOAD 00000a0a: DUP2 00000a0b: JUMP 00000a0c: JUMPDEST 00000a0d: PUSH1 0x11 00000a0f: SLOAD 00000a10: DUP2 00000a11: JUMP 00000a12: JUMPDEST 00000a13: PUSH1 0x0f 00000a15: SLOAD 00000a16: DUP2 00000a17: JUMP 00000a18: JUMPDEST 00000a19: PUSH1 0x10 00000a1b: SLOAD 00000a1c: DUP2 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: PUSH1 0x00 00000a21: PUSH1 0x01 00000a23: DUP1 00000a24: JUMPDEST 00000a25: PUSH1 0x12 00000a27: SLOAD 00000a28: PUSH1 0xff 00000a2a: AND 00000a2b: PUSH1 0x02 00000a2d: DUP2 00000a2e: GT 00000a2f: ISZERO 00000a30: PUSH2 0x0a35 00000a33: JUMPI 00000a34: INVALID 00000a35: JUMPDEST 00000a36: EQ 00000a37: PUSH2 0x0a3f 00000a3a: JUMPI 00000a3b: PUSH1 0x00 00000a3d: DUP1 00000a3e: REVERT 00000a3f: JUMPDEST 00000a40: PUSH1 0x03 00000a42: SLOAD 00000a43: PUSH1 0x15 00000a45: SLOAD 00000a46: LT 00000a47: PUSH2 0x0a4f 00000a4a: JUMPI 00000a4b: PUSH1 0x00 00000a4d: DUP1 00000a4e: REVERT 00000a4f: JUMPDEST 00000a50: PUSH1 0x01 00000a52: PUSH1 0xa0 00000a54: PUSH1 0x02 00000a56: EXP 00000a57: SUB 00000a58: CALLER 00000a59: AND 00000a5a: PUSH1 0x00 00000a5c: SWAP1 00000a5d: DUP2 00000a5e: MSTORE 00000a5f: PUSH1 0x17 00000a61: PUSH1 0x20 00000a63: MSTORE 00000a64: PUSH1 0x40 00000a66: DUP2 00000a67: KECCAK256 00000a68: DUP1 00000a69: SLOAD 00000a6a: SWAP1 00000a6b: DUP3 00000a6c: SWAP1 00000a6d: SSTORE 00000a6e: SWAP3 00000a6f: POP 00000a70: DUP3 00000a71: GT 00000a72: DUP1 00000a73: ISZERO 00000a74: PUSH2 0x0aa0 00000a77: JUMPI 00000a78: POP 00000a79: PUSH1 0x01 00000a7b: PUSH1 0xa0 00000a7d: PUSH1 0x02 00000a7f: EXP 00000a80: SUB 00000a81: CALLER 00000a82: AND 00000a83: DUP3 00000a84: ISZERO 00000a85: PUSH2 0x08fc 00000a88: MUL 00000a89: DUP4 00000a8a: PUSH1 0x40 00000a8c: MLOAD 00000a8d: PUSH1 0x00 00000a8f: PUSH1 0x40 00000a91: MLOAD 00000a92: DUP1 00000a93: DUP4 00000a94: SUB 00000a95: DUP2 00000a96: DUP6 00000a97: DUP9 00000a98: DUP9 00000a99: CALL 00000a9a: SWAP4 00000a9b: POP 00000a9c: POP 00000a9d: POP 00000a9e: POP 00000a9f: ISZERO 00000aa0: JUMPDEST 00000aa1: ISZERO 00000aa2: PUSH2 0x0ac1 00000aa5: JUMPI 00000aa6: PUSH1 0x01 00000aa8: PUSH1 0xa0 00000aaa: PUSH1 0x02 00000aac: EXP 00000aad: SUB 00000aae: CALLER 00000aaf: AND 00000ab0: PUSH1 0x00 00000ab2: SWAP1 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x17 00000ab7: PUSH1 0x20 00000ab9: MSTORE 00000aba: PUSH1 0x40 00000abc: SWAP1 00000abd: KECCAK256 00000abe: DUP3 00000abf: SWAP1 00000ac0: SSTORE 00000ac1: JUMPDEST 00000ac2: JUMPDEST 00000ac3: JUMPDEST 00000ac4: POP 00000ac5: POP 00000ac6: JUMP 00000ac7: JUMPDEST 00000ac8: PUSH1 0x04 00000aca: SLOAD 00000acb: DUP2 00000acc: JUMP 00000acd: JUMPDEST 00000ace: PUSH1 0x06 00000ad0: SLOAD 00000ad1: DUP2 00000ad2: JUMP 00000ad3: JUMPDEST 00000ad4: PUSH1 0x01 00000ad6: PUSH1 0xa0 00000ad8: PUSH1 0x02 00000ada: EXP 00000adb: SUB 00000adc: DUP2 00000add: AND 00000ade: PUSH1 0x00 00000ae0: SWAP1 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x17 00000ae5: PUSH1 0x20 00000ae7: MSTORE 00000ae8: PUSH1 0x40 00000aea: SWAP1 00000aeb: KECCAK256 00000aec: SLOAD 00000aed: JUMPDEST 00000aee: SWAP2 00000aef: SWAP1 00000af0: POP 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH1 0x03 00000af5: SLOAD 00000af6: DUP2 00000af7: JUMP 00000af8: JUMPDEST 00000af9: PUSH1 0x09 00000afb: SLOAD 00000afc: DUP2 00000afd: JUMP 00000afe: JUMPDEST 00000aff: PUSH1 0x00 00000b01: SLOAD 00000b02: CALLER 00000b03: PUSH1 0x01 00000b05: PUSH1 0xa0 00000b07: PUSH1 0x02 00000b09: EXP 00000b0a: SUB 00000b0b: SWAP1 00000b0c: DUP2 00000b0d: AND 00000b0e: SWAP2 00000b0f: AND 00000b10: EQ 00000b11: PUSH2 0x0b19 00000b14: JUMPI 00000b15: PUSH1 0x00 00000b17: DUP1 00000b18: REVERT 00000b19: JUMPDEST 00000b1a: PUSH1 0x02 00000b1c: DUP1 00000b1d: SLOAD 00000b1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b33: NOT 00000b34: AND 00000b35: CALLER 00000b36: PUSH1 0x01 00000b38: PUSH1 0xa0 00000b3a: PUSH1 0x02 00000b3c: EXP 00000b3d: SUB 00000b3e: AND 00000b3f: OR 00000b40: SWAP1 00000b41: SSTORE 00000b42: JUMPDEST 00000b43: JUMPDEST 00000b44: JUMP 00000b45: JUMPDEST 00000b46: PUSH1 0x0c 00000b48: SLOAD 00000b49: DUP2 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x0a 00000b4e: SLOAD 00000b4f: DUP2 00000b50: JUMP 00000b51: JUMPDEST 00000b52: PUSH1 0x08 00000b54: SLOAD 00000b55: DUP2 00000b56: JUMP 00000b57: JUMPDEST 00000b58: PUSH1 0x0b 00000b5a: SLOAD 00000b5b: DUP2 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x13 00000b60: SLOAD 00000b61: DUP2 00000b62: JUMP 00000b63: JUMPDEST 00000b64: PUSH1 0x12 00000b66: SLOAD 00000b67: PUSH1 0xff 00000b69: AND 00000b6a: DUP2 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: PUSH1 0x02 00000b6f: SLOAD 00000b70: PUSH1 0x01 00000b72: PUSH1 0xa0 00000b74: PUSH1 0x02 00000b76: EXP 00000b77: SUB 00000b78: AND 00000b79: DUP2 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x14 00000b7e: SLOAD 00000b7f: DUP2 00000b80: JUMP 00000b81: JUMPDEST 00000b82: PUSH1 0x15 00000b84: SLOAD 00000b85: DUP2 00000b86: JUMP 00000b87: JUMPDEST 00000b88: PUSH1 0x05 00000b8a: SLOAD 00000b8b: DUP2 00000b8c: JUMP 00000b8d: STOP 00000b8e: LOG1 00000b8f: PUSH6 0x627a7a723058 00000b96: KECCAK256 00000b97: UNKNOWN(0xCC) 00000b98: UNKNOWN(0x0D) 00000b99: PUSH19 0x93eab8f2f6013476a7c327cd1febc7878b918c 00000bad: SWAP12 00000bae: COINBASE 00000baf: PUSH14
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x45dcc9813dac600036a21c8e3134caa4e70425a7a1a98f1fe8eff662cf10bb20
call_targets:
0xaf7aea249098f2c2f50cc11d4000ccf798194373
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x45dcc9813dac600036a21c8e3134caa4e70425a7a1a98f1fe8eff662cf10bb20",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf7aea249098f2c2f50cc11d4000ccf798194373"
],
"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": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1722a8b0",
"selector": "0x1722a8b0",
"calldata_variants": [
"0x1722a8b0",
"0x1722a8b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19e66508",
"selector": "0x19e66508",
"calldata_variants": [
"0x19e66508",
"0x19e665080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2095f2d4",
"selector": "0x2095f2d4",
"calldata_variants": [
"0x2095f2d4",
"0x2095f2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a1be747",
"selector": "0x2a1be747",
"calldata_variants": [
"0x2a1be747",
"0x2a1be7470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f3a78d5",
"selector": "0x3f3a78d5",
"calldata_variants": [
"0x3f3a78d5",
"0x3f3a78d50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 593,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 686,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 740,
"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: 0x45dcc9813dac600036a21c8e3134caa4e70425a7a1a98f1fe8eff662cf10bb20
call_targets:
0xaf7aea249098f2c2f50cc11d4000ccf798194373
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x45dcc9813dac600036a21c8e3134caa4e70425a7a1a98f1fe8eff662cf10bb20",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaf7aea249098f2c2f50cc11d4000ccf798194373"
],
"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": "0x02d05d3f",
"selector": "0x02d05d3f",
"calldata_variants": [
"0x02d05d3f",
"0x02d05d3f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1722a8b0",
"selector": "0x1722a8b0",
"calldata_variants": [
"0x1722a8b0",
"0x1722a8b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19e66508",
"selector": "0x19e66508",
"calldata_variants": [
"0x19e66508",
"0x19e665080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2095f2d4",
"selector": "0x2095f2d4",
"calldata_variants": [
"0x2095f2d4",
"0x2095f2d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a1be747",
"selector": "0x2a1be747",
"calldata_variants": [
"0x2a1be747",
"0x2a1be7470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f3a78d5",
"selector": "0x3f3a78d5",
"calldata_variants": [
"0x3f3a78d5",
"0x3f3a78d50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 593,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 686,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 740,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|