019ba909-37c6-71c8-8a7a-99ffb108f8dc
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 |
|---|---|---|---|---|
| 34092 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 34093 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 34094 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 34095 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 34096 | capability.graph | complete | 1 / 3 | 3 months ago |
| 34097 | detector.run | complete | 1 / 3 | 3 months ago |
| 34098 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x003f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x3bed33ce 00000019: EQ 0000001a: PUSH2 0x0044 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x54fd4d50 00000024: EQ 00000025: PUSH2 0x007f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x70a08231 0000002f: EQ 00000030: PUSH2 0x00ad 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x98ea5fca 0000003a: EQ 0000003b: PUSH2 0x0112 0000003e: JUMPI 0000003f: JUMPDEST 00000040: PUSH1 0x00 00000042: DUP1 00000043: REVERT 00000044: JUMPDEST 00000045: CALLVALUE 00000046: DUP1 00000047: ISZERO 00000048: PUSH2 0x0050 0000004b: JUMPI 0000004c: PUSH1 0x00 0000004e: DUP1 0000004f: REVERT 00000050: JUMPDEST 00000051: POP 00000052: PUSH2 0x007d 00000055: PUSH1 0x04 00000057: DUP1 00000058: CALLDATASIZE 00000059: SUB 0000005a: PUSH1 0x20 0000005c: DUP2 0000005d: LT 0000005e: ISZERO 0000005f: PUSH2 0x0067 00000062: JUMPI 00000063: PUSH1 0x00 00000065: DUP1 00000066: REVERT 00000067: JUMPDEST 00000068: DUP2 00000069: ADD 0000006a: SWAP1 0000006b: DUP1 0000006c: DUP1 0000006d: CALLDATALOAD 0000006e: SWAP1 0000006f: PUSH1 0x20 00000071: ADD 00000072: SWAP1 00000073: SWAP3 00000074: SWAP2 00000075: SWAP1 00000076: POP 00000077: POP 00000078: POP 00000079: PUSH2 0x011c 0000007c: JUMP 0000007d: JUMPDEST 0000007e: STOP 0000007f: JUMPDEST 00000080: CALLVALUE 00000081: DUP1 00000082: ISZERO 00000083: PUSH2 0x008b 00000086: JUMPI 00000087: PUSH1 0x00 00000089: DUP1 0000008a: REVERT 0000008b: JUMPDEST 0000008c: POP 0000008d: PUSH2 0x0094 00000090: PUSH2 0x03b3 00000093: JUMP 00000094: JUMPDEST 00000095: PUSH1 0x40 00000097: MLOAD 00000098: DUP1 00000099: DUP3 0000009a: PUSH1 0xff 0000009c: AND 0000009d: DUP2 0000009e: MSTORE 0000009f: PUSH1 0x20 000000a1: ADD 000000a2: SWAP2 000000a3: POP 000000a4: POP 000000a5: PUSH1 0x40 000000a7: MLOAD 000000a8: DUP1 000000a9: SWAP2 000000aa: SUB 000000ab: SWAP1 000000ac: RETURN 000000ad: JUMPDEST 000000ae: CALLVALUE 000000af: DUP1 000000b0: ISZERO 000000b1: PUSH2 0x00b9 000000b4: JUMPI 000000b5: PUSH1 0x00 000000b7: DUP1 000000b8: REVERT 000000b9: JUMPDEST 000000ba: POP 000000bb: PUSH2 0x00fc 000000be: PUSH1 0x04 000000c0: DUP1 000000c1: CALLDATASIZE 000000c2: SUB 000000c3: PUSH1 0x20 000000c5: DUP2 000000c6: LT 000000c7: ISZERO 000000c8: PUSH2 0x00d0 000000cb: JUMPI 000000cc: PUSH1 0x00 000000ce: DUP1 000000cf: REVERT 000000d0: JUMPDEST 000000d1: DUP2 000000d2: ADD 000000d3: SWAP1 000000d4: DUP1 000000d5: DUP1 000000d6: CALLDATALOAD 000000d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ec: AND 000000ed: SWAP1 000000ee: PUSH1 0x20 000000f0: ADD 000000f1: SWAP1 000000f2: SWAP3 000000f3: SWAP2 000000f4: SWAP1 000000f5: POP 000000f6: POP 000000f7: POP 000000f8: PUSH2 0x03c4 000000fb: JUMP 000000fc: JUMPDEST 000000fd: PUSH1 0x40 000000ff: MLOAD 00000100: DUP1 00000101: DUP3 00000102: DUP2 00000103: MSTORE 00000104: PUSH1 0x20 00000106: ADD 00000107: SWAP2 00000108: POP 00000109: POP 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: DUP1 0000010e: SWAP2 0000010f: SUB 00000110: SWAP1 00000111: RETURN 00000112: JUMPDEST 00000113: PUSH2 0x011a 00000116: PUSH2 0x045a 00000119: JUMP 0000011a: JUMPDEST 0000011b: STOP 0000011c: JUMPDEST 0000011d: PUSH2 0x018c 00000120: CALLER 00000121: PUSH1 0x40 00000123: MLOAD 00000124: PUSH1 0x20 00000126: ADD 00000127: DUP1 00000128: DUP1 00000129: PUSH32 0x636f6e74726163742e6578697374730000000000000000000000000000000000 0000014a: DUP2 0000014b: MSTORE 0000014c: POP 0000014d: PUSH1 0x0f 0000014f: ADD 00000150: DUP3 00000151: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000166: AND 00000167: PUSH1 0x60 00000169: SHL 0000016a: DUP2 0000016b: MSTORE 0000016c: PUSH1 0x14 0000016e: ADD 0000016f: SWAP2 00000170: POP 00000171: POP 00000172: PUSH1 0x40 00000174: MLOAD 00000175: PUSH1 0x20 00000177: DUP2 00000178: DUP4 00000179: SUB 0000017a: SUB 0000017b: DUP2 0000017c: MSTORE 0000017d: SWAP1 0000017e: PUSH1 0x40 00000180: MSTORE 00000181: DUP1 00000182: MLOAD 00000183: SWAP1 00000184: PUSH1 0x20 00000186: ADD 00000187: KECCAK256 00000188: PUSH2 0x061d 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH2 0x01e1 00000190: JUMPI 00000191: PUSH1 0x40 00000193: MLOAD 00000194: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001b5: DUP2 000001b6: MSTORE 000001b7: PUSH1 0x04 000001b9: ADD 000001ba: DUP1 000001bb: DUP1 000001bc: PUSH1 0x20 000001be: ADD 000001bf: DUP3 000001c0: DUP2 000001c1: SUB 000001c2: DUP3 000001c3: MSTORE 000001c4: PUSH1 0x24 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x20 000001ca: ADD 000001cb: DUP1 000001cc: PUSH2 0x0b82 000001cf: PUSH1 0x24 000001d1: SWAP2 000001d2: CODECOPY 000001d3: PUSH1 0x40 000001d5: ADD 000001d6: SWAP2 000001d7: POP 000001d8: POP 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: DUP1 000001dd: SWAP2 000001de: SUB 000001df: SWAP1 000001e0: REVERT 000001e1: JUMPDEST 000001e2: PUSH1 0x00 000001e4: PUSH2 0x01ec 000001e7: CALLER 000001e8: PUSH2 0x06d3 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH1 0x40 000001ef: MLOAD 000001f0: PUSH1 0x20 000001f2: ADD 000001f3: DUP1 000001f4: DUP3 000001f5: DUP1 000001f6: MLOAD 000001f7: SWAP1 000001f8: PUSH1 0x20 000001fa: ADD 000001fb: SWAP1 000001fc: DUP1 000001fd: DUP4 000001fe: DUP4 000001ff: JUMPDEST 00000200: PUSH1 0x20 00000202: DUP4 00000203: LT 00000204: PUSH2 0x0222 00000207: JUMPI 00000208: DUP1 00000209: MLOAD 0000020a: DUP3 0000020b: MSTORE 0000020c: PUSH1 0x20 0000020e: DUP3 0000020f: ADD 00000210: SWAP2 00000211: POP 00000212: PUSH1 0x20 00000214: DUP2 00000215: ADD 00000216: SWAP1 00000217: POP 00000218: PUSH1 0x20 0000021a: DUP4 0000021b: SUB 0000021c: SWAP3 0000021d: POP 0000021e: PUSH2 0x01ff 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH1 0x01 00000225: DUP4 00000226: PUSH1 0x20 00000228: SUB 00000229: PUSH2 0x0100 0000022c: EXP 0000022d: SUB 0000022e: DUP1 0000022f: NOT 00000230: DUP3 00000231: MLOAD 00000232: AND 00000233: DUP2 00000234: DUP5 00000235: MLOAD 00000236: AND 00000237: DUP1 00000238: DUP3 00000239: OR 0000023a: DUP6 0000023b: MSTORE 0000023c: POP 0000023d: POP 0000023e: POP 0000023f: POP 00000240: POP 00000241: POP 00000242: SWAP1 00000243: POP 00000244: ADD 00000245: SWAP2 00000246: POP 00000247: POP 00000248: PUSH1 0x40 0000024a: MLOAD 0000024b: PUSH1 0x20 0000024d: DUP2 0000024e: DUP4 0000024f: SUB 00000250: SUB 00000251: DUP2 00000252: MSTORE 00000253: SWAP1 00000254: PUSH1 0x40 00000256: MSTORE 00000257: DUP1 00000258: MLOAD 00000259: SWAP1 0000025a: PUSH1 0x20 0000025c: ADD 0000025d: KECCAK256 0000025e: SWAP1 0000025f: POP 00000260: DUP2 00000261: PUSH1 0x01 00000263: PUSH1 0x00 00000265: DUP4 00000266: DUP2 00000267: MSTORE 00000268: PUSH1 0x20 0000026a: ADD 0000026b: SWAP1 0000026c: DUP2 0000026d: MSTORE 0000026e: PUSH1 0x20 00000270: ADD 00000271: PUSH1 0x00 00000273: KECCAK256 00000274: SLOAD 00000275: LT 00000276: ISZERO 00000277: PUSH2 0x02cb 0000027a: JUMPI 0000027b: PUSH1 0x40 0000027d: MLOAD 0000027e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000029f: DUP2 000002a0: MSTORE 000002a1: PUSH1 0x04 000002a3: ADD 000002a4: DUP1 000002a5: DUP1 000002a6: PUSH1 0x20 000002a8: ADD 000002a9: DUP3 000002aa: DUP2 000002ab: SUB 000002ac: DUP3 000002ad: MSTORE 000002ae: PUSH1 0x21 000002b0: DUP2 000002b1: MSTORE 000002b2: PUSH1 0x20 000002b4: ADD 000002b5: DUP1 000002b6: PUSH2 0x0b61 000002b9: PUSH1 0x21 000002bb: SWAP2 000002bc: CODECOPY 000002bd: PUSH1 0x40 000002bf: ADD 000002c0: SWAP2 000002c1: POP 000002c2: POP 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: DUP1 000002c7: SWAP2 000002c8: SUB 000002c9: SWAP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: PUSH2 0x02f1 000002cf: DUP3 000002d0: PUSH1 0x01 000002d2: PUSH1 0x00 000002d4: DUP5 000002d5: DUP2 000002d6: MSTORE 000002d7: PUSH1 0x20 000002d9: ADD 000002da: SWAP1 000002db: DUP2 000002dc: MSTORE 000002dd: PUSH1 0x20 000002df: ADD 000002e0: PUSH1 0x00 000002e2: KECCAK256 000002e3: SLOAD 000002e4: PUSH2 0x0859 000002e7: SWAP1 000002e8: SWAP2 000002e9: SWAP1 000002ea: PUSH4 0xffffffff 000002ef: AND 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH1 0x01 000002f4: PUSH1 0x00 000002f6: DUP4 000002f7: DUP2 000002f8: MSTORE 000002f9: PUSH1 0x20 000002fb: ADD 000002fc: SWAP1 000002fd: DUP2 000002fe: MSTORE 000002ff: PUSH1 0x20 00000301: ADD 00000302: PUSH1 0x00 00000304: KECCAK256 00000305: DUP2 00000306: SWAP1 00000307: SSTORE 00000308: POP 00000309: PUSH1 0x00 0000030b: CALLER 0000030c: SWAP1 0000030d: POP 0000030e: DUP1 0000030f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000324: AND 00000325: PUSH4 0x0a019eaf 0000032a: DUP5 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: DUP3 0000032f: PUSH4 0xffffffff 00000334: AND 00000335: PUSH1 0xe0 00000337: SHL 00000338: DUP2 00000339: MSTORE 0000033a: PUSH1 0x04 0000033c: ADD 0000033d: PUSH1 0x00 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: DUP1 00000343: DUP4 00000344: SUB 00000345: DUP2 00000346: DUP6 00000347: DUP9 00000348: DUP1 00000349: EXTCODESIZE 0000034a: ISZERO 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: GAS 00000358: CALL 00000359: ISZERO 0000035a: DUP1 0000035b: ISZERO 0000035c: PUSH2 0x0369 0000035f: JUMPI 00000360: RETURNDATASIZE 00000361: PUSH1 0x00 00000363: DUP1 00000364: RETURNDATACOPY 00000365: RETURNDATASIZE 00000366: PUSH1 0x00 00000368: REVERT 00000369: JUMPDEST 0000036a: POP 0000036b: POP 0000036c: POP 0000036d: POP 0000036e: POP 0000036f: DUP2 00000370: PUSH32 0x73bee9f217b293842a2fbe73ad32a4c1175e05bb940c97d6e7b8da25b6865828 00000391: DUP5 00000392: TIMESTAMP 00000393: PUSH1 0x40 00000395: MLOAD 00000396: DUP1 00000397: DUP4 00000398: DUP2 00000399: MSTORE 0000039a: PUSH1 0x20 0000039c: ADD 0000039d: DUP3 0000039e: DUP2 0000039f: MSTORE 000003a0: PUSH1 0x20 000003a2: ADD 000003a3: SWAP3 000003a4: POP 000003a5: POP 000003a6: POP 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: DUP1 000003ab: SWAP2 000003ac: SUB 000003ad: SWAP1 000003ae: LOG2 000003af: POP 000003b0: POP 000003b1: POP 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x00 000003b6: DUP1 000003b7: SLOAD 000003b8: SWAP1 000003b9: PUSH2 0x0100 000003bc: EXP 000003bd: SWAP1 000003be: DIV 000003bf: PUSH1 0xff 000003c1: AND 000003c2: DUP2 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x00 000003c7: PUSH1 0x01 000003c9: PUSH1 0x00 000003cb: PUSH2 0x03d3 000003ce: DUP5 000003cf: PUSH2 0x06d3 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH1 0x40 000003d6: MLOAD 000003d7: PUSH1 0x20 000003d9: ADD 000003da: DUP1 000003db: DUP3 000003dc: DUP1 000003dd: MLOAD 000003de: SWAP1 000003df: PUSH1 0x20 000003e1: ADD 000003e2: SWAP1 000003e3: DUP1 000003e4: DUP4 000003e5: DUP4 000003e6: JUMPDEST 000003e7: PUSH1 0x20 000003e9: DUP4 000003ea: LT 000003eb: PUSH2 0x0409 000003ee: JUMPI 000003ef: DUP1 000003f0: MLOAD 000003f1: DUP3 000003f2: MSTORE 000003f3: PUSH1 0x20 000003f5: DUP3 000003f6: ADD 000003f7: SWAP2 000003f8: POP 000003f9: PUSH1 0x20 000003fb: DUP2 000003fc: ADD 000003fd: SWAP1 000003fe: POP 000003ff: PUSH1 0x20 00000401: DUP4 00000402: SUB 00000403: SWAP3 00000404: POP 00000405: PUSH2 0x03e6 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x01 0000040c: DUP4 0000040d: PUSH1 0x20 0000040f: SUB 00000410: PUSH2 0x0100 00000413: EXP 00000414: SUB 00000415: DUP1 00000416: NOT 00000417: DUP3 00000418: MLOAD 00000419: AND 0000041a: DUP2 0000041b: DUP5 0000041c: MLOAD 0000041d: AND 0000041e: DUP1 0000041f: DUP3 00000420: OR 00000421: DUP6 00000422: MSTORE 00000423: POP 00000424: POP 00000425: POP 00000426: POP 00000427: POP 00000428: POP 00000429: SWAP1 0000042a: POP 0000042b: ADD 0000042c: SWAP2 0000042d: POP 0000042e: POP 0000042f: PUSH1 0x40 00000431: MLOAD 00000432: PUSH1 0x20 00000434: DUP2 00000435: DUP4 00000436: SUB 00000437: SUB 00000438: DUP2 00000439: MSTORE 0000043a: SWAP1 0000043b: PUSH1 0x40 0000043d: MSTORE 0000043e: DUP1 0000043f: MLOAD 00000440: SWAP1 00000441: PUSH1 0x20 00000443: ADD 00000444: KECCAK256 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x20 00000449: ADD 0000044a: SWAP1 0000044b: DUP2 0000044c: MSTORE 0000044d: PUSH1 0x20 0000044f: ADD 00000450: PUSH1 0x00 00000452: KECCAK256 00000453: SLOAD 00000454: SWAP1 00000455: POP 00000456: SWAP2 00000457: SWAP1 00000458: POP 00000459: JUMP 0000045a: JUMPDEST 0000045b: PUSH2 0x04ca 0000045e: CALLER 0000045f: PUSH1 0x40 00000461: MLOAD 00000462: PUSH1 0x20 00000464: ADD 00000465: DUP1 00000466: DUP1 00000467: PUSH32 0x636f6e74726163742e6578697374730000000000000000000000000000000000 00000488: DUP2 00000489: MSTORE 0000048a: POP 0000048b: PUSH1 0x0f 0000048d: ADD 0000048e: DUP3 0000048f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a4: AND 000004a5: PUSH1 0x60 000004a7: SHL 000004a8: DUP2 000004a9: MSTORE 000004aa: PUSH1 0x14 000004ac: ADD 000004ad: SWAP2 000004ae: POP 000004af: POP 000004b0: PUSH1 0x40 000004b2: MLOAD 000004b3: PUSH1 0x20 000004b5: DUP2 000004b6: DUP4 000004b7: SUB 000004b8: SUB 000004b9: DUP2 000004ba: MSTORE 000004bb: SWAP1 000004bc: PUSH1 0x40 000004be: MSTORE 000004bf: DUP1 000004c0: MLOAD 000004c1: SWAP1 000004c2: PUSH1 0x20 000004c4: ADD 000004c5: KECCAK256 000004c6: PUSH2 0x061d 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH2 0x051f 000004ce: JUMPI 000004cf: PUSH1 0x40 000004d1: MLOAD 000004d2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004f3: DUP2 000004f4: MSTORE 000004f5: PUSH1 0x04 000004f7: ADD 000004f8: DUP1 000004f9: DUP1 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: DUP3 000004fe: DUP2 000004ff: SUB 00000500: DUP3 00000501: MSTORE 00000502: PUSH1 0x24 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x20 00000508: ADD 00000509: DUP1 0000050a: PUSH2 0x0b82 0000050d: PUSH1 0x24 0000050f: SWAP2 00000510: CODECOPY 00000511: PUSH1 0x40 00000513: ADD 00000514: SWAP2 00000515: POP 00000516: POP 00000517: PUSH1 0x40 00000519: MLOAD 0000051a: DUP1 0000051b: SWAP2 0000051c: SUB 0000051d: SWAP1 0000051e: REVERT 0000051f: JUMPDEST 00000520: PUSH1 0x00 00000522: PUSH2 0x052a 00000525: CALLER 00000526: PUSH2 0x06d3 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH1 0x40 0000052d: MLOAD 0000052e: PUSH1 0x20 00000530: ADD 00000531: DUP1 00000532: DUP3 00000533: DUP1 00000534: MLOAD 00000535: SWAP1 00000536: PUSH1 0x20 00000538: ADD 00000539: SWAP1 0000053a: DUP1 0000053b: DUP4 0000053c: DUP4 0000053d: JUMPDEST 0000053e: PUSH1 0x20 00000540: DUP4 00000541: LT 00000542: PUSH2 0x0560 00000545: JUMPI 00000546: DUP1 00000547: MLOAD 00000548: DUP3 00000549: MSTORE 0000054a: PUSH1 0x20 0000054c: DUP3 0000054d: ADD 0000054e: SWAP2 0000054f: POP 00000550: PUSH1 0x20 00000552: DUP2 00000553: ADD 00000554: SWAP1 00000555: POP 00000556: PUSH1 0x20 00000558: DUP4 00000559: SUB 0000055a: SWAP3 0000055b: POP 0000055c: PUSH2 0x053d 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH1 0x01 00000563: DUP4 00000564: PUSH1 0x20 00000566: SUB 00000567: PUSH2 0x0100 0000056a: EXP 0000056b: SUB 0000056c: DUP1 0000056d: NOT 0000056e: DUP3 0000056f: MLOAD 00000570: AND 00000571: DUP2 00000572: DUP5 00000573: MLOAD 00000574: AND 00000575: DUP1 00000576: DUP3 00000577: OR 00000578: DUP6 00000579: MSTORE 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: POP 0000057f: POP 00000580: SWAP1 00000581: POP 00000582: ADD 00000583: SWAP2 00000584: POP 00000585: POP 00000586: PUSH1 0x40 00000588: MLOAD 00000589: PUSH1 0x20 0000058b: DUP2 0000058c: DUP4 0000058d: SUB 0000058e: SUB 0000058f: DUP2 00000590: MSTORE 00000591: SWAP1 00000592: PUSH1 0x40 00000594: MSTORE 00000595: DUP1 00000596: MLOAD 00000597: SWAP1 00000598: PUSH1 0x20 0000059a: ADD 0000059b: KECCAK256 0000059c: SWAP1 0000059d: POP 0000059e: PUSH2 0x05c3 000005a1: CALLVALUE 000005a2: PUSH1 0x01 000005a4: PUSH1 0x00 000005a6: DUP5 000005a7: DUP2 000005a8: MSTORE 000005a9: PUSH1 0x20 000005ab: ADD 000005ac: SWAP1 000005ad: DUP2 000005ae: MSTORE 000005af: PUSH1 0x20 000005b1: ADD 000005b2: PUSH1 0x00 000005b4: KECCAK256 000005b5: SLOAD 000005b6: PUSH2 0x08a3 000005b9: SWAP1 000005ba: SWAP2 000005bb: SWAP1 000005bc: PUSH4 0xffffffff 000005c1: AND 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH1 0x01 000005c6: PUSH1 0x00 000005c8: DUP4 000005c9: DUP2 000005ca: MSTORE 000005cb: PUSH1 0x20 000005cd: ADD 000005ce: SWAP1 000005cf: DUP2 000005d0: MSTORE 000005d1: PUSH1 0x20 000005d3: ADD 000005d4: PUSH1 0x00 000005d6: KECCAK256 000005d7: DUP2 000005d8: SWAP1 000005d9: SSTORE 000005da: POP 000005db: DUP1 000005dc: PUSH32 0x2c7d80ba9bc6395644b4ff4a878353ac20adeed6e23cead48c8cec7a58b6e719 000005fd: CALLVALUE 000005fe: TIMESTAMP 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: DUP1 00000603: DUP4 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x20 00000608: ADD 00000609: DUP3 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x20 0000060e: ADD 0000060f: SWAP3 00000610: POP 00000611: POP 00000612: POP 00000613: PUSH1 0x40 00000615: MLOAD 00000616: DUP1 00000617: SWAP2 00000618: SUB 00000619: SWAP1 0000061a: LOG2 0000061b: POP 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x00 00000620: DUP1 00000621: PUSH1 0x01 00000623: SWAP1 00000624: SLOAD 00000625: SWAP1 00000626: PUSH2 0x0100 00000629: EXP 0000062a: SWAP1 0000062b: DIV 0000062c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000641: AND 00000642: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000657: AND 00000658: PUSH4 0x7ae1cfca 0000065d: DUP4 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: DUP3 00000662: PUSH4 0xffffffff 00000667: AND 00000668: PUSH1 0xe0 0000066a: SHL 0000066b: DUP2 0000066c: MSTORE 0000066d: PUSH1 0x04 0000066f: ADD 00000670: DUP1 00000671: DUP3 00000672: DUP2 00000673: MSTORE 00000674: PUSH1 0x20 00000676: ADD 00000677: SWAP2 00000678: POP 00000679: POP 0000067a: PUSH1 0x20 0000067c: PUSH1 0x40 0000067e: MLOAD 0000067f: DUP1 00000680: DUP4 00000681: SUB 00000682: DUP2 00000683: DUP7 00000684: DUP1 00000685: EXTCODESIZE 00000686: ISZERO 00000687: DUP1 00000688: ISZERO 00000689: PUSH2 0x0691 0000068c: JUMPI 0000068d: PUSH1 0x00 0000068f: DUP1 00000690: REVERT 00000691: JUMPDEST 00000692: POP 00000693: GAS 00000694: STATICCALL 00000695: ISZERO 00000696: DUP1 00000697: ISZERO 00000698: PUSH2 0x06a5 0000069b: JUMPI 0000069c: RETURNDATASIZE 0000069d: PUSH1 0x00 0000069f: DUP1 000006a0: RETURNDATACOPY 000006a1: RETURNDATASIZE 000006a2: PUSH1 0x00 000006a4: REVERT 000006a5: JUMPDEST 000006a6: POP 000006a7: POP 000006a8: POP 000006a9: POP 000006aa: PUSH1 0x40 000006ac: MLOAD 000006ad: RETURNDATASIZE 000006ae: PUSH1 0x20 000006b0: DUP2 000006b1: LT 000006b2: ISZERO 000006b3: PUSH2 0x06bb 000006b6: JUMPI 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: DUP2 000006bd: ADD 000006be: SWAP1 000006bf: DUP1 000006c0: DUP1 000006c1: MLOAD 000006c2: SWAP1 000006c3: PUSH1 0x20 000006c5: ADD 000006c6: SWAP1 000006c7: SWAP3 000006c8: SWAP2 000006c9: SWAP1 000006ca: POP 000006cb: POP 000006cc: POP 000006cd: SWAP1 000006ce: POP 000006cf: SWAP2 000006d0: SWAP1 000006d1: POP 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x60 000006d6: DUP1 000006d7: PUSH2 0x0746 000006da: DUP4 000006db: PUSH1 0x40 000006dd: MLOAD 000006de: PUSH1 0x20 000006e0: ADD 000006e1: DUP1 000006e2: DUP1 000006e3: PUSH32 0x636f6e74726163742e6e616d6500000000000000000000000000000000000000 00000704: DUP2 00000705: MSTORE 00000706: POP 00000707: PUSH1 0x0d 00000709: ADD 0000070a: DUP3 0000070b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000720: AND 00000721: PUSH1 0x60 00000723: SHL 00000724: DUP2 00000725: MSTORE 00000726: PUSH1 0x14 00000728: ADD 00000729: SWAP2 0000072a: POP 0000072b: POP 0000072c: PUSH1 0x40 0000072e: MLOAD 0000072f: PUSH1 0x20 00000731: DUP2 00000732: DUP4 00000733: SUB 00000734: SUB 00000735: DUP2 00000736: MSTORE 00000737: SWAP1 00000738: PUSH1 0x40 0000073a: MSTORE 0000073b: DUP1 0000073c: MLOAD 0000073d: SWAP1 0000073e: PUSH1 0x20 00000740: ADD 00000741: KECCAK256 00000742: PUSH2 0x092b 00000745: JUMP 00000746: JUMPDEST 00000747: SWAP1 00000748: POP 00000749: PUSH1 0x40 0000074b: MLOAD 0000074c: PUSH1 0x20 0000074e: ADD 0000074f: DUP1 00000750: PUSH1 0x00 00000752: ADD 00000753: SWAP1 00000754: POP 00000755: PUSH1 0x40 00000757: MLOAD 00000758: PUSH1 0x20 0000075a: DUP2 0000075b: DUP4 0000075c: SUB 0000075d: SUB 0000075e: DUP2 0000075f: MSTORE 00000760: SWAP1 00000761: PUSH1 0x40 00000763: MSTORE 00000764: DUP1 00000765: MLOAD 00000766: SWAP1 00000767: PUSH1 0x20 00000769: ADD 0000076a: KECCAK256 0000076b: DUP2 0000076c: PUSH1 0x40 0000076e: MLOAD 0000076f: PUSH1 0x20 00000771: ADD 00000772: DUP1 00000773: DUP3 00000774: DUP1 00000775: MLOAD 00000776: SWAP1 00000777: PUSH1 0x20 00000779: ADD 0000077a: SWAP1 0000077b: DUP1 0000077c: DUP4 0000077d: DUP4 0000077e: JUMPDEST 0000077f: PUSH1 0x20 00000781: DUP4 00000782: LT 00000783: PUSH2 0x07a1 00000786: JUMPI 00000787: DUP1 00000788: MLOAD 00000789: DUP3 0000078a: MSTORE 0000078b: PUSH1 0x20 0000078d: DUP3 0000078e: ADD 0000078f: SWAP2 00000790: POP 00000791: PUSH1 0x20 00000793: DUP2 00000794: ADD 00000795: SWAP1 00000796: POP 00000797: PUSH1 0x20 00000799: DUP4 0000079a: SUB 0000079b: SWAP3 0000079c: POP 0000079d: PUSH2 0x077e 000007a0: JUMP 000007a1: JUMPDEST 000007a2: PUSH1 0x01 000007a4: DUP4 000007a5: PUSH1 0x20 000007a7: SUB 000007a8: PUSH2 0x0100 000007ab: EXP 000007ac: SUB 000007ad: DUP1 000007ae: NOT 000007af: DUP3 000007b0: MLOAD 000007b1: AND 000007b2: DUP2 000007b3: DUP5 000007b4: MLOAD 000007b5: AND 000007b6: DUP1 000007b7: DUP3 000007b8: OR 000007b9: DUP6 000007ba: MSTORE 000007bb: POP 000007bc: POP 000007bd: POP 000007be: POP 000007bf: POP 000007c0: POP 000007c1: SWAP1 000007c2: POP 000007c3: ADD 000007c4: SWAP2 000007c5: POP 000007c6: POP 000007c7: PUSH1 0x40 000007c9: MLOAD 000007ca: PUSH1 0x20 000007cc: DUP2 000007cd: DUP4 000007ce: SUB 000007cf: SUB 000007d0: DUP2 000007d1: MSTORE 000007d2: SWAP1 000007d3: PUSH1 0x40 000007d5: MSTORE 000007d6: DUP1 000007d7: MLOAD 000007d8: SWAP1 000007d9: PUSH1 0x20 000007db: ADD 000007dc: KECCAK256 000007dd: EQ 000007de: ISZERO 000007df: PUSH2 0x0850 000007e2: JUMPI 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x04 0000080b: ADD 0000080c: DUP1 0000080d: DUP1 0000080e: PUSH1 0x20 00000810: ADD 00000811: DUP3 00000812: DUP2 00000813: SUB 00000814: DUP3 00000815: MSTORE 00000816: PUSH1 0x12 00000818: DUP2 00000819: MSTORE 0000081a: PUSH1 0x20 0000081c: ADD 0000081d: DUP1 0000081e: PUSH32 0x436f6e7472616374206e6f7420666f756e640000000000000000000000000000 0000083f: DUP2 00000840: MSTORE 00000841: POP 00000842: PUSH1 0x20 00000844: ADD 00000845: SWAP2 00000846: POP 00000847: POP 00000848: PUSH1 0x40 0000084a: MLOAD 0000084b: DUP1 0000084c: SWAP2 0000084d: SUB 0000084e: SWAP1 0000084f: REVERT 00000850: JUMPDEST 00000851: DUP1 00000852: SWAP2 00000853: POP 00000854: POP 00000855: SWAP2 00000856: SWAP1 00000857: POP 00000858: JUMP 00000859: JUMPDEST 0000085a: PUSH1 0x00 0000085c: PUSH2 0x089b 0000085f: DUP4 00000860: DUP4 00000861: PUSH1 0x40 00000863: MLOAD 00000864: DUP1 00000865: PUSH1 0x40 00000867: ADD 00000868: PUSH1 0x40 0000086a: MSTORE 0000086b: DUP1 0000086c: PUSH1 0x1e 0000086e: DUP2 0000086f: MSTORE 00000870: PUSH1 0x20 00000872: ADD 00000873: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000894: DUP2 00000895: MSTORE 00000896: POP 00000897: PUSH2 0x0aa0 0000089a: JUMP 0000089b: JUMPDEST 0000089c: SWAP1 0000089d: POP 0000089e: SWAP3 0000089f: SWAP2 000008a0: POP 000008a1: POP 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH1 0x00 000008a6: DUP1 000008a7: DUP3 000008a8: DUP5 000008a9: ADD 000008aa: SWAP1 000008ab: POP 000008ac: DUP4 000008ad: DUP2 000008ae: LT 000008af: ISZERO 000008b0: PUSH2 0x0921 000008b3: JUMPI 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008d8: DUP2 000008d9: MSTORE 000008da: PUSH1 0x04 000008dc: ADD 000008dd: DUP1 000008de: DUP1 000008df: PUSH1 0x20 000008e1: ADD 000008e2: DUP3 000008e3: DUP2 000008e4: SUB 000008e5: DUP3 000008e6: MSTORE 000008e7: PUSH1 0x1b 000008e9: DUP2 000008ea: MSTORE 000008eb: PUSH1 0x20 000008ed: ADD 000008ee: DUP1 000008ef: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000910: DUP2 00000911: MSTORE 00000912: POP 00000913: PUSH1 0x20 00000915: ADD 00000916: SWAP2 00000917: POP 00000918: POP 00000919: PUSH1 0x40 0000091b: MLOAD 0000091c: DUP1 0000091d: SWAP2 0000091e: SUB 0000091f: SWAP1 00000920: REVERT 00000921: JUMPDEST 00000922: DUP1 00000923: SWAP2 00000924: POP 00000925: POP 00000926: SWAP3 00000927: SWAP2 00000928: POP 00000929: POP 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x60 0000092e: PUSH1 0x00 00000930: PUSH1 0x01 00000932: SWAP1 00000933: SLOAD 00000934: SWAP1 00000935: PUSH2 0x0100 00000938: EXP 00000939: SWAP1 0000093a: DIV 0000093b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000950: AND 00000951: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000966: AND 00000967: PUSH4 0x986e791a 0000096c: DUP4 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP3 00000971: PUSH4 0xffffffff 00000976: AND 00000977: PUSH1 0xe0 00000979: SHL 0000097a: DUP2 0000097b: MSTORE 0000097c: PUSH1 0x04 0000097e: ADD 0000097f: DUP1 00000980: DUP3 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: ADD 00000986: SWAP2 00000987: POP 00000988: POP 00000989: PUSH1 0x00 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: DUP1 0000098f: DUP4 00000990: SUB 00000991: DUP2 00000992: DUP7 00000993: DUP1 00000994: EXTCODESIZE 00000995: ISZERO 00000996: DUP1 00000997: ISZERO 00000998: PUSH2 0x09a0 0000099b: JUMPI 0000099c: PUSH1 0x00 0000099e: DUP1 0000099f: REVERT 000009a0: JUMPDEST 000009a1: POP 000009a2: GAS 000009a3: STATICCALL 000009a4: ISZERO 000009a5: DUP1 000009a6: ISZERO 000009a7: PUSH2 0x09b4 000009aa: JUMPI 000009ab: RETURNDATASIZE 000009ac: PUSH1 0x00 000009ae: DUP1 000009af: RETURNDATACOPY 000009b0: RETURNDATASIZE 000009b1: PUSH1 0x00 000009b3: REVERT 000009b4: JUMPDEST 000009b5: POP 000009b6: POP 000009b7: POP 000009b8: POP 000009b9: PUSH1 0x40 000009bb: MLOAD 000009bc: RETURNDATASIZE 000009bd: PUSH1 0x00 000009bf: DUP3 000009c0: RETURNDATACOPY 000009c1: RETURNDATASIZE 000009c2: PUSH1 0x1f 000009c4: NOT 000009c5: PUSH1 0x1f 000009c7: DUP3 000009c8: ADD 000009c9: AND 000009ca: DUP3 000009cb: ADD 000009cc: DUP1 000009cd: PUSH1 0x40 000009cf: MSTORE 000009d0: POP 000009d1: PUSH1 0x20 000009d3: DUP2 000009d4: LT 000009d5: ISZERO 000009d6: PUSH2 0x09de 000009d9: JUMPI 000009da: PUSH1 0x00 000009dc: DUP1 000009dd: REVERT 000009de: JUMPDEST 000009df: DUP2 000009e0: ADD 000009e1: SWAP1 000009e2: DUP1 000009e3: DUP1 000009e4: MLOAD 000009e5: PUSH1 0x40 000009e7: MLOAD 000009e8: SWAP4 000009e9: SWAP3 000009ea: SWAP2 000009eb: SWAP1 000009ec: DUP5 000009ed: PUSH5 0x0100000000 000009f3: DUP3 000009f4: GT 000009f5: ISZERO 000009f6: PUSH2 0x09fe 000009f9: JUMPI 000009fa: PUSH1 0x00 000009fc: DUP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: DUP4 00000a00: DUP3 00000a01: ADD 00000a02: SWAP2 00000a03: POP 00000a04: PUSH1 0x20 00000a06: DUP3 00000a07: ADD 00000a08: DUP6 00000a09: DUP2 00000a0a: GT 00000a0b: ISZERO 00000a0c: PUSH2 0x0a14 00000a0f: JUMPI 00000a10: PUSH1 0x00 00000a12: DUP1 00000a13: REVERT 00000a14: JUMPDEST 00000a15: DUP3 00000a16: MLOAD 00000a17: DUP7 00000a18: PUSH1 0x01 00000a1a: DUP3 00000a1b: MUL 00000a1c: DUP4 00000a1d: ADD 00000a1e: GT 00000a1f: PUSH5 0x0100000000 00000a25: DUP3 00000a26: GT 00000a27: OR 00000a28: ISZERO 00000a29: PUSH2 0x0a31 00000a2c: JUMPI 00000a2d: PUSH1 0x00 00000a2f: DUP1 00000a30: REVERT 00000a31: JUMPDEST 00000a32: DUP1 00000a33: DUP4 00000a34: MSTORE 00000a35: PUSH1 0x20 00000a37: DUP4 00000a38: ADD 00000a39: SWAP3 00000a3a: POP 00000a3b: POP 00000a3c: POP 00000a3d: SWAP1 00000a3e: DUP1 00000a3f: MLOAD 00000a40: SWAP1 00000a41: PUSH1 0x20 00000a43: ADD 00000a44: SWAP1 00000a45: DUP1 00000a46: DUP4 00000a47: DUP4 00000a48: PUSH1 0x00 00000a4a: JUMPDEST 00000a4b: DUP4 00000a4c: DUP2 00000a4d: LT 00000a4e: ISZERO 00000a4f: PUSH2 0x0a65 00000a52: JUMPI 00000a53: DUP1 00000a54: DUP3 00000a55: ADD 00000a56: MLOAD 00000a57: DUP2 00000a58: DUP5 00000a59: ADD 00000a5a: MSTORE 00000a5b: PUSH1 0x20 00000a5d: DUP2 00000a5e: ADD 00000a5f: SWAP1 00000a60: POP 00000a61: PUSH2 0x0a4a 00000a64: JUMP 00000a65: JUMPDEST 00000a66: POP 00000a67: POP 00000a68: POP 00000a69: POP 00000a6a: SWAP1 00000a6b: POP 00000a6c: SWAP1 00000a6d: DUP2 00000a6e: ADD 00000a6f: SWAP1 00000a70: PUSH1 0x1f 00000a72: AND 00000a73: DUP1 00000a74: ISZERO 00000a75: PUSH2 0x0a92 00000a78: JUMPI 00000a79: DUP1 00000a7a: DUP3 00000a7b: SUB 00000a7c: DUP1 00000a7d: MLOAD 00000a7e: PUSH1 0x01 00000a80: DUP4 00000a81: PUSH1 0x20 00000a83: SUB 00000a84: PUSH2 0x0100 00000a87: EXP 00000a88: SUB 00000a89: NOT 00000a8a: AND 00000a8b: DUP2 00000a8c: MSTORE 00000a8d: PUSH1 0x20 00000a8f: ADD 00000a90: SWAP2 00000a91: POP 00000a92: JUMPDEST 00000a93: POP 00000a94: PUSH1 0x40 00000a96: MSTORE 00000a97: POP 00000a98: POP 00000a99: POP 00000a9a: SWAP1 00000a9b: POP 00000a9c: SWAP2 00000a9d: SWAP1 00000a9e: POP 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: PUSH1 0x00 00000aa3: DUP4 00000aa4: DUP4 00000aa5: GT 00000aa6: ISZERO 00000aa7: DUP3 00000aa8: SWAP1 00000aa9: PUSH2 0x0b4d 00000aac: JUMPI 00000aad: PUSH1 0x40 00000aaf: MLOAD 00000ab0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ad1: DUP2 00000ad2: MSTORE 00000ad3: PUSH1 0x04 00000ad5: ADD 00000ad6: DUP1 00000ad7: DUP1 00000ad8: PUSH1 0x20 00000ada: ADD 00000adb: DUP3 00000adc: DUP2 00000add: SUB 00000ade: DUP3 00000adf: MSTORE 00000ae0: DUP4 00000ae1: DUP2 00000ae2: DUP2 00000ae3: MLOAD 00000ae4: DUP2 00000ae5: MSTORE 00000ae6: PUSH1 0x20 00000ae8: ADD 00000ae9: SWAP2 00000aea: POP 00000aeb: DUP1 00000aec: MLOAD 00000aed: SWAP1 00000aee: PUSH1 0x20 00000af0: ADD 00000af1: SWAP1 00000af2: DUP1 00000af3: DUP4 00000af4: DUP4 00000af5: PUSH1 0x00 00000af7: JUMPDEST 00000af8: DUP4 00000af9: DUP2 00000afa: LT 00000afb: ISZERO 00000afc: PUSH2 0x0b12 00000aff: JUMPI 00000b00: DUP1 00000b01: DUP3 00000b02: ADD 00000b03: MLOAD 00000b04: DUP2 00000b05: DUP5 00000b06: ADD 00000b07: MSTORE 00000b08: PUSH1 0x20 00000b0a: DUP2 00000b0b: ADD 00000b0c: SWAP1 00000b0d: POP 00000b0e: PUSH2 0x0af7 00000b11: JUMP 00000b12: JUMPDEST 00000b13: POP 00000b14: POP 00000b15: POP 00000b16: POP 00000b17: SWAP1 00000b18: POP 00000b19: SWAP1 00000b1a: DUP2 00000b1b: ADD 00000b1c: SWAP1 00000b1d: PUSH1 0x1f 00000b1f: AND 00000b20: DUP1 00000b21: ISZERO 00000b22: PUSH2 0x0b3f 00000b25: JUMPI 00000b26: DUP1 00000b27: DUP3 00000b28: SUB 00000b29: DUP1 00000b2a: MLOAD 00000b2b: PUSH1 0x01 00000b2d: DUP4 00000b2e: PUSH1 0x20 00000b30: SUB 00000b31: PUSH2 0x0100 00000b34: EXP 00000b35: SUB 00000b36: NOT 00000b37: AND 00000b38: DUP2 00000b39: MSTORE 00000b3a: PUSH1 0x20 00000b3c: ADD 00000b3d: SWAP2 00000b3e: POP 00000b3f: JUMPDEST 00000b40: POP 00000b41: SWAP3 00000b42: POP 00000b43: POP 00000b44: POP 00000b45: PUSH1 0x40 00000b47: MLOAD 00000b48: DUP1 00000b49: SWAP2 00000b4a: SUB 00000b4b: SWAP1 00000b4c: REVERT 00000b4d: JUMPDEST 00000b4e: POP 00000b4f: PUSH1 0x00 00000b51: DUP4 00000b52: DUP6 00000b53: SUB 00000b54: SWAP1 00000b55: POP 00000b56: DUP1 00000b57: SWAP2 00000b58: POP 00000b59: POP 00000b5a: SWAP4 00000b5b: SWAP3 00000b5c: POP 00000b5d: POP 00000b5e: POP 00000b5f: JUMP 00000b60: INVALID 00000b61: BLOBHASH 00000b62: PUSH15 0x73756666696369656e7420636f6e74 00000b72: PUSH19 0x616374204554482062616c616e6365496e7661 00000b86: PUSH13 0x6964206f72206f757464617465 00000b94: PUSH5 0x206e657477 00000b9a: PUSH16 0x726b20636f6e7472616374a264697066 00000bab: PUSH20 0x58221220127cb9446533f0a9352d4f96229d6d9a 00000bc0: LOG2 00000bc1: UNKNOWN(0xA8) 00000bc2: PUSH18 0x4a7fbb78e89db61ccde9d51ca964736f6c63 00000bd5: NUMBER 00000bd6: STOP 00000bd7: MOD 00000bd8: UNKNOWN(0x0C) 00000bd9: STOP 00000bda: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xff66291b2ad134c223daa64edf1aa56ea79c8f6a22712b809bcb456d08955899
call_targets:
0x54896f542f044709807f0d79033934d661d39fc1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xff66291b2ad134c223daa64edf1aa56ea79c8f6a22712b809bcb456d08955899",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54896f542f044709807f0d79033934d661d39fc1"
],
"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": "0x3bed33ce",
"selector": "0x3bed33ce",
"calldata_variants": [
"0x3bed33ce",
"0x3bed33ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98ea5fca",
"selector": "0x98ea5fca",
"calldata_variants": [
"0x98ea5fca",
"0x98ea5fca0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 856,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xff66291b2ad134c223daa64edf1aa56ea79c8f6a22712b809bcb456d08955899
call_targets:
0x54896f542f044709807f0d79033934d661d39fc1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xff66291b2ad134c223daa64edf1aa56ea79c8f6a22712b809bcb456d08955899",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x54896f542f044709807f0d79033934d661d39fc1"
],
"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": "0x3bed33ce",
"selector": "0x3bed33ce",
"calldata_variants": [
"0x3bed33ce",
"0x3bed33ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x98ea5fca",
"selector": "0x98ea5fca",
"calldata_variants": [
"0x98ea5fca",
"0x98ea5fca0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 856,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|