019ba9a5-c7a8-7188-8c2e-1a6fcb801d34
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 |
|---|---|---|---|---|
| 37437 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37438 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37439 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37440 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37441 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37442 | detector.run | complete | 1 / 3 | 3 months ago |
| 37443 | 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 0x00b9 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: DUP1 00000031: PUSH4 0x8c70978d 00000036: GT 00000037: PUSH2 0x0081 0000003a: JUMPI 0000003b: DUP1 0000003c: PUSH4 0x8c70978d 00000041: EQ 00000042: PUSH2 0x0148 00000045: JUMPI 00000046: DUP1 00000047: PUSH4 0x8da5cb5b 0000004c: EQ 0000004d: PUSH2 0x0168 00000050: JUMPI 00000051: DUP1 00000052: PUSH4 0xc489744b 00000057: EQ 00000058: PUSH2 0x0195 0000005b: JUMPI 0000005c: DUP1 0000005d: PUSH4 0xe024c908 00000062: EQ 00000063: PUSH2 0x01e9 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0xefd8be62 0000006d: EQ 0000006e: PUSH2 0x0209 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xf2fde38b 00000078: EQ 00000079: PUSH2 0x023f 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP1 00000080: REVERT 00000081: JUMPDEST 00000082: DUP1 00000083: PUSH4 0x363983b0 00000088: EQ 00000089: PUSH2 0x00be 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x4f24ec11 00000093: EQ 00000094: PUSH2 0x00e0 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x575cb2ff 0000009e: EQ 0000009f: PUSH2 0x00f3 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x715018a6 000000a9: EQ 000000aa: PUSH2 0x0113 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x7f629809 000000b4: EQ 000000b5: PUSH2 0x0128 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: PUSH1 0x00 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: CALLVALUE 000000c0: DUP1 000000c1: ISZERO 000000c2: PUSH2 0x00ca 000000c5: JUMPI 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: REVERT 000000ca: JUMPDEST 000000cb: POP 000000cc: PUSH2 0x00de 000000cf: PUSH2 0x00d9 000000d2: CALLDATASIZE 000000d3: PUSH1 0x04 000000d5: PUSH2 0x1091 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH2 0x025f 000000dd: JUMP 000000de: JUMPDEST 000000df: STOP 000000e0: JUMPDEST 000000e1: PUSH2 0x00de 000000e4: PUSH2 0x00ee 000000e7: CALLDATASIZE 000000e8: PUSH1 0x04 000000ea: PUSH2 0x1242 000000ed: JUMP 000000ee: JUMPDEST 000000ef: PUSH2 0x03fc 000000f2: JUMP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x00de 00000104: PUSH2 0x010e 00000107: CALLDATASIZE 00000108: PUSH1 0x04 0000010a: PUSH2 0x12ab 0000010d: JUMP 0000010e: JUMPDEST 0000010f: PUSH2 0x066b 00000112: JUMP 00000113: JUMPDEST 00000114: CALLVALUE 00000115: DUP1 00000116: ISZERO 00000117: PUSH2 0x011f 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: POP 00000121: PUSH2 0x00de 00000124: PUSH2 0x07a7 00000127: JUMP 00000128: JUMPDEST 00000129: CALLVALUE 0000012a: DUP1 0000012b: ISZERO 0000012c: PUSH2 0x0134 0000012f: JUMPI 00000130: PUSH1 0x00 00000132: DUP1 00000133: REVERT 00000134: JUMPDEST 00000135: POP 00000136: PUSH2 0x00de 00000139: PUSH2 0x0143 0000013c: CALLDATASIZE 0000013d: PUSH1 0x04 0000013f: PUSH2 0x12d5 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH2 0x07bb 00000147: JUMP 00000148: JUMPDEST 00000149: CALLVALUE 0000014a: DUP1 0000014b: ISZERO 0000014c: PUSH2 0x0154 0000014f: JUMPI 00000150: PUSH1 0x00 00000152: DUP1 00000153: REVERT 00000154: JUMPDEST 00000155: POP 00000156: PUSH2 0x00de 00000159: PUSH2 0x0163 0000015c: CALLDATASIZE 0000015d: PUSH1 0x04 0000015f: PUSH2 0x1342 00000162: JUMP 00000163: JUMPDEST 00000164: PUSH2 0x08bb 00000167: JUMP 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0174 0000016f: JUMPI 00000170: PUSH1 0x00 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: POP 00000176: PUSH1 0x01 00000178: SLOAD 00000179: PUSH1 0x40 0000017b: MLOAD 0000017c: PUSH1 0x01 0000017e: PUSH1 0xa0 00000180: PUSH1 0x02 00000182: EXP 00000183: SUB 00000184: SWAP1 00000185: SWAP2 00000186: AND 00000187: DUP2 00000188: MSTORE 00000189: PUSH1 0x20 0000018b: ADD 0000018c: JUMPDEST 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: DUP1 00000191: SWAP2 00000192: SUB 00000193: SWAP1 00000194: RETURN 00000195: JUMPDEST 00000196: CALLVALUE 00000197: DUP1 00000198: ISZERO 00000199: PUSH2 0x01a1 0000019c: JUMPI 0000019d: PUSH1 0x00 0000019f: DUP1 000001a0: REVERT 000001a1: JUMPDEST 000001a2: POP 000001a3: PUSH2 0x01db 000001a6: PUSH2 0x01b0 000001a9: CALLDATASIZE 000001aa: PUSH1 0x04 000001ac: PUSH2 0x139e 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x01 000001b3: PUSH1 0xa0 000001b5: PUSH1 0x02 000001b7: EXP 000001b8: SUB 000001b9: SWAP2 000001ba: DUP3 000001bb: AND 000001bc: PUSH1 0x00 000001be: SWAP1 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x02 000001c3: PUSH1 0x20 000001c5: SWAP1 000001c6: DUP2 000001c7: MSTORE 000001c8: PUSH1 0x40 000001ca: DUP1 000001cb: DUP4 000001cc: KECCAK256 000001cd: SWAP4 000001ce: SWAP1 000001cf: SWAP5 000001d0: AND 000001d1: DUP3 000001d2: MSTORE 000001d3: SWAP2 000001d4: SWAP1 000001d5: SWAP2 000001d6: MSTORE 000001d7: KECCAK256 000001d8: SLOAD 000001d9: SWAP1 000001da: JUMP 000001db: JUMPDEST 000001dc: PUSH1 0x40 000001de: MLOAD 000001df: SWAP1 000001e0: DUP2 000001e1: MSTORE 000001e2: PUSH1 0x20 000001e4: ADD 000001e5: PUSH2 0x018c 000001e8: JUMP 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH2 0x00de 000001fa: PUSH2 0x0204 000001fd: CALLDATASIZE 000001fe: PUSH1 0x04 00000200: PUSH2 0x13d1 00000203: JUMP 00000204: JUMPDEST 00000205: PUSH2 0x096a 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x01db 0000021a: PUSH2 0x0224 0000021d: CALLDATASIZE 0000021e: PUSH1 0x04 00000220: PUSH2 0x144e 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH1 0x01 00000227: PUSH1 0xa0 00000229: PUSH1 0x02 0000022b: EXP 0000022c: SUB 0000022d: AND 0000022e: PUSH1 0x00 00000230: SWAP1 00000231: DUP2 00000232: MSTORE 00000233: PUSH1 0x03 00000235: PUSH1 0x20 00000237: MSTORE 00000238: PUSH1 0x40 0000023a: SWAP1 0000023b: KECCAK256 0000023c: SLOAD 0000023d: SWAP1 0000023e: JUMP 0000023f: JUMPDEST 00000240: CALLVALUE 00000241: DUP1 00000242: ISZERO 00000243: PUSH2 0x024b 00000246: JUMPI 00000247: PUSH1 0x00 00000249: DUP1 0000024a: REVERT 0000024b: JUMPDEST 0000024c: POP 0000024d: PUSH2 0x00de 00000250: PUSH2 0x025a 00000253: CALLDATASIZE 00000254: PUSH1 0x04 00000256: PUSH2 0x144e 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH2 0x0bb7 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH1 0x02 00000262: PUSH1 0x00 00000264: SLOAD 00000265: SUB 00000266: PUSH2 0x02b9 00000269: JUMPI 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: PUSH1 0xe5 0000026f: PUSH1 0x02 00000271: EXP 00000272: PUSH3 0x461bcd 00000276: MUL 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x20 0000027b: PUSH1 0x04 0000027d: DUP3 0000027e: ADD 0000027f: MSTORE 00000280: PUSH1 0x1f 00000282: PUSH1 0x24 00000284: DUP3 00000285: ADD 00000286: MSTORE 00000287: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000002a8: PUSH1 0x44 000002aa: DUP3 000002ab: ADD 000002ac: MSTORE 000002ad: PUSH1 0x64 000002af: ADD 000002b0: JUMPDEST 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: DUP1 000002b5: SWAP2 000002b6: SUB 000002b7: SWAP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: PUSH1 0x02 000002bc: PUSH1 0x00 000002be: SSTORE 000002bf: DUP1 000002c0: PUSH2 0x02de 000002c3: JUMPI 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: PUSH1 0xe5 000002c9: PUSH1 0x02 000002cb: EXP 000002cc: PUSH3 0x461bcd 000002d0: MUL 000002d1: DUP2 000002d2: MSTORE 000002d3: PUSH1 0x04 000002d5: ADD 000002d6: PUSH2 0x02b0 000002d9: SWAP1 000002da: PUSH2 0x1469 000002dd: JUMP 000002de: JUMPDEST 000002df: CALLER 000002e0: PUSH1 0x00 000002e2: SWAP1 000002e3: DUP2 000002e4: MSTORE 000002e5: PUSH1 0x03 000002e7: PUSH1 0x20 000002e9: MSTORE 000002ea: PUSH1 0x40 000002ec: SWAP1 000002ed: KECCAK256 000002ee: SLOAD 000002ef: DUP2 000002f0: DUP2 000002f1: LT 000002f2: ISZERO 000002f3: PUSH2 0x0311 000002f6: JUMPI 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: PUSH1 0xe5 000002fc: PUSH1 0x02 000002fe: EXP 000002ff: PUSH3 0x461bcd 00000303: MUL 00000304: DUP2 00000305: MSTORE 00000306: PUSH1 0x04 00000308: ADD 00000309: PUSH2 0x02b0 0000030c: SWAP1 0000030d: PUSH2 0x14a0 00000310: JUMP 00000311: JUMPDEST 00000312: CALLER 00000313: PUSH1 0x00 00000315: DUP2 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x03 0000031a: PUSH1 0x20 0000031c: MSTORE 0000031d: PUSH1 0x40 0000031f: DUP1 00000320: DUP3 00000321: KECCAK256 00000322: DUP6 00000323: DUP6 00000324: SUB 00000325: SWAP1 00000326: SSTORE 00000327: MLOAD 00000328: SWAP1 00000329: SWAP2 0000032a: SWAP1 0000032b: DUP5 0000032c: SWAP1 0000032d: DUP4 0000032e: DUP2 0000032f: DUP2 00000330: DUP2 00000331: DUP6 00000332: DUP8 00000333: GAS 00000334: CALL 00000335: SWAP3 00000336: POP 00000337: POP 00000338: POP 00000339: RETURNDATASIZE 0000033a: DUP1 0000033b: PUSH1 0x00 0000033d: DUP2 0000033e: EQ 0000033f: PUSH2 0x0364 00000342: JUMPI 00000343: PUSH1 0x40 00000345: MLOAD 00000346: SWAP2 00000347: POP 00000348: PUSH1 0x1f 0000034a: NOT 0000034b: PUSH1 0x3f 0000034d: RETURNDATASIZE 0000034e: ADD 0000034f: AND 00000350: DUP3 00000351: ADD 00000352: PUSH1 0x40 00000354: MSTORE 00000355: RETURNDATASIZE 00000356: DUP3 00000357: MSTORE 00000358: RETURNDATASIZE 00000359: PUSH1 0x00 0000035b: PUSH1 0x20 0000035d: DUP5 0000035e: ADD 0000035f: RETURNDATACOPY 00000360: PUSH2 0x0369 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH1 0x60 00000367: SWAP2 00000368: POP 00000369: JUMPDEST 0000036a: POP 0000036b: POP 0000036c: SWAP1 0000036d: POP 0000036e: DUP1 0000036f: PUSH2 0x03bd 00000372: JUMPI 00000373: PUSH1 0x40 00000375: MLOAD 00000376: PUSH1 0xe5 00000378: PUSH1 0x02 0000037a: EXP 0000037b: PUSH3 0x461bcd 0000037f: MUL 00000380: DUP2 00000381: MSTORE 00000382: PUSH1 0x20 00000384: PUSH1 0x04 00000386: DUP3 00000387: ADD 00000388: MSTORE 00000389: PUSH1 0x10 0000038b: PUSH1 0x24 0000038d: DUP3 0000038e: ADD 0000038f: MSTORE 00000390: PUSH32 0x5472616e73666572206661696c65642e00000000000000000000000000000000 000003b1: PUSH1 0x44 000003b3: DUP3 000003b4: ADD 000003b5: MSTORE 000003b6: PUSH1 0x64 000003b8: ADD 000003b9: PUSH2 0x02b0 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP4 000003c2: DUP2 000003c3: MSTORE 000003c4: CALLER 000003c5: SWAP1 000003c6: PUSH32 0xe48ce20052356636f8c8885530ee91556d7fecdf5ea2d88bfe6dd04b356338fd 000003e7: SWAP1 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: SWAP2 000003f0: SUB 000003f1: SWAP1 000003f2: LOG2 000003f3: POP 000003f4: POP 000003f5: PUSH1 0x01 000003f7: PUSH1 0x00 000003f9: SSTORE 000003fa: POP 000003fb: JUMP 000003fc: JUMPDEST 000003fd: PUSH1 0x00 000003ff: DUP2 00000400: MLOAD 00000401: GT 00000402: PUSH2 0x0450 00000405: JUMPI 00000406: PUSH1 0x40 00000408: MLOAD 00000409: PUSH1 0xe5 0000040b: PUSH1 0x02 0000040d: EXP 0000040e: PUSH3 0x461bcd 00000412: MUL 00000413: DUP2 00000414: MSTORE 00000415: PUSH1 0x20 00000417: PUSH1 0x04 00000419: DUP3 0000041a: ADD 0000041b: MSTORE 0000041c: PUSH1 0x0f 0000041e: PUSH1 0x24 00000420: DUP3 00000421: ADD 00000422: MSTORE 00000423: PUSH32 0x6e6f20616e79207061796d656e74730000000000000000000000000000000000 00000444: PUSH1 0x44 00000446: DUP3 00000447: ADD 00000448: MSTORE 00000449: PUSH1 0x64 0000044b: ADD 0000044c: PUSH2 0x02b0 0000044f: JUMP 00000450: JUMPDEST 00000451: PUSH1 0x00 00000453: DUP1 00000454: JUMPDEST 00000455: DUP3 00000456: MLOAD 00000457: DUP2 00000458: LT 00000459: ISZERO 0000045a: PUSH2 0x05c6 0000045d: JUMPI 0000045e: PUSH1 0x00 00000460: DUP4 00000461: DUP3 00000462: DUP2 00000463: MLOAD 00000464: DUP2 00000465: LT 00000466: PUSH2 0x0471 00000469: JUMPI 0000046a: PUSH2 0x0471 0000046d: PUSH2 0x14fd 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH1 0x20 00000474: SWAP1 00000475: DUP2 00000476: MUL 00000477: SWAP2 00000478: SWAP1 00000479: SWAP2 0000047a: ADD 0000047b: ADD 0000047c: MLOAD 0000047d: MLOAD 0000047e: SWAP1 0000047f: POP 00000480: PUSH1 0x01 00000482: PUSH1 0xa0 00000484: PUSH1 0x02 00000486: EXP 00000487: SUB 00000488: DUP2 00000489: AND 0000048a: PUSH2 0x04a8 0000048d: JUMPI 0000048e: PUSH1 0x40 00000490: MLOAD 00000491: PUSH1 0xe5 00000493: PUSH1 0x02 00000495: EXP 00000496: PUSH3 0x461bcd 0000049a: MUL 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x04 0000049f: ADD 000004a0: PUSH2 0x02b0 000004a3: SWAP1 000004a4: PUSH2 0x152c 000004a7: JUMP 000004a8: JUMPDEST 000004a9: ADDRESS 000004aa: PUSH1 0x01 000004ac: PUSH1 0xa0 000004ae: PUSH1 0x02 000004b0: EXP 000004b1: SUB 000004b2: DUP3 000004b3: AND 000004b4: SUB 000004b5: PUSH2 0x04d3 000004b8: JUMPI 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: PUSH1 0xe5 000004be: PUSH1 0x02 000004c0: EXP 000004c1: PUSH3 0x461bcd 000004c5: MUL 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x04 000004ca: ADD 000004cb: PUSH2 0x02b0 000004ce: SWAP1 000004cf: PUSH2 0x1563 000004d2: JUMP 000004d3: JUMPDEST 000004d4: CALLER 000004d5: PUSH1 0x01 000004d7: PUSH1 0xa0 000004d9: PUSH1 0x02 000004db: EXP 000004dc: SUB 000004dd: DUP3 000004de: AND 000004df: SUB 000004e0: PUSH2 0x04fe 000004e3: JUMPI 000004e4: PUSH1 0x40 000004e6: MLOAD 000004e7: PUSH1 0xe5 000004e9: PUSH1 0x02 000004eb: EXP 000004ec: PUSH3 0x461bcd 000004f0: MUL 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x04 000004f5: ADD 000004f6: PUSH2 0x02b0 000004f9: SWAP1 000004fa: PUSH2 0x15c0 000004fd: JUMP 000004fe: JUMPDEST 000004ff: PUSH1 0x00 00000501: DUP5 00000502: DUP4 00000503: DUP2 00000504: MLOAD 00000505: DUP2 00000506: LT 00000507: PUSH2 0x0512 0000050a: JUMPI 0000050b: PUSH2 0x0512 0000050e: PUSH2 0x14fd 00000511: JUMP 00000512: JUMPDEST 00000513: PUSH1 0x20 00000515: MUL 00000516: PUSH1 0x20 00000518: ADD 00000519: ADD 0000051a: MLOAD 0000051b: PUSH1 0x20 0000051d: ADD 0000051e: MLOAD 0000051f: SWAP1 00000520: POP 00000521: PUSH1 0x00 00000523: DUP2 00000524: GT 00000525: PUSH2 0x0573 00000528: JUMPI 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: PUSH1 0xe5 0000052e: PUSH1 0x02 00000530: EXP 00000531: PUSH3 0x461bcd 00000535: MUL 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x20 0000053a: PUSH1 0x04 0000053c: DUP3 0000053d: ADD 0000053e: MSTORE 0000053f: PUSH1 0x0f 00000541: PUSH1 0x24 00000543: DUP3 00000544: ADD 00000545: MSTORE 00000546: PUSH32 0x6465706f736974206973207a65726f0000000000000000000000000000000000 00000567: PUSH1 0x44 00000569: DUP3 0000056a: ADD 0000056b: MSTORE 0000056c: PUSH1 0x64 0000056e: ADD 0000056f: PUSH2 0x02b0 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH2 0x057d 00000577: DUP2 00000578: DUP6 00000579: PUSH2 0x164c 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH1 0x01 00000580: PUSH1 0xa0 00000582: PUSH1 0x02 00000584: EXP 00000585: SUB 00000586: DUP4 00000587: AND 00000588: PUSH1 0x00 0000058a: SWAP1 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x03 0000058f: PUSH1 0x20 00000591: MSTORE 00000592: PUSH1 0x40 00000594: DUP2 00000595: KECCAK256 00000596: DUP1 00000597: SLOAD 00000598: SWAP3 00000599: SWAP7 0000059a: POP 0000059b: DUP4 0000059c: SWAP3 0000059d: SWAP1 0000059e: SWAP2 0000059f: SWAP1 000005a0: PUSH2 0x05aa 000005a3: SWAP1 000005a4: DUP5 000005a5: SWAP1 000005a6: PUSH2 0x164c 000005a9: JUMP 000005aa: JUMPDEST 000005ab: SWAP3 000005ac: POP 000005ad: POP 000005ae: DUP2 000005af: SWAP1 000005b0: SSTORE 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: DUP1 000005b5: DUP1 000005b6: PUSH2 0x05be 000005b9: SWAP1 000005ba: PUSH2 0x1665 000005bd: JUMP 000005be: JUMPDEST 000005bf: SWAP2 000005c0: POP 000005c1: POP 000005c2: PUSH2 0x0454 000005c5: JUMP 000005c6: JUMPDEST 000005c7: POP 000005c8: CALLVALUE 000005c9: DUP2 000005ca: EQ 000005cb: PUSH2 0x0619 000005ce: JUMPI 000005cf: PUSH1 0x40 000005d1: MLOAD 000005d2: PUSH1 0xe5 000005d4: PUSH1 0x02 000005d6: EXP 000005d7: PUSH3 0x461bcd 000005db: MUL 000005dc: DUP2 000005dd: MSTORE 000005de: PUSH1 0x20 000005e0: PUSH1 0x04 000005e2: DUP3 000005e3: ADD 000005e4: MSTORE 000005e5: PUSH1 0x19 000005e7: PUSH1 0x24 000005e9: DUP3 000005ea: ADD 000005eb: MSTORE 000005ec: PUSH32 0x6e6f7420656e6f7567682062616c616e63652070617373656400000000000000 0000060d: PUSH1 0x44 0000060f: DUP3 00000610: ADD 00000611: MSTORE 00000612: PUSH1 0x64 00000614: ADD 00000615: PUSH2 0x02b0 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: CALLER 0000061e: SWAP1 0000061f: PUSH2 0x062b 00000622: SWAP1 00000623: DUP7 00000624: SWAP1 00000625: DUP7 00000626: SWAP1 00000627: PUSH2 0x167e 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH1 0x40 0000062e: MLOAD 0000062f: SWAP1 00000630: DUP2 00000631: SWAP1 00000632: SUB 00000633: DUP2 00000634: KECCAK256 00000635: CALLVALUE 00000636: DUP3 00000637: MSTORE 00000638: SWAP1 00000639: PUSH32 0x3c0baca7bcd08e0ea162863d7ab8e4ce9f59edb5ed8e433ac6503468207f57b0 0000065a: SWAP1 0000065b: PUSH1 0x20 0000065d: ADD 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: DUP1 00000662: SWAP2 00000663: SUB 00000664: SWAP1 00000665: LOG3 00000666: POP 00000667: POP 00000668: POP 00000669: POP 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH1 0x02 0000066e: PUSH1 0x00 00000670: SLOAD 00000671: SUB 00000672: PUSH2 0x06c0 00000675: JUMPI 00000676: PUSH1 0x40 00000678: MLOAD 00000679: PUSH1 0xe5 0000067b: PUSH1 0x02 0000067d: EXP 0000067e: PUSH3 0x461bcd 00000682: MUL 00000683: DUP2 00000684: MSTORE 00000685: PUSH1 0x20 00000687: PUSH1 0x04 00000689: DUP3 0000068a: ADD 0000068b: MSTORE 0000068c: PUSH1 0x1f 0000068e: PUSH1 0x24 00000690: DUP3 00000691: ADD 00000692: MSTORE 00000693: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000006b4: PUSH1 0x44 000006b6: DUP3 000006b7: ADD 000006b8: MSTORE 000006b9: PUSH1 0x64 000006bb: ADD 000006bc: PUSH2 0x02b0 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x02 000006c3: PUSH1 0x00 000006c5: SSTORE 000006c6: DUP1 000006c7: PUSH2 0x06e5 000006ca: JUMPI 000006cb: PUSH1 0x40 000006cd: MLOAD 000006ce: PUSH1 0xe5 000006d0: PUSH1 0x02 000006d2: EXP 000006d3: PUSH3 0x461bcd 000006d7: MUL 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x04 000006dc: ADD 000006dd: PUSH2 0x02b0 000006e0: SWAP1 000006e1: PUSH2 0x1469 000006e4: JUMP 000006e5: JUMPDEST 000006e6: CALLER 000006e7: PUSH1 0x00 000006e9: SWAP1 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x02 000006ee: PUSH1 0x20 000006f0: SWAP1 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x40 000006f5: DUP1 000006f6: DUP4 000006f7: KECCAK256 000006f8: PUSH1 0x01 000006fa: PUSH1 0xa0 000006fc: PUSH1 0x02 000006fe: EXP 000006ff: SUB 00000700: DUP7 00000701: AND 00000702: DUP5 00000703: MSTORE 00000704: SWAP1 00000705: SWAP2 00000706: MSTORE 00000707: SWAP1 00000708: KECCAK256 00000709: SLOAD 0000070a: DUP2 0000070b: DUP2 0000070c: LT 0000070d: ISZERO 0000070e: PUSH2 0x072c 00000711: JUMPI 00000712: PUSH1 0x40 00000714: MLOAD 00000715: PUSH1 0xe5 00000717: PUSH1 0x02 00000719: EXP 0000071a: PUSH3 0x461bcd 0000071e: MUL 0000071f: DUP2 00000720: MSTORE 00000721: PUSH1 0x04 00000723: ADD 00000724: PUSH2 0x02b0 00000727: SWAP1 00000728: PUSH2 0x14a0 0000072b: JUMP 0000072c: JUMPDEST 0000072d: CALLER 0000072e: PUSH1 0x00 00000730: DUP2 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x02 00000735: PUSH1 0x20 00000737: SWAP1 00000738: DUP2 00000739: MSTORE 0000073a: PUSH1 0x40 0000073c: DUP1 0000073d: DUP4 0000073e: KECCAK256 0000073f: PUSH1 0x01 00000741: PUSH1 0xa0 00000743: PUSH1 0x02 00000745: EXP 00000746: SUB 00000747: DUP9 00000748: AND 00000749: DUP1 0000074a: DUP6 0000074b: MSTORE 0000074c: SWAP1 0000074d: DUP4 0000074e: MSTORE 0000074f: SWAP3 00000750: DUP2 00000751: SWAP1 00000752: KECCAK256 00000753: DUP7 00000754: DUP7 00000755: SUB 00000756: SWAP1 00000757: SSTORE 00000758: MLOAD 00000759: DUP6 0000075a: DUP2 0000075b: MSTORE 0000075c: SWAP2 0000075d: SWAP3 0000075e: SWAP2 0000075f: PUSH32 0x7d2d6e40dec1eb7532f0d721bf80b2f06c0b9e51af7a31800ecf267862ebde63 00000780: SWAP2 00000781: ADD 00000782: PUSH1 0x40 00000784: MLOAD 00000785: DUP1 00000786: SWAP2 00000787: SUB 00000788: SWAP1 00000789: LOG3 0000078a: PUSH2 0x079d 0000078d: PUSH1 0x01 0000078f: PUSH1 0xa0 00000791: PUSH1 0x02 00000793: EXP 00000794: SUB 00000795: DUP5 00000796: AND 00000797: CALLER 00000798: DUP5 00000799: PUSH2 0x0c4a 0000079c: JUMP 0000079d: JUMPDEST 0000079e: POP 0000079f: POP 000007a0: PUSH1 0x01 000007a2: PUSH1 0x00 000007a4: SSTORE 000007a5: POP 000007a6: JUMP 000007a7: JUMPDEST 000007a8: PUSH2 0x07af 000007ab: PUSH2 0x0cf8 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH2 0x07b9 000007b3: PUSH1 0x00 000007b5: PUSH2 0x0d55 000007b8: JUMP 000007b9: JUMPDEST 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x00 000007be: DUP2 000007bf: GT 000007c0: PUSH2 0x07de 000007c3: JUMPI 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: PUSH1 0xe5 000007c9: PUSH1 0x02 000007cb: EXP 000007cc: PUSH3 0x461bcd 000007d0: MUL 000007d1: DUP2 000007d2: MSTORE 000007d3: PUSH1 0x04 000007d5: ADD 000007d6: PUSH2 0x02b0 000007d9: SWAP1 000007da: PUSH2 0x1469 000007dd: JUMP 000007de: JUMPDEST 000007df: PUSH1 0x01 000007e1: PUSH1 0xa0 000007e3: PUSH1 0x02 000007e5: EXP 000007e6: SUB 000007e7: DUP3 000007e8: AND 000007e9: PUSH2 0x0807 000007ec: JUMPI 000007ed: PUSH1 0x40 000007ef: MLOAD 000007f0: PUSH1 0xe5 000007f2: PUSH1 0x02 000007f4: EXP 000007f5: PUSH3 0x461bcd 000007f9: MUL 000007fa: DUP2 000007fb: MSTORE 000007fc: PUSH1 0x04 000007fe: ADD 000007ff: PUSH2 0x02b0 00000802: SWAP1 00000803: PUSH2 0x152c 00000806: JUMP 00000807: JUMPDEST 00000808: CALLER 00000809: PUSH1 0x01 0000080b: PUSH1 0xa0 0000080d: PUSH1 0x02 0000080f: EXP 00000810: SUB 00000811: DUP4 00000812: AND 00000813: SUB 00000814: PUSH2 0x0832 00000817: JUMPI 00000818: PUSH1 0x40 0000081a: MLOAD 0000081b: PUSH1 0xe5 0000081d: PUSH1 0x02 0000081f: EXP 00000820: PUSH3 0x461bcd 00000824: MUL 00000825: DUP2 00000826: MSTORE 00000827: PUSH1 0x04 00000829: ADD 0000082a: PUSH2 0x02b0 0000082d: SWAP1 0000082e: PUSH2 0x15c0 00000831: JUMP 00000832: JUMPDEST 00000833: DUP3 00000834: PUSH1 0x01 00000836: PUSH1 0xa0 00000838: PUSH1 0x02 0000083a: EXP 0000083b: SUB 0000083c: AND 0000083d: CALLER 0000083e: PUSH1 0x01 00000840: PUSH1 0xa0 00000842: PUSH1 0x02 00000844: EXP 00000845: SUB 00000846: AND 00000847: DUP7 00000848: DUP7 00000849: PUSH1 0x40 0000084b: MLOAD 0000084c: PUSH2 0x0856 0000084f: SWAP3 00000850: SWAP2 00000851: SWAP1 00000852: PUSH2 0x167e 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x40 00000859: DUP1 0000085a: MLOAD 0000085b: SWAP2 0000085c: DUP3 0000085d: SWAP1 0000085e: SUB 0000085f: DUP3 00000860: KECCAK256 00000861: PUSH1 0x01 00000863: PUSH1 0xa0 00000865: PUSH1 0x02 00000867: EXP 00000868: SUB 00000869: DUP8 0000086a: AND 0000086b: DUP4 0000086c: MSTORE 0000086d: PUSH1 0x20 0000086f: DUP4 00000870: ADD 00000871: DUP7 00000872: SWAP1 00000873: MSTORE 00000874: SWAP2 00000875: PUSH32 0x39296dbf32218993063845152381e7659979b64c3ce2d0f4c8eb06a25581eb6a 00000896: SWAP2 00000897: ADD 00000898: PUSH1 0x40 0000089a: MLOAD 0000089b: DUP1 0000089c: SWAP2 0000089d: SUB 0000089e: SWAP1 0000089f: LOG4 000008a0: PUSH2 0x08b4 000008a3: PUSH1 0x01 000008a5: PUSH1 0xa0 000008a7: PUSH1 0x02 000008a9: EXP 000008aa: SUB 000008ab: DUP5 000008ac: AND 000008ad: CALLER 000008ae: DUP5 000008af: DUP5 000008b0: PUSH2 0x0db4 000008b3: JUMP 000008b4: JUMPDEST 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: POP 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH1 0x00 000008be: DUP2 000008bf: GT 000008c0: PUSH2 0x08de 000008c3: JUMPI 000008c4: PUSH1 0x40 000008c6: MLOAD 000008c7: PUSH1 0xe5 000008c9: PUSH1 0x02 000008cb: EXP 000008cc: PUSH3 0x461bcd 000008d0: MUL 000008d1: DUP2 000008d2: MSTORE 000008d3: PUSH1 0x04 000008d5: ADD 000008d6: PUSH2 0x02b0 000008d9: SWAP1 000008da: PUSH2 0x1469 000008dd: JUMP 000008de: JUMPDEST 000008df: DUP2 000008e0: PUSH1 0x01 000008e2: PUSH1 0xa0 000008e4: PUSH1 0x02 000008e6: EXP 000008e7: SUB 000008e8: AND 000008e9: CALLER 000008ea: PUSH1 0x01 000008ec: PUSH1 0xa0 000008ee: PUSH1 0x02 000008f0: EXP 000008f1: SUB 000008f2: AND 000008f3: DUP6 000008f4: DUP6 000008f5: PUSH1 0x40 000008f7: MLOAD 000008f8: PUSH2 0x0902 000008fb: SWAP3 000008fc: SWAP2 000008fd: SWAP1 000008fe: PUSH2 0x167e 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH1 0x40 00000905: MLOAD 00000906: SWAP1 00000907: DUP2 00000908: SWAP1 00000909: SUB 0000090a: DUP2 0000090b: KECCAK256 0000090c: DUP5 0000090d: DUP3 0000090e: MSTORE 0000090f: SWAP1 00000910: PUSH32 0xc653383a301f74474f1460784488e851d1b7a163225f8ee779fb3cc5b175e782 00000931: SWAP1 00000932: PUSH1 0x20 00000934: ADD 00000935: PUSH1 0x40 00000937: MLOAD 00000938: DUP1 00000939: SWAP2 0000093a: SUB 0000093b: SWAP1 0000093c: LOG4 0000093d: PUSH2 0x0964 00000940: CALLER 00000941: PUSH2 0x0952 00000944: PUSH1 0x01 00000946: SLOAD 00000947: PUSH1 0x01 00000949: PUSH1 0xa0 0000094b: PUSH1 0x02 0000094d: EXP 0000094e: SUB 0000094f: AND 00000950: SWAP1 00000951: JUMP 00000952: JUMPDEST 00000953: PUSH1 0x01 00000955: PUSH1 0xa0 00000957: PUSH1 0x02 00000959: EXP 0000095a: SUB 0000095b: DUP6 0000095c: AND 0000095d: SWAP2 0000095e: SWAP1 0000095f: DUP5 00000960: PUSH2 0x0db4 00000963: JUMP 00000964: JUMPDEST 00000965: POP 00000966: POP 00000967: POP 00000968: POP 00000969: JUMP 0000096a: JUMPDEST 0000096b: PUSH1 0x00 0000096d: DUP2 0000096e: MLOAD 0000096f: GT 00000970: PUSH2 0x09be 00000973: JUMPI 00000974: PUSH1 0x40 00000976: MLOAD 00000977: PUSH1 0xe5 00000979: PUSH1 0x02 0000097b: EXP 0000097c: PUSH3 0x461bcd 00000980: MUL 00000981: DUP2 00000982: MSTORE 00000983: PUSH1 0x20 00000985: PUSH1 0x04 00000987: DUP3 00000988: ADD 00000989: MSTORE 0000098a: PUSH1 0x0f 0000098c: PUSH1 0x24 0000098e: DUP3 0000098f: ADD 00000990: MSTORE 00000991: PUSH32 0x6e6f20616e79207061796d656e74730000000000000000000000000000000000 000009b2: PUSH1 0x44 000009b4: DUP3 000009b5: ADD 000009b6: MSTORE 000009b7: PUSH1 0x64 000009b9: ADD 000009ba: PUSH2 0x02b0 000009bd: JUMP 000009be: JUMPDEST 000009bf: PUSH1 0x00 000009c1: DUP1 000009c2: JUMPDEST 000009c3: DUP3 000009c4: MLOAD 000009c5: DUP2 000009c6: LT 000009c7: ISZERO 000009c8: PUSH2 0x0b43 000009cb: JUMPI 000009cc: PUSH1 0x00 000009ce: DUP4 000009cf: DUP3 000009d0: DUP2 000009d1: MLOAD 000009d2: DUP2 000009d3: LT 000009d4: PUSH2 0x09df 000009d7: JUMPI 000009d8: PUSH2 0x09df 000009db: PUSH2 0x14fd 000009de: JUMP 000009df: JUMPDEST 000009e0: PUSH1 0x20 000009e2: SWAP1 000009e3: DUP2 000009e4: MUL 000009e5: SWAP2 000009e6: SWAP1 000009e7: SWAP2 000009e8: ADD 000009e9: ADD 000009ea: MLOAD 000009eb: MLOAD 000009ec: SWAP1 000009ed: POP 000009ee: PUSH1 0x01 000009f0: PUSH1 0xa0 000009f2: PUSH1 0x02 000009f4: EXP 000009f5: SUB 000009f6: DUP2 000009f7: AND 000009f8: PUSH2 0x0a16 000009fb: JUMPI 000009fc: PUSH1 0x40 000009fe: MLOAD 000009ff: PUSH1 0xe5 00000a01: PUSH1 0x02 00000a03: EXP 00000a04: PUSH3 0x461bcd 00000a08: MUL 00000a09: DUP2 00000a0a: MSTORE 00000a0b: PUSH1 0x04 00000a0d: ADD 00000a0e: PUSH2 0x02b0 00000a11: SWAP1 00000a12: PUSH2 0x152c 00000a15: JUMP 00000a16: JUMPDEST 00000a17: ADDRESS 00000a18: PUSH1 0x01 00000a1a: PUSH1 0xa0 00000a1c: PUSH1 0x02 00000a1e: EXP 00000a1f: SUB 00000a20: DUP3 00000a21: AND 00000a22: SUB 00000a23: PUSH2 0x0a41 00000a26: JUMPI 00000a27: PUSH1 0x40 00000a29: MLOAD 00000a2a: PUSH1 0xe5 00000a2c: PUSH1 0x02 00000a2e: EXP 00000a2f: PUSH3 0x461bcd 00000a33: MUL 00000a34: DUP2 00000a35: MSTORE 00000a36: PUSH1 0x04 00000a38: ADD 00000a39: PUSH2 0x02b0 00000a3c: SWAP1 00000a3d: PUSH2 0x1563 00000a40: JUMP 00000a41: JUMPDEST 00000a42: CALLER 00000a43: PUSH1 0x01 00000a45: PUSH1 0xa0 00000a47: PUSH1 0x02 00000a49: EXP 00000a4a: SUB 00000a4b: DUP3 00000a4c: AND 00000a4d: SUB 00000a4e: PUSH2 0x0a6c 00000a51: JUMPI 00000a52: PUSH1 0x40 00000a54: MLOAD 00000a55: PUSH1 0xe5 00000a57: PUSH1 0x02 00000a59: EXP 00000a5a: PUSH3 0x461bcd 00000a5e: MUL 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x04 00000a63: ADD 00000a64: PUSH2 0x02b0 00000a67: SWAP1 00000a68: PUSH2 0x15c0 00000a6b: JUMP 00000a6c: JUMPDEST 00000a6d: PUSH1 0x00 00000a6f: DUP5 00000a70: DUP4 00000a71: DUP2 00000a72: MLOAD 00000a73: DUP2 00000a74: LT 00000a75: PUSH2 0x0a80 00000a78: JUMPI 00000a79: PUSH2 0x0a80 00000a7c: PUSH2 0x14fd 00000a7f: JUMP 00000a80: JUMPDEST 00000a81: PUSH1 0x20 00000a83: MUL 00000a84: PUSH1 0x20 00000a86: ADD 00000a87: ADD 00000a88: MLOAD 00000a89: PUSH1 0x20 00000a8b: ADD 00000a8c: MLOAD 00000a8d: SWAP1 00000a8e: POP 00000a8f: PUSH1 0x00 00000a91: DUP2 00000a92: GT 00000a93: PUSH2 0x0ae1 00000a96: JUMPI 00000a97: PUSH1 0x40 00000a99: MLOAD 00000a9a: PUSH1 0xe5 00000a9c: PUSH1 0x02 00000a9e: EXP 00000a9f: PUSH3 0x461bcd 00000aa3: MUL 00000aa4: DUP2 00000aa5: MSTORE 00000aa6: PUSH1 0x20 00000aa8: PUSH1 0x04 00000aaa: DUP3 00000aab: ADD 00000aac: MSTORE 00000aad: PUSH1 0x0f 00000aaf: PUSH1 0x24 00000ab1: DUP3 00000ab2: ADD 00000ab3: MSTORE 00000ab4: PUSH32 0x6465706f736974206973207a65726f0000000000000000000000000000000000 00000ad5: PUSH1 0x44 00000ad7: DUP3 00000ad8: ADD 00000ad9: MSTORE 00000ada: PUSH1 0x64 00000adc: ADD 00000add: PUSH2 0x02b0 00000ae0: JUMP 00000ae1: JUMPDEST 00000ae2: PUSH2 0x0aeb 00000ae5: DUP2 00000ae6: DUP6 00000ae7: PUSH2 0x164c 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH1 0x01 00000aee: PUSH1 0xa0 00000af0: PUSH1 0x02 00000af2: EXP 00000af3: SUB 00000af4: DUP1 00000af5: DUP5 00000af6: AND 00000af7: PUSH1 0x00 00000af9: SWAP1 00000afa: DUP2 00000afb: MSTORE 00000afc: PUSH1 0x02 00000afe: PUSH1 0x20 00000b00: SWAP1 00000b01: DUP2 00000b02: MSTORE 00000b03: PUSH1 0x40 00000b05: DUP1 00000b06: DUP4 00000b07: KECCAK256 00000b08: SWAP4 00000b09: DUP12 00000b0a: AND 00000b0b: DUP4 00000b0c: MSTORE 00000b0d: SWAP3 00000b0e: SWAP1 00000b0f: MSTORE 00000b10: SWAP1 00000b11: DUP2 00000b12: KECCAK256 00000b13: DUP1 00000b14: SLOAD 00000b15: SWAP3 00000b16: SWAP7 00000b17: POP 00000b18: DUP4 00000b19: SWAP3 00000b1a: SWAP1 00000b1b: SWAP2 00000b1c: SWAP1 00000b1d: PUSH2 0x0b27 00000b20: SWAP1 00000b21: DUP5 00000b22: SWAP1 00000b23: PUSH2 0x164c 00000b26: JUMP 00000b27: JUMPDEST 00000b28: SWAP3 00000b29: POP 00000b2a: POP 00000b2b: DUP2 00000b2c: SWAP1 00000b2d: SSTORE 00000b2e: POP 00000b2f: POP 00000b30: POP 00000b31: DUP1 00000b32: DUP1 00000b33: PUSH2 0x0b3b 00000b36: SWAP1 00000b37: PUSH2 0x1665 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: SWAP2 00000b3d: POP 00000b3e: POP 00000b3f: PUSH2 0x09c2 00000b42: JUMP 00000b43: JUMPDEST 00000b44: POP 00000b45: DUP3 00000b46: PUSH1 0x01 00000b48: PUSH1 0xa0 00000b4a: PUSH1 0x02 00000b4c: EXP 00000b4d: SUB 00000b4e: AND 00000b4f: CALLER 00000b50: PUSH1 0x01 00000b52: PUSH1 0xa0 00000b54: PUSH1 0x02 00000b56: EXP 00000b57: SUB 00000b58: AND 00000b59: DUP7 00000b5a: DUP7 00000b5b: PUSH1 0x40 00000b5d: MLOAD 00000b5e: PUSH2 0x0b68 00000b61: SWAP3 00000b62: SWAP2 00000b63: SWAP1 00000b64: PUSH2 0x167e 00000b67: JUMP 00000b68: JUMPDEST 00000b69: PUSH1 0x40 00000b6b: MLOAD 00000b6c: SWAP1 00000b6d: DUP2 00000b6e: SWAP1 00000b6f: SUB 00000b70: DUP2 00000b71: KECCAK256 00000b72: DUP5 00000b73: DUP3 00000b74: MSTORE 00000b75: SWAP1 00000b76: PUSH32 0x25cf9246575c49dbe89764f61f1b32374872fa12a054a1c58c0f0d1a49c83436 00000b97: SWAP1 00000b98: PUSH1 0x20 00000b9a: ADD 00000b9b: PUSH1 0x40 00000b9d: MLOAD 00000b9e: DUP1 00000b9f: SWAP2 00000ba0: SUB 00000ba1: SWAP1 00000ba2: LOG4 00000ba3: PUSH2 0x08b4 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0xa0 00000baa: PUSH1 0x02 00000bac: EXP 00000bad: SUB 00000bae: DUP5 00000baf: AND 00000bb0: CALLER 00000bb1: ADDRESS 00000bb2: DUP5 00000bb3: PUSH2 0x0db4 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH2 0x0bbf 00000bbb: PUSH2 0x0cf8 00000bbe: JUMP 00000bbf: JUMPDEST 00000bc0: PUSH1 0x01 00000bc2: PUSH1 0xa0 00000bc4: PUSH1 0x02 00000bc6: EXP 00000bc7: SUB 00000bc8: DUP2 00000bc9: AND 00000bca: PUSH2 0x0c3e 00000bcd: JUMPI 00000bce: PUSH1 0x40 00000bd0: MLOAD 00000bd1: PUSH1 0xe5 00000bd3: PUSH1 0x02 00000bd5: EXP 00000bd6: PUSH3 0x461bcd 00000bda: MUL 00000bdb: DUP2 00000bdc: MSTORE 00000bdd: PUSH1 0x20 00000bdf: PUSH1 0x04 00000be1: DUP3 00000be2: ADD 00000be3: MSTORE 00000be4: PUSH1 0x26 00000be6: PUSH1 0x24 00000be8: DUP3 00000be9: ADD 00000bea: MSTORE 00000beb: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000c0c: PUSH1 0x44 00000c0e: DUP3 00000c0f: ADD 00000c10: MSTORE 00000c11: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00000c32: PUSH1 0x64 00000c34: DUP3 00000c35: ADD 00000c36: MSTORE 00000c37: PUSH1 0x84 00000c39: ADD 00000c3a: PUSH2 0x02b0 00000c3d: JUMP 00000c3e: JUMPDEST 00000c3f: PUSH2 0x0c47 00000c42: DUP2 00000c43: PUSH2 0x0d55 00000c46: JUMP 00000c47: JUMPDEST 00000c48: POP 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: PUSH1 0x40 00000c4d: MLOAD 00000c4e: PUSH1 0x01 00000c50: PUSH1 0xa0 00000c52: PUSH1 0x02 00000c54: EXP 00000c55: SUB 00000c56: DUP4 00000c57: AND 00000c58: PUSH1 0x24 00000c5a: DUP3 00000c5b: ADD 00000c5c: MSTORE 00000c5d: PUSH1 0x44 00000c5f: DUP2 00000c60: ADD 00000c61: DUP3 00000c62: SWAP1 00000c63: MSTORE 00000c64: PUSH2 0x0cf3 00000c67: SWAP1 00000c68: DUP5 00000c69: SWAP1 00000c6a: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000c8b: SWAP1 00000c8c: PUSH1 0x64 00000c8e: ADD 00000c8f: JUMPDEST 00000c90: PUSH1 0x40 00000c92: DUP1 00000c93: MLOAD 00000c94: PUSH1 0x1f 00000c96: NOT 00000c97: DUP2 00000c98: DUP5 00000c99: SUB 00000c9a: ADD 00000c9b: DUP2 00000c9c: MSTORE 00000c9d: SWAP2 00000c9e: SWAP1 00000c9f: MSTORE 00000ca0: PUSH1 0x20 00000ca2: DUP2 00000ca3: ADD 00000ca4: DUP1 00000ca5: MLOAD 00000ca6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000cc3: AND 00000cc4: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000ce5: SWAP1 00000ce6: SWAP4 00000ce7: AND 00000ce8: SWAP3 00000ce9: SWAP1 00000cea: SWAP3 00000ceb: OR 00000cec: SWAP1 00000ced: SWAP2 00000cee: MSTORE 00000cef: PUSH2 0x0e05 00000cf2: JUMP 00000cf3: JUMPDEST 00000cf4: POP 00000cf5: POP 00000cf6: POP 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x01 00000cfb: SLOAD 00000cfc: PUSH1 0x01 00000cfe: PUSH1 0xa0 00000d00: PUSH1 0x02 00000d02: EXP 00000d03: SUB 00000d04: AND 00000d05: CALLER 00000d06: EQ 00000d07: PUSH2 0x07b9 00000d0a: JUMPI 00000d0b: PUSH1 0x40 00000d0d: MLOAD 00000d0e: PUSH1 0xe5 00000d10: PUSH1 0x02 00000d12: EXP 00000d13: PUSH3 0x461bcd 00000d17: MUL 00000d18: DUP2 00000d19: MSTORE 00000d1a: PUSH1 0x20 00000d1c: PUSH1 0x04 00000d1e: DUP3 00000d1f: ADD 00000d20: DUP2 00000d21: SWAP1 00000d22: MSTORE 00000d23: PUSH1 0x24 00000d25: DUP3 00000d26: ADD 00000d27: MSTORE 00000d28: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000d49: PUSH1 0x44 00000d4b: DUP3 00000d4c: ADD 00000d4d: MSTORE 00000d4e: PUSH1 0x64 00000d50: ADD 00000d51: PUSH2 0x02b0 00000d54: JUMP 00000d55: JUMPDEST 00000d56: PUSH1 0x01 00000d58: DUP1 00000d59: SLOAD 00000d5a: PUSH1 0x01 00000d5c: PUSH1 0xa0 00000d5e: PUSH1 0x02 00000d60: EXP 00000d61: SUB 00000d62: DUP4 00000d63: DUP2 00000d64: AND 00000d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d7a: NOT 00000d7b: DUP4 00000d7c: AND 00000d7d: DUP2 00000d7e: OR 00000d7f: SWAP1 00000d80: SWAP4 00000d81: SSTORE 00000d82: PUSH1 0x40 00000d84: MLOAD 00000d85: SWAP2 00000d86: AND 00000d87: SWAP2 00000d88: SWAP1 00000d89: DUP3 00000d8a: SWAP1 00000d8b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000dac: SWAP1 00000dad: PUSH1 0x00 00000daf: SWAP1 00000db0: LOG3 00000db1: POP 00000db2: POP 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x40 00000db7: MLOAD 00000db8: PUSH1 0x01 00000dba: PUSH1 0xa0 00000dbc: PUSH1 0x02 00000dbe: EXP 00000dbf: SUB 00000dc0: DUP1 00000dc1: DUP6 00000dc2: AND 00000dc3: PUSH1 0x24 00000dc5: DUP4 00000dc6: ADD 00000dc7: MSTORE 00000dc8: DUP4 00000dc9: AND 00000dca: PUSH1 0x44 00000dcc: DUP3 00000dcd: ADD 00000dce: MSTORE 00000dcf: PUSH1 0x64 00000dd1: DUP2 00000dd2: ADD 00000dd3: DUP3 00000dd4: SWAP1 00000dd5: MSTORE 00000dd6: PUSH2 0x0964 00000dd9: SWAP1 00000dda: DUP6 00000ddb: SWAP1 00000ddc: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000dfd: SWAP1 00000dfe: PUSH1 0x84 00000e00: ADD 00000e01: PUSH2 0x0c8f 00000e04: JUMP 00000e05: JUMPDEST 00000e06: PUSH1 0x00 00000e08: PUSH2 0x0e5a 00000e0b: DUP3 00000e0c: PUSH1 0x40 00000e0e: MLOAD 00000e0f: DUP1 00000e10: PUSH1 0x40 00000e12: ADD 00000e13: PUSH1 0x40 00000e15: MSTORE 00000e16: DUP1 00000e17: PUSH1 0x20 00000e19: DUP2 00000e1a: MSTORE 00000e1b: PUSH1 0x20 00000e1d: ADD 00000e1e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000e3f: DUP2 00000e40: MSTORE 00000e41: POP 00000e42: DUP6 00000e43: PUSH1 0x01 00000e45: PUSH1 0xa0 00000e47: PUSH1 0x02 00000e49: EXP 00000e4a: SUB 00000e4b: AND 00000e4c: PUSH2 0x0eed 00000e4f: SWAP1 00000e50: SWAP3 00000e51: SWAP2 00000e52: SWAP1 00000e53: PUSH4 0xffffffff 00000e58: AND 00000e59: JUMP 00000e5a: JUMPDEST 00000e5b: DUP1 00000e5c: MLOAD 00000e5d: SWAP1 00000e5e: SWAP2 00000e5f: POP 00000e60: ISZERO 00000e61: PUSH2 0x0cf3 00000e64: JUMPI 00000e65: DUP1 00000e66: DUP1 00000e67: PUSH1 0x20 00000e69: ADD 00000e6a: SWAP1 00000e6b: MLOAD 00000e6c: DUP2 00000e6d: ADD 00000e6e: SWAP1 00000e6f: PUSH2 0x0e78 00000e72: SWAP2 00000e73: SWAP1 00000e74: PUSH2 0x168e 00000e77: JUMP 00000e78: JUMPDEST 00000e79: PUSH2 0x0cf3 00000e7c: JUMPI 00000e7d: PUSH1 0x40 00000e7f: MLOAD 00000e80: PUSH1 0xe5 00000e82: PUSH1 0x02 00000e84: EXP 00000e85: PUSH3 0x461bcd 00000e89: MUL 00000e8a: DUP2 00000e8b: MSTORE 00000e8c: PUSH1 0x20 00000e8e: PUSH1 0x04 00000e90: DUP3 00000e91: ADD 00000e92: MSTORE 00000e93: PUSH1 0x2a 00000e95: PUSH1 0x24 00000e97: DUP3 00000e98: ADD 00000e99: MSTORE 00000e9a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000ebb: PUSH1 0x44 00000ebd: DUP3 00000ebe: ADD 00000ebf: MSTORE 00000ec0: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000ee1: PUSH1 0x64 00000ee3: DUP3 00000ee4: ADD 00000ee5: MSTORE 00000ee6: PUSH1 0x84 00000ee8: ADD 00000ee9: PUSH2 0x02b0 00000eec: JUMP 00000eed: JUMPDEST 00000eee: PUSH1 0x60 00000ef0: PUSH2 0x0efc 00000ef3: DUP5 00000ef4: DUP5 00000ef5: PUSH1 0x00 00000ef7: DUP6 00000ef8: PUSH2 0x0f06 00000efb: JUMP 00000efc: JUMPDEST 00000efd: SWAP1 00000efe: POP 00000eff: JUMPDEST 00000f00: SWAP4 00000f01: SWAP3 00000f02: POP 00000f03: POP 00000f04: POP 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH1 0x60 00000f09: ADDRESS 00000f0a: BALANCE 00000f0b: DUP4 00000f0c: GT 00000f0d: ISZERO 00000f0e: PUSH2 0x0f82 00000f11: JUMPI 00000f12: PUSH1 0x40 00000f14: MLOAD 00000f15: PUSH1 0xe5 00000f17: PUSH1 0x02 00000f19: EXP 00000f1a: PUSH3 0x461bcd 00000f1e: MUL 00000f1f: DUP2 00000f20: MSTORE 00000f21: PUSH1 0x20 00000f23: PUSH1 0x04 00000f25: DUP3 00000f26: ADD 00000f27: MSTORE 00000f28: PUSH1 0x26 00000f2a: PUSH1 0x24 00000f2c: DUP3 00000f2d: ADD 00000f2e: MSTORE 00000f2f: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00000f50: PUSH1 0x44 00000f52: DUP3 00000f53: ADD 00000f54: MSTORE 00000f55: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 00000f76: PUSH1 0x64 00000f78: DUP3 00000f79: ADD 00000f7a: MSTORE 00000f7b: PUSH1 0x84 00000f7d: ADD 00000f7e: PUSH2 0x02b0 00000f81: JUMP 00000f82: JUMPDEST 00000f83: PUSH1 0x01 00000f85: PUSH1 0xa0 00000f87: PUSH1 0x02 00000f89: EXP 00000f8a: SUB 00000f8b: DUP6 00000f8c: AND 00000f8d: EXTCODESIZE 00000f8e: PUSH2 0x0fdc 00000f91: JUMPI 00000f92: PUSH1 0x40 00000f94: MLOAD 00000f95: PUSH1 0xe5 00000f97: PUSH1 0x02 00000f99: EXP 00000f9a: PUSH3 0x461bcd 00000f9e: MUL 00000f9f: DUP2 00000fa0: MSTORE 00000fa1: PUSH1 0x20 00000fa3: PUSH1 0x04 00000fa5: DUP3 00000fa6: ADD 00000fa7: MSTORE 00000fa8: PUSH1 0x1d 00000faa: PUSH1 0x24 00000fac: DUP3 00000fad: ADD 00000fae: MSTORE 00000faf: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000fd0: PUSH1 0x44 00000fd2: DUP3 00000fd3: ADD 00000fd4: MSTORE 00000fd5: PUSH1 0x64 00000fd7: ADD 00000fd8: PUSH2 0x02b0 00000fdb: JUMP 00000fdc: JUMPDEST 00000fdd: PUSH1 0x00 00000fdf: DUP1 00000fe0: DUP7 00000fe1: PUSH1 0x01 00000fe3: PUSH1 0xa0 00000fe5: PUSH1 0x02 00000fe7: EXP 00000fe8: SUB 00000fe9: AND 00000fea: DUP6 00000feb: DUP8 00000fec: PUSH1 0x40 00000fee: MLOAD 00000fef: PUSH2 0x0ff8 00000ff2: SWAP2 00000ff3: SWAP1 00000ff4: PUSH2 0x16d4 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: PUSH1 0x00 00000ffb: PUSH1 0x40 00000ffd: MLOAD 00000ffe: DUP1 00000fff: DUP4 00001000: SUB 00001001: DUP2 00001002: DUP6 00001003: DUP8 00001004: GAS 00001005: CALL 00001006: SWAP3 00001007: POP 00001008: POP 00001009: POP 0000100a: RETURNDATASIZE 0000100b: DUP1 0000100c: PUSH1 0x00 0000100e: DUP2 0000100f: EQ 00001010: PUSH2 0x1035 00001013: JUMPI 00001014: PUSH1 0x40 00001016: MLOAD 00001017: SWAP2 00001018: POP 00001019: PUSH1 0x1f 0000101b: NOT 0000101c: PUSH1 0x3f 0000101e: RETURNDATASIZE 0000101f: ADD 00001020: AND 00001021: DUP3 00001022: ADD 00001023: PUSH1 0x40 00001025: MSTORE 00001026: RETURNDATASIZE 00001027: DUP3 00001028: MSTORE 00001029: RETURNDATASIZE 0000102a: PUSH1 0x00 0000102c: PUSH1 0x20 0000102e: DUP5 0000102f: ADD 00001030: RETURNDATACOPY 00001031: PUSH2 0x103a 00001034: JUMP 00001035: JUMPDEST 00001036: PUSH1 0x60 00001038: SWAP2 00001039: POP 0000103a: JUMPDEST 0000103b: POP 0000103c: SWAP2 0000103d: POP 0000103e: SWAP2 0000103f: POP 00001040: PUSH2 0x104a 00001043: DUP3 00001044: DUP3 00001045: DUP7 00001046: PUSH2 0x1055 00001049: JUMP 0000104a: JUMPDEST 0000104b: SWAP8 0000104c: SWAP7 0000104d: POP 0000104e: POP 0000104f: POP 00001050: POP 00001051: POP 00001052: POP 00001053: POP 00001054: JUMP 00001055: JUMPDEST 00001056: PUSH1 0x60 00001058: DUP4 00001059: ISZERO 0000105a: PUSH2 0x1064 0000105d: JUMPI 0000105e: POP 0000105f: DUP2 00001060: PUSH2 0x0eff 00001063: JUMP 00001064: JUMPDEST 00001065: DUP3 00001066: MLOAD 00001067: ISZERO 00001068: PUSH2 0x1074 0000106b: JUMPI 0000106c: DUP3 0000106d: MLOAD 0000106e: DUP1 0000106f: DUP5 00001070: PUSH1 0x20 00001072: ADD 00001073: REVERT 00001074: JUMPDEST 00001075: DUP2 00001076: PUSH1 0x40 00001078: MLOAD 00001079: PUSH1 0xe5 0000107b: PUSH1 0x02 0000107d: EXP 0000107e: PUSH3 0x461bcd 00001082: MUL 00001083: DUP2 00001084: MSTORE 00001085: PUSH1 0x04 00001087: ADD 00001088: PUSH2 0x02b0 0000108b: SWAP2 0000108c: SWAP1 0000108d: PUSH2 0x16f0 00001090: JUMP 00001091: JUMPDEST 00001092: PUSH1 0x00 00001094: PUSH1 0x20 00001096: DUP3 00001097: DUP5 00001098: SUB 00001099: SLT 0000109a: ISZERO 0000109b: PUSH2 0x10a3 0000109e: JUMPI 0000109f: PUSH1 0x00 000010a1: DUP1 000010a2: REVERT 000010a3: JUMPDEST 000010a4: POP 000010a5: CALLDATALOAD 000010a6: SWAP2 000010a7: SWAP1 000010a8: POP 000010a9: JUMP 000010aa: JUMPDEST 000010ab: PUSH1 0x00 000010ad: DUP1 000010ae: DUP4 000010af: PUSH1 0x1f 000010b1: DUP5 000010b2: ADD 000010b3: SLT 000010b4: PUSH2 0x10bc 000010b7: JUMPI 000010b8: PUSH1 0x00 000010ba: DUP1 000010bb: REVERT 000010bc: JUMPDEST 000010bd: POP 000010be: DUP2 000010bf: CALLDATALOAD 000010c0: PUSH8 0xffffffffffffffff 000010c9: DUP2 000010ca: GT 000010cb: ISZERO 000010cc: PUSH2 0x10d4 000010cf: JUMPI 000010d0: PUSH1 0x00 000010d2: DUP1 000010d3: REVERT 000010d4: JUMPDEST 000010d5: PUSH1 0x20 000010d7: DUP4 000010d8: ADD 000010d9: SWAP2 000010da: POP 000010db: DUP4 000010dc: PUSH1 0x20 000010de: DUP3 000010df: DUP6 000010e0: ADD 000010e1: ADD 000010e2: GT 000010e3: ISZERO 000010e4: PUSH2 0x10ec 000010e7: JUMPI 000010e8: PUSH1 0x00 000010ea: DUP1 000010eb: REVERT 000010ec: JUMPDEST 000010ed: SWAP3 000010ee: POP 000010ef: SWAP3 000010f0: SWAP1 000010f1: POP 000010f2: JUMP 000010f3: JUMPDEST 000010f4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001115: PUSH1 0x00 00001117: MSTORE 00001118: PUSH1 0x41 0000111a: PUSH1 0x04 0000111c: MSTORE 0000111d: PUSH1 0x24 0000111f: PUSH1 0x00 00001121: REVERT 00001122: JUMPDEST 00001123: PUSH1 0x40 00001125: DUP1 00001126: MLOAD 00001127: SWAP1 00001128: DUP2 00001129: ADD 0000112a: PUSH8 0xffffffffffffffff 00001133: DUP2 00001134: GT 00001135: DUP3 00001136: DUP3 00001137: LT 00001138: OR 00001139: ISZERO 0000113a: PUSH2 0x1145 0000113d: JUMPI 0000113e: PUSH2 0x1145 00001141: PUSH2 0x10f3 00001144: JUMP 00001145: JUMPDEST 00001146: PUSH1 0x40 00001148: MSTORE 00001149: SWAP1 0000114a: JUMP 0000114b: JUMPDEST 0000114c: PUSH1 0x40 0000114e: MLOAD 0000114f: PUSH1 0x1f 00001151: DUP3 00001152: ADD 00001153: PUSH1 0x1f 00001155: NOT 00001156: AND 00001157: DUP2 00001158: ADD 00001159: PUSH8 0xffffffffffffffff 00001162: DUP2 00001163: GT 00001164: DUP3 00001165: DUP3 00001166: LT 00001167: OR 00001168: ISZERO 00001169: PUSH2 0x1174 0000116c: JUMPI 0000116d: PUSH2 0x1174 00001170: PUSH2 0x10f3 00001173: JUMP 00001174: JUMPDEST 00001175: PUSH1 0x40 00001177: MSTORE 00001178: SWAP2 00001179: SWAP1 0000117a: POP 0000117b: JUMP 0000117c: JUMPDEST 0000117d: DUP1 0000117e: CALLDATALOAD 0000117f: PUSH1 0x01 00001181: PUSH1 0xa0 00001183: PUSH1 0x02 00001185: EXP 00001186: SUB 00001187: DUP2 00001188: AND 00001189: DUP2 0000118a: EQ 0000118b: PUSH2 0x1193 0000118e: JUMPI 0000118f: PUSH1 0x00 00001191: DUP1 00001192: REVERT 00001193: JUMPDEST 00001194: SWAP2 00001195: SWAP1 00001196: POP 00001197: JUMP 00001198: JUMPDEST 00001199: PUSH1 0x00 0000119b: DUP3 0000119c: PUSH1 0x1f 0000119e: DUP4 0000119f: ADD 000011a0: SLT 000011a1: PUSH2 0x11a9 000011a4: JUMPI 000011a5: PUSH1 0x00 000011a7: DUP1 000011a8: REVERT 000011a9: JUMPDEST 000011aa: DUP2 000011ab: CALLDATALOAD 000011ac: PUSH1 0x20 000011ae: PUSH8 0xffffffffffffffff 000011b7: DUP3 000011b8: GT 000011b9: ISZERO 000011ba: PUSH2 0x11c5 000011bd: JUMPI 000011be: PUSH2 0x11c5 000011c1: PUSH2 0x10f3 000011c4: JUMP 000011c5: JUMPDEST 000011c6: PUSH2 0x11d2 000011c9: DUP2 000011ca: DUP3 000011cb: DUP5 000011cc: MUL 000011cd: ADD 000011ce: PUSH2 0x114b 000011d1: JUMP 000011d2: JUMPDEST 000011d3: DUP3 000011d4: DUP2 000011d5: MSTORE 000011d6: PUSH1 0x40 000011d8: SWAP3 000011d9: DUP4 000011da: MUL 000011db: DUP6 000011dc: ADD 000011dd: DUP3 000011de: ADD 000011df: SWAP3 000011e0: DUP3 000011e1: DUP3 000011e2: ADD 000011e3: SWAP2 000011e4: SWAP1 000011e5: DUP8 000011e6: DUP6 000011e7: GT 000011e8: ISZERO 000011e9: PUSH2 0x11f1 000011ec: JUMPI 000011ed: PUSH1 0x00 000011ef: DUP1 000011f0: REVERT 000011f1: JUMPDEST 000011f2: DUP4 000011f3: DUP8 000011f4: ADD 000011f5: JUMPDEST 000011f6: DUP6 000011f7: DUP2 000011f8: LT 000011f9: ISZERO 000011fa: PUSH2 0x1235 000011fd: JUMPI 000011fe: DUP2 000011ff: DUP2 00001200: DUP11 00001201: SUB 00001202: SLT 00001203: ISZERO 00001204: PUSH2 0x120d 00001207: JUMPI 00001208: PUSH1 0x00 0000120a: DUP1 0000120b: DUP2 0000120c: REVERT 0000120d: JUMPDEST 0000120e: PUSH2 0x1215 00001211: PUSH2 0x1122 00001214: JUMP 00001215: JUMPDEST 00001216: PUSH2 0x121e 00001219: DUP3 0000121a: PUSH2 0x117c 0000121d: JUMP 0000121e: JUMPDEST 0000121f: DUP2 00001220: MSTORE 00001221: DUP2 00001222: DUP7 00001223: ADD 00001224: CALLDATALOAD 00001225: DUP7 00001226: DUP3 00001227: ADD 00001228: MSTORE 00001229: DUP5 0000122a: MSTORE 0000122b: SWAP3 0000122c: DUP5 0000122d: ADD 0000122e: SWAP3 0000122f: DUP2 00001230: ADD 00001231: PUSH2 0x11f5 00001234: JUMP 00001235: JUMPDEST 00001236: POP 00001237: SWAP1 00001238: SWAP8 00001239: SWAP7 0000123a: POP 0000123b: POP 0000123c: POP 0000123d: POP 0000123e: POP 0000123f: POP 00001240: POP 00001241: JUMP 00001242: JUMPDEST 00001243: PUSH1 0x00 00001245: DUP1 00001246: PUSH1 0x00 00001248: PUSH1 0x40 0000124a: DUP5 0000124b: DUP7 0000124c: SUB 0000124d: SLT 0000124e: ISZERO 0000124f: PUSH2 0x1257 00001252: JUMPI 00001253: PUSH1 0x00 00001255: DUP1 00001256: REVERT 00001257: JUMPDEST 00001258: DUP4 00001259: CALLDATALOAD 0000125a: PUSH8 0xffffffffffffffff 00001263: DUP1 00001264: DUP3 00001265: GT 00001266: ISZERO 00001267: PUSH2 0x126f 0000126a: JUMPI 0000126b: PUSH1 0x00 0000126d: DUP1 0000126e: REVERT 0000126f: JUMPDEST 00001270: PUSH2 0x127b 00001273: DUP8 00001274: DUP4 00001275: DUP9 00001276: ADD 00001277: PUSH2 0x10aa 0000127a: JUMP 0000127b: JUMPDEST 0000127c: SWAP1 0000127d: SWAP6 0000127e: POP 0000127f: SWAP4 00001280: POP 00001281: PUSH1 0x20 00001283: DUP7 00001284: ADD 00001285: CALLDATALOAD 00001286: SWAP2 00001287: POP 00001288: DUP1 00001289: DUP3 0000128a: GT 0000128b: ISZERO 0000128c: PUSH2 0x1294 0000128f: JUMPI 00001290: PUSH1 0x00 00001292: DUP1 00001293: REVERT 00001294: JUMPDEST 00001295: POP 00001296: PUSH2 0x12a1 00001299: DUP7 0000129a: DUP3 0000129b: DUP8 0000129c: ADD 0000129d: PUSH2 0x1198 000012a0: JUMP 000012a1: JUMPDEST 000012a2: SWAP2 000012a3: POP 000012a4: POP 000012a5: SWAP3 000012a6: POP 000012a7: SWAP3 000012a8: POP 000012a9: SWAP3 000012aa: JUMP 000012ab: JUMPDEST 000012ac: PUSH1 0x00 000012ae: DUP1 000012af: PUSH1 0x40 000012b1: DUP4 000012b2: DUP6 000012b3: SUB 000012b4: SLT 000012b5: ISZERO 000012b6: PUSH2 0x12be 000012b9: JUMPI 000012ba: PUSH1 0x00 000012bc: DUP1 000012bd: REVERT 000012be: JUMPDEST 000012bf: PUSH2 0x12c7 000012c2: DUP4 000012c3: PUSH2 0x117c 000012c6: JUMP 000012c7: JUMPDEST 000012c8: SWAP5 000012c9: PUSH1 0x20 000012cb: SWAP4 000012cc: SWAP1 000012cd: SWAP4 000012ce: ADD 000012cf: CALLDATALOAD 000012d0: SWAP4 000012d1: POP 000012d2: POP 000012d3: POP 000012d4: JUMP 000012d5: JUMPDEST 000012d6: PUSH1 0x00 000012d8: DUP1 000012d9: PUSH1 0x00 000012db: DUP1 000012dc: PUSH1 0x00 000012de: PUSH1 0x80 000012e0: DUP7 000012e1: DUP9 000012e2: SUB 000012e3: SLT 000012e4: ISZERO 000012e5: PUSH2 0x12ed 000012e8: JUMPI 000012e9: PUSH1 0x00 000012eb: DUP1 000012ec: REVERT 000012ed: JUMPDEST 000012ee: DUP6 000012ef: CALLDATALOAD 000012f0: PUSH8 0xffffffffffffffff 000012f9: DUP2 000012fa: GT 000012fb: ISZERO 000012fc: PUSH2 0x1304 000012ff: JUMPI 00001300: PUSH1 0x00 00001302: DUP1 00001303: REVERT 00001304: JUMPDEST 00001305: PUSH2 0x1310 00001308: DUP9 00001309: DUP3 0000130a: DUP10 0000130b: ADD 0000130c: PUSH2 0x10aa 0000130f: JUMP 00001310: JUMPDEST 00001311: SWAP1 00001312: SWAP7 00001313: POP 00001314: SWAP5 00001315: POP 00001316: PUSH2 0x1323 00001319: SWAP1 0000131a: POP 0000131b: PUSH1 0x20 0000131d: DUP8 0000131e: ADD 0000131f: PUSH2 0x117c 00001322: JUMP 00001323: JUMPDEST 00001324: SWAP3 00001325: POP 00001326: PUSH2 0x1331 00001329: PUSH1 0x40 0000132b: DUP8 0000132c: ADD 0000132d: PUSH2 0x117c 00001330: JUMP 00001331: JUMPDEST 00001332: SWAP5 00001333: SWAP8 00001334: SWAP4 00001335: SWAP7 00001336: POP 00001337: SWAP2 00001338: SWAP5 00001339: PUSH1 0x60 0000133b: ADD 0000133c: CALLDATALOAD 0000133d: SWAP3 0000133e: SWAP2 0000133f: POP 00001340: POP 00001341: JUMP 00001342: JUMPDEST 00001343: PUSH1 0x00 00001345: DUP1 00001346: PUSH1 0x00 00001348: DUP1 00001349: PUSH1 0x60 0000134b: DUP6 0000134c: DUP8 0000134d: SUB 0000134e: SLT 0000134f: ISZERO 00001350: PUSH2 0x1358 00001353: JUMPI 00001354: PUSH1 0x00 00001356: DUP1 00001357: REVERT 00001358: JUMPDEST 00001359: DUP5 0000135a: CALLDATALOAD 0000135b: PUSH8 0xffffffffffffffff 00001364: DUP2 00001365: GT 00001366: ISZERO 00001367: PUSH2 0x136f 0000136a: JUMPI 0000136b: PUSH1 0x00 0000136d: DUP1 0000136e: REVERT 0000136f: JUMPDEST 00001370: PUSH2 0x137b 00001373: DUP8 00001374: DUP3 00001375: DUP9 00001376: ADD 00001377: PUSH2 0x10aa 0000137a: JUMP 0000137b: JUMPDEST 0000137c: SWAP1 0000137d: SWAP6 0000137e: POP 0000137f: SWAP4 00001380: POP 00001381: PUSH2 0x138e 00001384: SWAP1 00001385: POP 00001386: PUSH1 0x20 00001388: DUP7 00001389: ADD 0000138a: PUSH2 0x117c 0000138d: JUMP 0000138e: JUMPDEST 0000138f: SWAP4 00001390: SWAP7 00001391: SWAP3 00001392: SWAP6 00001393: POP 00001394: SWAP3 00001395: SWAP4 00001396: PUSH1 0x40 00001398: ADD 00001399: CALLDATALOAD 0000139a: SWAP3 0000139b: POP 0000139c: POP 0000139d: JUMP 0000139e: JUMPDEST 0000139f: PUSH1 0x00 000013a1: DUP1 000013a2: PUSH1 0x40 000013a4: DUP4 000013a5: DUP6 000013a6: SUB 000013a7: SLT 000013a8: ISZERO 000013a9: PUSH2 0x13b1 000013ac: JUMPI 000013ad: PUSH1 0x00 000013af: DUP1 000013b0: REVERT 000013b1: JUMPDEST 000013b2: PUSH2 0x13ba 000013b5: DUP4 000013b6: PUSH2 0x117c 000013b9: JUMP 000013ba: JUMPDEST 000013bb: SWAP2 000013bc: POP 000013bd: PUSH2 0x13c8 000013c0: PUSH1 0x20 000013c2: DUP5 000013c3: ADD 000013c4: PUSH2 0x117c 000013c7: JUMP 000013c8: JUMPDEST 000013c9: SWAP1 000013ca: POP 000013cb: SWAP3 000013cc: POP 000013cd: SWAP3 000013ce: SWAP1 000013cf: POP 000013d0: JUMP 000013d1: JUMPDEST 000013d2: PUSH1 0x00 000013d4: DUP1 000013d5: PUSH1 0x00 000013d7: DUP1 000013d8: PUSH1 0x60 000013da: DUP6 000013db: DUP8 000013dc: SUB 000013dd: SLT 000013de: ISZERO 000013df: PUSH2 0x13e7 000013e2: JUMPI 000013e3: PUSH1 0x00 000013e5: DUP1 000013e6: REVERT 000013e7: JUMPDEST 000013e8: DUP5 000013e9: CALLDATALOAD 000013ea: PUSH8 0xffffffffffffffff 000013f3: DUP1 000013f4: DUP3 000013f5: GT 000013f6: ISZERO 000013f7: PUSH2 0x13ff 000013fa: JUMPI 000013fb: PUSH1 0x00 000013fd: DUP1 000013fe: REVERT 000013ff: JUMPDEST 00001400: PUSH2 0x140b 00001403: DUP9 00001404: DUP4 00001405: DUP10 00001406: ADD 00001407: PUSH2 0x10aa 0000140a: JUMP 0000140b: JUMPDEST 0000140c: SWAP1 0000140d: SWAP7 0000140e: POP 0000140f: SWAP5 00001410: POP 00001411: DUP5 00001412: SWAP2 00001413: POP 00001414: PUSH2 0x141f 00001417: PUSH1 0x20 00001419: DUP9 0000141a: ADD 0000141b: PUSH2 0x117c 0000141e: JUMP 0000141f: JUMPDEST 00001420: SWAP4 00001421: POP 00001422: PUSH1 0x40 00001424: DUP8 00001425: ADD 00001426: CALLDATALOAD 00001427: SWAP2 00001428: POP 00001429: DUP1 0000142a: DUP3 0000142b: GT 0000142c: ISZERO 0000142d: PUSH2 0x1435 00001430: JUMPI 00001431: PUSH1 0x00 00001433: DUP1 00001434: REVERT 00001435: JUMPDEST 00001436: POP 00001437: PUSH2 0x1442 0000143a: DUP8 0000143b: DUP3 0000143c: DUP9 0000143d: ADD 0000143e: PUSH2 0x1198 00001441: JUMP 00001442: JUMPDEST 00001443: SWAP2 00001444: POP 00001445: POP 00001446: SWAP3 00001447: SWAP6 00001448: SWAP2 00001449: SWAP5 0000144a: POP 0000144b: SWAP3 0000144c: POP 0000144d: JUMP 0000144e: JUMPDEST 0000144f: PUSH1 0x00 00001451: PUSH1 0x20 00001453: DUP3 00001454: DUP5 00001455: SUB 00001456: SLT 00001457: ISZERO 00001458: PUSH2 0x1460 0000145b: JUMPI 0000145c: PUSH1 0x00 0000145e: DUP1 0000145f: REVERT 00001460: JUMPDEST 00001461: PUSH2 0x0eff 00001464: DUP3 00001465: PUSH2 0x117c 00001468: JUMP 00001469: JUMPDEST 0000146a: PUSH1 0x20 0000146c: DUP1 0000146d: DUP3 0000146e: MSTORE 0000146f: PUSH1 0x0e 00001471: SWAP1 00001472: DUP3 00001473: ADD 00001474: MSTORE 00001475: PUSH32 0x616d6f756e74206973207a65726f000000000000000000000000000000000000 00001496: PUSH1 0x40 00001498: DUP3 00001499: ADD 0000149a: MSTORE 0000149b: PUSH1 0x60 0000149d: ADD 0000149e: SWAP1 0000149f: JUMP 000014a0: JUMPDEST 000014a1: PUSH1 0x20 000014a3: DUP1 000014a4: DUP3 000014a5: MSTORE 000014a6: PUSH1 0x24 000014a8: SWAP1 000014a9: DUP3 000014aa: ADD 000014ab: MSTORE 000014ac: PUSH32 0x616d6f756e7420657863656564732074686520617661696c61626c652062616c 000014cd: PUSH1 0x40 000014cf: DUP3 000014d0: ADD 000014d1: MSTORE 000014d2: PUSH32 0x616e636500000000000000000000000000000000000000000000000000000000 000014f3: PUSH1 0x60 000014f5: DUP3 000014f6: ADD 000014f7: MSTORE 000014f8: PUSH1 0x80 000014fa: ADD 000014fb: SWAP1 000014fc: JUMP 000014fd: JUMPDEST 000014fe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000151f: PUSH1 0x00 00001521: MSTORE 00001522: PUSH1 0x32 00001524: PUSH1 0x04 00001526: MSTORE 00001527: PUSH1 0x24 00001529: PUSH1 0x00 0000152b: REVERT 0000152c: JUMPDEST 0000152d: PUSH1 0x20 0000152f: DUP1 00001530: DUP3 00001531: MSTORE 00001532: PUSH1 0x1f 00001534: SWAP1 00001535: DUP3 00001536: ADD 00001537: MSTORE 00001538: PUSH32 0x63616e6e6f742073656e6420746f20746865207a65726f206164647265737300 00001559: PUSH1 0x40 0000155b: DUP3 0000155c: ADD 0000155d: MSTORE 0000155e: PUSH1 0x60 00001560: ADD 00001561: SWAP1 00001562: JUMP 00001563: JUMPDEST 00001564: PUSH1 0x20 00001566: DUP1 00001567: DUP3 00001568: MSTORE 00001569: PUSH1 0x22 0000156b: SWAP1 0000156c: DUP3 0000156d: ADD 0000156e: MSTORE 0000156f: PUSH32 0x63616e6e6f742073656e6420746f2074686520636f6e74726163742069747365 00001590: PUSH1 0x40 00001592: DUP3 00001593: ADD 00001594: MSTORE 00001595: PUSH32 0x6c66000000000000000000000000000000000000000000000000000000000000 000015b6: PUSH1 0x60 000015b8: DUP3 000015b9: ADD 000015ba: MSTORE 000015bb: PUSH1 0x80 000015bd: ADD 000015be: SWAP1 000015bf: JUMP 000015c0: JUMPDEST 000015c1: PUSH1 0x20 000015c3: DUP1 000015c4: DUP3 000015c5: MSTORE 000015c6: PUSH1 0x21 000015c8: SWAP1 000015c9: DUP3 000015ca: ADD 000015cb: MSTORE 000015cc: PUSH32 0x63616e6e6f742073656e6420746f207468652063616c6c657220616464726573 000015ed: PUSH1 0x40 000015ef: DUP3 000015f0: ADD 000015f1: MSTORE 000015f2: PUSH32 0x7300000000000000000000000000000000000000000000000000000000000000 00001613: PUSH1 0x60 00001615: DUP3 00001616: ADD 00001617: MSTORE 00001618: PUSH1 0x80 0000161a: ADD 0000161b: SWAP1 0000161c: JUMP 0000161d: JUMPDEST 0000161e: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000163f: PUSH1 0x00 00001641: MSTORE 00001642: PUSH1 0x11 00001644: PUSH1 0x04 00001646: MSTORE 00001647: PUSH1 0x24 00001649: PUSH1 0x00 0000164b: REVERT 0000164c: JUMPDEST 0000164d: DUP1 0000164e: DUP3 0000164f: ADD 00001650: DUP1 00001651: DUP3 00001652: GT 00001653: ISZERO 00001654: PUSH2 0x165f 00001657: JUMPI 00001658: PUSH2 0x165f 0000165b: PUSH2 0x161d 0000165e: JUMP 0000165f: JUMPDEST 00001660: SWAP3 00001661: SWAP2 00001662: POP 00001663: POP 00001664: JUMP 00001665: JUMPDEST 00001666: PUSH1 0x00 00001668: PUSH1 0x01 0000166a: DUP3 0000166b: ADD 0000166c: PUSH2 0x1677 0000166f: JUMPI 00001670: PUSH2 0x1677 00001673: PUSH2 0x161d 00001676: JUMP 00001677: JUMPDEST 00001678: POP 00001679: PUSH1 0x01 0000167b: ADD 0000167c: SWAP1 0000167d: JUMP 0000167e: JUMPDEST 0000167f: DUP2 00001680: DUP4 00001681: DUP3 00001682: CALLDATACOPY 00001683: PUSH1 0x00 00001685: SWAP2 00001686: ADD 00001687: SWAP1 00001688: DUP2 00001689: MSTORE 0000168a: SWAP2 0000168b: SWAP1 0000168c: POP 0000168d: JUMP 0000168e: JUMPDEST 0000168f: PUSH1 0x00 00001691: PUSH1 0x20 00001693: DUP3 00001694: DUP5 00001695: SUB 00001696: SLT 00001697: ISZERO 00001698: PUSH2 0x16a0 0000169b: JUMPI 0000169c: PUSH1 0x00 0000169e: DUP1 0000169f: REVERT 000016a0: JUMPDEST 000016a1: DUP2 000016a2: MLOAD 000016a3: DUP1 000016a4: ISZERO 000016a5: ISZERO 000016a6: DUP2 000016a7: EQ 000016a8: PUSH2 0x0eff 000016ab: JUMPI 000016ac: PUSH1 0x00 000016ae: DUP1 000016af: REVERT 000016b0: JUMPDEST 000016b1: PUSH1 0x00 000016b3: JUMPDEST 000016b4: DUP4 000016b5: DUP2 000016b6: LT 000016b7: ISZERO 000016b8: PUSH2 0x16cb 000016bb: JUMPI 000016bc: DUP2 000016bd: DUP2 000016be: ADD 000016bf: MLOAD 000016c0: DUP4 000016c1: DUP3 000016c2: ADD 000016c3: MSTORE 000016c4: PUSH1 0x20 000016c6: ADD 000016c7: PUSH2 0x16b3 000016ca: JUMP 000016cb: JUMPDEST 000016cc: POP 000016cd: POP 000016ce: PUSH1 0x00 000016d0: SWAP2 000016d1: ADD 000016d2: MSTORE 000016d3: JUMP 000016d4: JUMPDEST 000016d5: PUSH1 0x00 000016d7: DUP3 000016d8: MLOAD 000016d9: PUSH2 0x16e6 000016dc: DUP2 000016dd: DUP5 000016de: PUSH1 0x20 000016e0: DUP8 000016e1: ADD 000016e2: PUSH2 0x16b0 000016e5: JUMP 000016e6: JUMPDEST 000016e7: SWAP2 000016e8: SWAP1 000016e9: SWAP2 000016ea: ADD 000016eb: SWAP3 000016ec: SWAP2 000016ed: POP 000016ee: POP 000016ef: JUMP 000016f0: JUMPDEST 000016f1: PUSH1 0x20 000016f3: DUP2 000016f4: MSTORE 000016f5: PUSH1 0x00 000016f7: DUP3 000016f8: MLOAD 000016f9: DUP1 000016fa: PUSH1 0x20 000016fc: DUP5 000016fd: ADD 000016fe: MSTORE 000016ff: PUSH2 0x170f 00001702: DUP2 00001703: PUSH1 0x40 00001705: DUP6 00001706: ADD 00001707: PUSH1 0x20 00001709: DUP8 0000170a: ADD 0000170b: PUSH2 0x16b0 0000170e: JUMP 0000170f: JUMPDEST 00001710: PUSH1 0x1f 00001712: ADD 00001713: PUSH1 0x1f 00001715: NOT 00001716: AND 00001717: SWAP2 00001718: SWAP1 00001719: SWAP2 0000171a: ADD 0000171b: PUSH1 0x40 0000171d: ADD 0000171e: SWAP3 0000171f: SWAP2 00001720: POP 00001721: POP 00001722: JUMP 00001723: INVALID 00001724: LOG2 00001725: PUSH5 0x6970667358 0000172b: UNKNOWN(0x22) 0000172c: SLT 0000172d: KECCAK256 0000172e: GASPRICE 0000172f: UNKNOWN(0xD6) 00001730: DIV 00001731: PUSH27 0xb07cb4be67e05a60e0d7528e856cfec144f599f2703e9eaf337050 0000174d: UNKNOWN(0xEC) 0000174e: PUSH5 0x736f6c6343 00001754: STOP 00001755: ADDMOD 00001756: GT 00001757: STOP 00001758: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa61b2714b2fc56c30a6e7dad3b715988a5d51c1b21a4756cba3783deecc72479
call_targets:
0xae85094070faa7f27fcbd7dc9ff5abb6fc1c9e05
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa61b2714b2fc56c30a6e7dad3b715988a5d51c1b21a4756cba3783deecc72479",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xae85094070faa7f27fcbd7dc9ff5abb6fc1c9e05"
],
"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": "0x8c70978d",
"selector": "0x8c70978d",
"calldata_variants": [
"0x8c70978d",
"0x8c70978d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc489744b",
"selector": "0xc489744b",
"calldata_variants": [
"0xc489744b",
"0xc489744b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe024c908",
"selector": "0xe024c908",
"calldata_variants": [
"0xe024c908",
"0xe024c9080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefd8be62",
"selector": "0xefd8be62",
"calldata_variants": [
"0xefd8be62",
"0xefd8be620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x363983b0",
"selector": "0x363983b0",
"calldata_variants": [
"0x363983b0",
"0x363983b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f24ec11",
"selector": "0x4f24ec11",
"calldata_variants": [
"0x4f24ec11",
"0x4f24ec110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 820,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4101,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa61b2714b2fc56c30a6e7dad3b715988a5d51c1b21a4756cba3783deecc72479
call_targets:
0xae85094070faa7f27fcbd7dc9ff5abb6fc1c9e05
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa61b2714b2fc56c30a6e7dad3b715988a5d51c1b21a4756cba3783deecc72479",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xae85094070faa7f27fcbd7dc9ff5abb6fc1c9e05"
],
"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": "0x8c70978d",
"selector": "0x8c70978d",
"calldata_variants": [
"0x8c70978d",
"0x8c70978d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc489744b",
"selector": "0xc489744b",
"calldata_variants": [
"0xc489744b",
"0xc489744b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe024c908",
"selector": "0xe024c908",
"calldata_variants": [
"0xe024c908",
"0xe024c9080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefd8be62",
"selector": "0xefd8be62",
"calldata_variants": [
"0xefd8be62",
"0xefd8be620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x363983b0",
"selector": "0x363983b0",
"calldata_variants": [
"0x363983b0",
"0x363983b00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f24ec11",
"selector": "0x4f24ec11",
"calldata_variants": [
"0x4f24ec11",
"0x4f24ec110000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 820,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4101,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|