019b477e-d1a3-71dd-8c90-f7cdc7739d9f
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 |
|---|---|---|---|---|
| 27795 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 27796 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71704 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71705 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71706 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71707 | validation.fork | complete | 1 / 3 | 2 weeks ago |
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 0x00a8 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0xbe040fb0 00000018: GT 00000019: PUSH2 0x0062 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xbe040fb0 00000023: EQ 00000024: PUSH2 0x018a 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xcde01542 0000002e: EQ 0000002f: PUSH2 0x019e 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xcff454af 00000039: EQ 0000003a: PUSH2 0x01bd 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xd2f82536 00000044: EQ 00000045: PUSH2 0x01dc 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xf2fde38b 0000004f: EQ 00000050: PUSH2 0x020b 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0xfbfba65e 0000005a: EQ 0000005b: PUSH2 0x022a 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: DUP1 00000064: PUSH4 0x2e1a7d4d 00000069: EQ 0000006a: PUSH2 0x00b3 0000006d: JUMPI 0000006e: DUP1 0000006f: PUSH4 0x39166ee9 00000074: EQ 00000075: PUSH2 0x00d4 00000078: JUMPI 00000079: DUP1 0000007a: PUSH4 0x715018a6 0000007f: EQ 00000080: PUSH2 0x0112 00000083: JUMPI 00000084: DUP1 00000085: PUSH4 0x8373c53b 0000008a: EQ 0000008b: PUSH2 0x0126 0000008e: JUMPI 0000008f: DUP1 00000090: PUSH4 0x8da5cb5b 00000095: EQ 00000096: PUSH2 0x0145 00000099: JUMPI 0000009a: DUP1 0000009b: PUSH4 0x9f06d4c9 000000a0: EQ 000000a1: PUSH2 0x016b 000000a4: JUMPI 000000a5: PUSH0 000000a6: DUP1 000000a7: REVERT 000000a8: JUMPDEST 000000a9: CALLDATASIZE 000000aa: PUSH2 0x00af 000000ad: JUMPI 000000ae: STOP 000000af: JUMPDEST 000000b0: PUSH0 000000b1: DUP1 000000b2: REVERT 000000b3: JUMPDEST 000000b4: CALLVALUE 000000b5: DUP1 000000b6: ISZERO 000000b7: PUSH2 0x00be 000000ba: JUMPI 000000bb: PUSH0 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: POP 000000c0: PUSH2 0x00d2 000000c3: PUSH2 0x00cd 000000c6: CALLDATASIZE 000000c7: PUSH1 0x04 000000c9: PUSH2 0x08da 000000cc: JUMP 000000cd: JUMPDEST 000000ce: PUSH2 0x0258 000000d1: JUMP 000000d2: JUMPDEST 000000d3: STOP 000000d4: JUMPDEST 000000d5: CALLVALUE 000000d6: DUP1 000000d7: ISZERO 000000d8: PUSH2 0x00df 000000db: JUMPI 000000dc: PUSH0 000000dd: DUP1 000000de: REVERT 000000df: JUMPDEST 000000e0: POP 000000e1: PUSH2 0x00ff 000000e4: PUSH2 0x00ee 000000e7: CALLDATASIZE 000000e8: PUSH1 0x04 000000ea: PUSH2 0x090c 000000ed: JUMP 000000ee: JUMPDEST 000000ef: PUSH1 0x01 000000f1: PUSH1 0x20 000000f3: MSTORE 000000f4: PUSH0 000000f5: SWAP1 000000f6: DUP2 000000f7: MSTORE 000000f8: PUSH1 0x40 000000fa: SWAP1 000000fb: KECCAK256 000000fc: SLOAD 000000fd: DUP2 000000fe: JUMP 000000ff: JUMPDEST 00000100: PUSH1 0x40 00000102: MLOAD 00000103: SWAP1 00000104: DUP2 00000105: MSTORE 00000106: PUSH1 0x20 00000108: ADD 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: MLOAD 0000010d: DUP1 0000010e: SWAP2 0000010f: SUB 00000110: SWAP1 00000111: RETURN 00000112: JUMPDEST 00000113: CALLVALUE 00000114: DUP1 00000115: ISZERO 00000116: PUSH2 0x011d 00000119: JUMPI 0000011a: PUSH0 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: POP 0000011f: PUSH2 0x00d2 00000122: PUSH2 0x0346 00000125: JUMP 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0131 0000012d: JUMPI 0000012e: PUSH0 0000012f: DUP1 00000130: REVERT 00000131: JUMPDEST 00000132: POP 00000133: PUSH2 0x00d2 00000136: PUSH2 0x0140 00000139: CALLDATASIZE 0000013a: PUSH1 0x04 0000013c: PUSH2 0x093b 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH2 0x0359 00000144: JUMP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0150 0000014c: JUMPI 0000014d: PUSH0 0000014e: DUP1 0000014f: REVERT 00000150: JUMPDEST 00000151: POP 00000152: PUSH0 00000153: SLOAD 00000154: PUSH1 0x40 00000156: MLOAD 00000157: PUSH1 0x01 00000159: PUSH1 0x01 0000015b: PUSH1 0xa0 0000015d: SHL 0000015e: SUB 0000015f: SWAP1 00000160: SWAP2 00000161: AND 00000162: DUP2 00000163: MSTORE 00000164: PUSH1 0x20 00000166: ADD 00000167: PUSH2 0x0109 0000016a: JUMP 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: DUP1 0000016e: ISZERO 0000016f: PUSH2 0x0176 00000172: JUMPI 00000173: PUSH0 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: POP 00000178: PUSH2 0x00d2 0000017b: PUSH2 0x0185 0000017e: CALLDATASIZE 0000017f: PUSH1 0x04 00000181: PUSH2 0x0a8a 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH2 0x037e 00000189: JUMP 0000018a: JUMPDEST 0000018b: CALLVALUE 0000018c: DUP1 0000018d: ISZERO 0000018e: PUSH2 0x0195 00000191: JUMPI 00000192: PUSH0 00000193: DUP1 00000194: REVERT 00000195: JUMPDEST 00000196: POP 00000197: PUSH2 0x00d2 0000019a: PUSH2 0x0429 0000019d: JUMP 0000019e: JUMPDEST 0000019f: CALLVALUE 000001a0: DUP1 000001a1: ISZERO 000001a2: PUSH2 0x01a9 000001a5: JUMPI 000001a6: PUSH0 000001a7: DUP1 000001a8: REVERT 000001a9: JUMPDEST 000001aa: POP 000001ab: PUSH2 0x00d2 000001ae: PUSH2 0x01b8 000001b1: CALLDATASIZE 000001b2: PUSH1 0x04 000001b4: PUSH2 0x0b42 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH2 0x05f1 000001bc: JUMP 000001bd: JUMPDEST 000001be: CALLVALUE 000001bf: DUP1 000001c0: ISZERO 000001c1: PUSH2 0x01c8 000001c4: JUMPI 000001c5: PUSH0 000001c6: DUP1 000001c7: REVERT 000001c8: JUMPDEST 000001c9: POP 000001ca: PUSH2 0x00d2 000001cd: PUSH2 0x01d7 000001d0: CALLDATASIZE 000001d1: PUSH1 0x04 000001d3: PUSH2 0x0b98 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH2 0x0692 000001db: JUMP 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e7 000001e3: JUMPI 000001e4: PUSH0 000001e5: DUP1 000001e6: REVERT 000001e7: JUMPDEST 000001e8: POP 000001e9: PUSH0 000001ea: SLOAD 000001eb: PUSH2 0x01fb 000001ee: SWAP1 000001ef: PUSH1 0x01 000001f1: PUSH1 0xa0 000001f3: SHL 000001f4: SWAP1 000001f5: DIV 000001f6: PUSH1 0xff 000001f8: AND 000001f9: DUP2 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: SWAP1 00000200: ISZERO 00000201: ISZERO 00000202: DUP2 00000203: MSTORE 00000204: PUSH1 0x20 00000206: ADD 00000207: PUSH2 0x0109 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: DUP1 0000020e: ISZERO 0000020f: PUSH2 0x0216 00000212: JUMPI 00000213: PUSH0 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x00d2 0000021b: PUSH2 0x0225 0000021e: CALLDATASIZE 0000021f: PUSH1 0x04 00000221: PUSH2 0x090c 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x07b9 00000229: JUMP 0000022a: JUMPDEST 0000022b: CALLVALUE 0000022c: DUP1 0000022d: ISZERO 0000022e: PUSH2 0x0235 00000231: JUMPI 00000232: PUSH0 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x01fb 0000023a: PUSH2 0x0244 0000023d: CALLDATASIZE 0000023e: PUSH1 0x04 00000240: PUSH2 0x090c 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH1 0x02 00000247: PUSH1 0x20 00000249: MSTORE 0000024a: PUSH0 0000024b: SWAP1 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x40 00000250: SWAP1 00000251: KECCAK256 00000252: SLOAD 00000253: PUSH1 0xff 00000255: AND 00000256: DUP2 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH2 0x0260 0000025c: PUSH2 0x0832 0000025f: JUMP 00000260: JUMPDEST 00000261: SELFBALANCE 00000262: DUP2 00000263: GT 00000264: ISZERO 00000265: PUSH2 0x02b5 00000268: JUMPI 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: PUSH3 0x461bcd 00000270: PUSH1 0xe5 00000272: SHL 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: PUSH1 0x04 00000279: DUP3 0000027a: ADD 0000027b: MSTORE 0000027c: PUSH1 0x1d 0000027e: PUSH1 0x24 00000280: DUP3 00000281: ADD 00000282: MSTORE 00000283: PUSH32 0x496e73756666696369656e7420636f6e74726163742062616c616e6365000000 000002a4: PUSH1 0x44 000002a6: DUP3 000002a7: ADD 000002a8: MSTORE 000002a9: PUSH1 0x64 000002ab: ADD 000002ac: JUMPDEST 000002ad: PUSH1 0x40 000002af: MLOAD 000002b0: DUP1 000002b1: SWAP2 000002b2: SUB 000002b3: SWAP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: PUSH1 0x40 000002b8: MLOAD 000002b9: PUSH0 000002ba: SWAP1 000002bb: CALLER 000002bc: SWAP1 000002bd: DUP4 000002be: SWAP1 000002bf: DUP4 000002c0: DUP2 000002c1: DUP2 000002c2: DUP2 000002c3: DUP6 000002c4: DUP8 000002c5: GAS 000002c6: CALL 000002c7: SWAP3 000002c8: POP 000002c9: POP 000002ca: POP 000002cb: RETURNDATASIZE 000002cc: DUP1 000002cd: PUSH0 000002ce: DUP2 000002cf: EQ 000002d0: PUSH2 0x02f4 000002d3: JUMPI 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: SWAP2 000002d8: POP 000002d9: PUSH1 0x1f 000002db: NOT 000002dc: PUSH1 0x3f 000002de: RETURNDATASIZE 000002df: ADD 000002e0: AND 000002e1: DUP3 000002e2: ADD 000002e3: PUSH1 0x40 000002e5: MSTORE 000002e6: RETURNDATASIZE 000002e7: DUP3 000002e8: MSTORE 000002e9: RETURNDATASIZE 000002ea: PUSH0 000002eb: PUSH1 0x20 000002ed: DUP5 000002ee: ADD 000002ef: RETURNDATACOPY 000002f0: PUSH2 0x02f9 000002f3: JUMP 000002f4: JUMPDEST 000002f5: PUSH1 0x60 000002f7: SWAP2 000002f8: POP 000002f9: JUMPDEST 000002fa: POP 000002fb: POP 000002fc: SWAP1 000002fd: POP 000002fe: DUP1 000002ff: PUSH2 0x0342 00000302: JUMPI 00000303: PUSH1 0x40 00000305: MLOAD 00000306: PUSH3 0x461bcd 0000030a: PUSH1 0xe5 0000030c: SHL 0000030d: DUP2 0000030e: MSTORE 0000030f: PUSH1 0x20 00000311: PUSH1 0x04 00000313: DUP3 00000314: ADD 00000315: MSTORE 00000316: PUSH1 0x15 00000318: PUSH1 0x24 0000031a: DUP3 0000031b: ADD 0000031c: MSTORE 0000031d: PUSH21 0x11985a5b1959081d1bc81cd95b9908185b5bdd5b9d 00000333: PUSH1 0x5a 00000335: SHL 00000336: PUSH1 0x44 00000338: DUP3 00000339: ADD 0000033a: MSTORE 0000033b: PUSH1 0x64 0000033d: ADD 0000033e: PUSH2 0x02ac 00000341: JUMP 00000342: JUMPDEST 00000343: POP 00000344: POP 00000345: JUMP 00000346: JUMPDEST 00000347: PUSH2 0x034e 0000034a: PUSH2 0x0832 0000034d: JUMP 0000034e: JUMPDEST 0000034f: PUSH2 0x0357 00000352: PUSH0 00000353: PUSH2 0x088b 00000356: JUMP 00000357: JUMPDEST 00000358: JUMP 00000359: JUMPDEST 0000035a: PUSH2 0x0361 0000035d: PUSH2 0x0832 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH0 00000363: DUP1 00000364: SLOAD 00000365: SWAP2 00000366: ISZERO 00000367: ISZERO 00000368: PUSH1 0x01 0000036a: PUSH1 0xa0 0000036c: SHL 0000036d: MUL 0000036e: PUSH1 0xff 00000370: PUSH1 0xa0 00000372: SHL 00000373: NOT 00000374: SWAP1 00000375: SWAP3 00000376: AND 00000377: SWAP2 00000378: SWAP1 00000379: SWAP2 0000037a: OR 0000037b: SWAP1 0000037c: SSTORE 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH2 0x0386 00000382: PUSH2 0x0832 00000385: JUMP 00000386: JUMPDEST 00000387: DUP1 00000388: MLOAD 00000389: DUP3 0000038a: MLOAD 0000038b: EQ 0000038c: PUSH2 0x03a7 0000038f: JUMPI 00000390: PUSH1 0x40 00000392: MLOAD 00000393: PUSH3 0x461bcd 00000397: PUSH1 0xe5 00000399: SHL 0000039a: DUP2 0000039b: MSTORE 0000039c: PUSH1 0x04 0000039e: ADD 0000039f: PUSH2 0x02ac 000003a2: SWAP1 000003a3: PUSH2 0x0c1a 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH0 000003a9: JUMPDEST 000003aa: DUP3 000003ab: MLOAD 000003ac: DUP2 000003ad: LT 000003ae: ISZERO 000003af: PUSH2 0x0424 000003b2: JUMPI 000003b3: DUP2 000003b4: DUP2 000003b5: DUP2 000003b6: MLOAD 000003b7: DUP2 000003b8: LT 000003b9: PUSH2 0x03c4 000003bc: JUMPI 000003bd: PUSH2 0x03c4 000003c0: PUSH2 0x0c60 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x20 000003c7: MUL 000003c8: PUSH1 0x20 000003ca: ADD 000003cb: ADD 000003cc: MLOAD 000003cd: PUSH1 0x02 000003cf: PUSH0 000003d0: DUP6 000003d1: DUP5 000003d2: DUP2 000003d3: MLOAD 000003d4: DUP2 000003d5: LT 000003d6: PUSH2 0x03e1 000003d9: JUMPI 000003da: PUSH2 0x03e1 000003dd: PUSH2 0x0c60 000003e0: JUMP 000003e1: JUMPDEST 000003e2: PUSH1 0x20 000003e4: SWAP1 000003e5: DUP2 000003e6: MUL 000003e7: SWAP2 000003e8: SWAP1 000003e9: SWAP2 000003ea: ADD 000003eb: DUP2 000003ec: ADD 000003ed: MLOAD 000003ee: PUSH1 0x01 000003f0: PUSH1 0x01 000003f2: PUSH1 0xa0 000003f4: SHL 000003f5: SUB 000003f6: AND 000003f7: DUP3 000003f8: MSTORE 000003f9: DUP2 000003fa: ADD 000003fb: SWAP2 000003fc: SWAP1 000003fd: SWAP2 000003fe: MSTORE 000003ff: PUSH1 0x40 00000401: ADD 00000402: PUSH0 00000403: KECCAK256 00000404: DUP1 00000405: SLOAD 00000406: PUSH1 0xff 00000408: NOT 00000409: AND 0000040a: SWAP2 0000040b: ISZERO 0000040c: ISZERO 0000040d: SWAP2 0000040e: SWAP1 0000040f: SWAP2 00000410: OR 00000411: SWAP1 00000412: SSTORE 00000413: DUP1 00000414: PUSH2 0x041c 00000417: DUP2 00000418: PUSH2 0x0c74 0000041b: JUMP 0000041c: JUMPDEST 0000041d: SWAP2 0000041e: POP 0000041f: POP 00000420: PUSH2 0x03a9 00000423: JUMP 00000424: JUMPDEST 00000425: POP 00000426: POP 00000427: POP 00000428: JUMP 00000429: JUMPDEST 0000042a: PUSH0 0000042b: SLOAD 0000042c: PUSH1 0x01 0000042e: PUSH1 0xa0 00000430: SHL 00000431: SWAP1 00000432: DIV 00000433: PUSH1 0xff 00000435: AND 00000436: PUSH2 0x0476 00000439: JUMPI 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: PUSH3 0x461bcd 00000441: PUSH1 0xe5 00000443: SHL 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x20 00000448: PUSH1 0x04 0000044a: DUP3 0000044b: ADD 0000044c: MSTORE 0000044d: PUSH1 0x12 0000044f: PUSH1 0x24 00000451: DUP3 00000452: ADD 00000453: MSTORE 00000454: PUSH18 0x14995919595b481b9bdd08195b98589b1959 00000467: PUSH1 0x72 00000469: SHL 0000046a: PUSH1 0x44 0000046c: DUP3 0000046d: ADD 0000046e: MSTORE 0000046f: PUSH1 0x64 00000471: ADD 00000472: PUSH2 0x02ac 00000475: JUMP 00000476: JUMPDEST 00000477: CALLER 00000478: PUSH0 00000479: SWAP1 0000047a: DUP2 0000047b: MSTORE 0000047c: PUSH1 0x02 0000047e: PUSH1 0x20 00000480: MSTORE 00000481: PUSH1 0x40 00000483: SWAP1 00000484: KECCAK256 00000485: SLOAD 00000486: PUSH1 0xff 00000488: AND 00000489: PUSH2 0x04ca 0000048c: JUMPI 0000048d: PUSH1 0x40 0000048f: MLOAD 00000490: PUSH3 0x461bcd 00000494: PUSH1 0xe5 00000496: SHL 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: PUSH1 0x04 0000049d: DUP3 0000049e: ADD 0000049f: MSTORE 000004a0: PUSH1 0x13 000004a2: PUSH1 0x24 000004a4: DUP3 000004a5: ADD 000004a6: MSTORE 000004a7: PUSH19 0x1059191c995cdcc81b9bdd08185b1b1bddd959 000004bb: PUSH1 0x6a 000004bd: SHL 000004be: PUSH1 0x44 000004c0: DUP3 000004c1: ADD 000004c2: MSTORE 000004c3: PUSH1 0x64 000004c5: ADD 000004c6: PUSH2 0x02ac 000004c9: JUMP 000004ca: JUMPDEST 000004cb: CALLER 000004cc: PUSH0 000004cd: SWAP1 000004ce: DUP2 000004cf: MSTORE 000004d0: PUSH1 0x01 000004d2: PUSH1 0x20 000004d4: MSTORE 000004d5: PUSH1 0x40 000004d7: SWAP1 000004d8: KECCAK256 000004d9: SLOAD 000004da: DUP1 000004db: PUSH2 0x051c 000004de: JUMPI 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: PUSH3 0x461bcd 000004e6: PUSH1 0xe5 000004e8: SHL 000004e9: DUP2 000004ea: MSTORE 000004eb: PUSH1 0x20 000004ed: PUSH1 0x04 000004ef: DUP3 000004f0: ADD 000004f1: MSTORE 000004f2: PUSH1 0x13 000004f4: PUSH1 0x24 000004f6: DUP3 000004f7: ADD 000004f8: MSTORE 000004f9: PUSH19 0x105b5bdd5b9d081a5b9cdd59999a58da595b9d 0000050d: PUSH1 0x6a 0000050f: SHL 00000510: PUSH1 0x44 00000512: DUP3 00000513: ADD 00000514: MSTORE 00000515: PUSH1 0x64 00000517: ADD 00000518: PUSH2 0x02ac 0000051b: JUMP 0000051c: JUMPDEST 0000051d: CALLER 0000051e: PUSH0 0000051f: DUP2 00000520: DUP2 00000521: MSTORE 00000522: PUSH1 0x01 00000524: PUSH1 0x20 00000526: MSTORE 00000527: PUSH1 0x40 00000529: DUP1 0000052a: DUP3 0000052b: KECCAK256 0000052c: DUP3 0000052d: SWAP1 0000052e: SSTORE 0000052f: MLOAD 00000530: SWAP1 00000531: SWAP2 00000532: SWAP1 00000533: DUP4 00000534: SWAP1 00000535: DUP4 00000536: DUP2 00000537: DUP2 00000538: DUP2 00000539: DUP6 0000053a: DUP8 0000053b: GAS 0000053c: CALL 0000053d: SWAP3 0000053e: POP 0000053f: POP 00000540: POP 00000541: RETURNDATASIZE 00000542: DUP1 00000543: PUSH0 00000544: DUP2 00000545: EQ 00000546: PUSH2 0x056a 00000549: JUMPI 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: SWAP2 0000054e: POP 0000054f: PUSH1 0x1f 00000551: NOT 00000552: PUSH1 0x3f 00000554: RETURNDATASIZE 00000555: ADD 00000556: AND 00000557: DUP3 00000558: ADD 00000559: PUSH1 0x40 0000055b: MSTORE 0000055c: RETURNDATASIZE 0000055d: DUP3 0000055e: MSTORE 0000055f: RETURNDATASIZE 00000560: PUSH0 00000561: PUSH1 0x20 00000563: DUP5 00000564: ADD 00000565: RETURNDATACOPY 00000566: PUSH2 0x056f 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH1 0x60 0000056d: SWAP2 0000056e: POP 0000056f: JUMPDEST 00000570: POP 00000571: POP 00000572: SWAP1 00000573: POP 00000574: DUP1 00000575: PUSH2 0x05b8 00000578: JUMPI 00000579: PUSH1 0x40 0000057b: MLOAD 0000057c: PUSH3 0x461bcd 00000580: PUSH1 0xe5 00000582: SHL 00000583: DUP2 00000584: MSTORE 00000585: PUSH1 0x20 00000587: PUSH1 0x04 00000589: DUP3 0000058a: ADD 0000058b: MSTORE 0000058c: PUSH1 0x15 0000058e: PUSH1 0x24 00000590: DUP3 00000591: ADD 00000592: MSTORE 00000593: PUSH21 0x11985a5b1959081d1bc81cd95b9908185b5bdd5b9d 000005a9: PUSH1 0x5a 000005ab: SHL 000005ac: PUSH1 0x44 000005ae: DUP3 000005af: ADD 000005b0: MSTORE 000005b1: PUSH1 0x64 000005b3: ADD 000005b4: PUSH2 0x02ac 000005b7: JUMP 000005b8: JUMPDEST 000005b9: PUSH1 0x40 000005bb: MLOAD 000005bc: DUP3 000005bd: DUP2 000005be: MSTORE 000005bf: CALLER 000005c0: SWAP1 000005c1: PUSH32 0xc9d6669025387097e071b826ec190162155c20568d80a132d0bbfefe11c08fda 000005e2: SWAP1 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: PUSH1 0x40 000005e8: MLOAD 000005e9: DUP1 000005ea: SWAP2 000005eb: SUB 000005ec: SWAP1 000005ed: LOG2 000005ee: POP 000005ef: POP 000005f0: JUMP 000005f1: JUMPDEST 000005f2: PUSH2 0x05f9 000005f5: PUSH2 0x0832 000005f8: JUMP 000005f9: JUMPDEST 000005fa: DUP1 000005fb: MLOAD 000005fc: DUP3 000005fd: MLOAD 000005fe: EQ 000005ff: PUSH2 0x061a 00000602: JUMPI 00000603: PUSH1 0x40 00000605: MLOAD 00000606: PUSH3 0x461bcd 0000060a: PUSH1 0xe5 0000060c: SHL 0000060d: DUP2 0000060e: MSTORE 0000060f: PUSH1 0x04 00000611: ADD 00000612: PUSH2 0x02ac 00000615: SWAP1 00000616: PUSH2 0x0c1a 00000619: JUMP 0000061a: JUMPDEST 0000061b: PUSH0 0000061c: JUMPDEST 0000061d: DUP3 0000061e: MLOAD 0000061f: DUP2 00000620: LT 00000621: ISZERO 00000622: PUSH2 0x0424 00000625: JUMPI 00000626: DUP2 00000627: DUP2 00000628: DUP2 00000629: MLOAD 0000062a: DUP2 0000062b: LT 0000062c: PUSH2 0x0637 0000062f: JUMPI 00000630: PUSH2 0x0637 00000633: PUSH2 0x0c60 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH1 0x20 0000063a: MUL 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: ADD 0000063f: MLOAD 00000640: PUSH1 0x01 00000642: PUSH0 00000643: DUP6 00000644: DUP5 00000645: DUP2 00000646: MLOAD 00000647: DUP2 00000648: LT 00000649: PUSH2 0x0654 0000064c: JUMPI 0000064d: PUSH2 0x0654 00000650: PUSH2 0x0c60 00000653: JUMP 00000654: JUMPDEST 00000655: PUSH1 0x20 00000657: MUL 00000658: PUSH1 0x20 0000065a: ADD 0000065b: ADD 0000065c: MLOAD 0000065d: PUSH1 0x01 0000065f: PUSH1 0x01 00000661: PUSH1 0xa0 00000663: SHL 00000664: SUB 00000665: AND 00000666: PUSH1 0x01 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: SHL 0000066d: SUB 0000066e: AND 0000066f: DUP2 00000670: MSTORE 00000671: PUSH1 0x20 00000673: ADD 00000674: SWAP1 00000675: DUP2 00000676: MSTORE 00000677: PUSH1 0x20 00000679: ADD 0000067a: PUSH0 0000067b: KECCAK256 0000067c: DUP2 0000067d: SWAP1 0000067e: SSTORE 0000067f: POP 00000680: DUP1 00000681: DUP1 00000682: PUSH2 0x068a 00000685: SWAP1 00000686: PUSH2 0x0c74 00000689: JUMP 0000068a: JUMPDEST 0000068b: SWAP2 0000068c: POP 0000068d: POP 0000068e: PUSH2 0x061c 00000691: JUMP 00000692: JUMPDEST 00000693: PUSH2 0x069a 00000696: PUSH2 0x0832 00000699: JUMP 0000069a: JUMPDEST 0000069b: DUP2 0000069c: MLOAD 0000069d: DUP4 0000069e: MLOAD 0000069f: EQ 000006a0: PUSH2 0x06bb 000006a3: JUMPI 000006a4: PUSH1 0x40 000006a6: MLOAD 000006a7: PUSH3 0x461bcd 000006ab: PUSH1 0xe5 000006ad: SHL 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH1 0x04 000006b2: ADD 000006b3: PUSH2 0x02ac 000006b6: SWAP1 000006b7: PUSH2 0x0c1a 000006ba: JUMP 000006bb: JUMPDEST 000006bc: DUP1 000006bd: MLOAD 000006be: DUP3 000006bf: MLOAD 000006c0: EQ 000006c1: PUSH2 0x06dc 000006c4: JUMPI 000006c5: PUSH1 0x40 000006c7: MLOAD 000006c8: PUSH3 0x461bcd 000006cc: PUSH1 0xe5 000006ce: SHL 000006cf: DUP2 000006d0: MSTORE 000006d1: PUSH1 0x04 000006d3: ADD 000006d4: PUSH2 0x02ac 000006d7: SWAP1 000006d8: PUSH2 0x0c1a 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH0 000006de: JUMPDEST 000006df: DUP4 000006e0: MLOAD 000006e1: DUP2 000006e2: LT 000006e3: ISZERO 000006e4: PUSH2 0x07b3 000006e7: JUMPI 000006e8: DUP3 000006e9: DUP2 000006ea: DUP2 000006eb: MLOAD 000006ec: DUP2 000006ed: LT 000006ee: PUSH2 0x06f9 000006f1: JUMPI 000006f2: PUSH2 0x06f9 000006f5: PUSH2 0x0c60 000006f8: JUMP 000006f9: JUMPDEST 000006fa: PUSH1 0x20 000006fc: MUL 000006fd: PUSH1 0x20 000006ff: ADD 00000700: ADD 00000701: MLOAD 00000702: PUSH1 0x01 00000704: PUSH0 00000705: DUP7 00000706: DUP5 00000707: DUP2 00000708: MLOAD 00000709: DUP2 0000070a: LT 0000070b: PUSH2 0x0716 0000070e: JUMPI 0000070f: PUSH2 0x0716 00000712: PUSH2 0x0c60 00000715: JUMP 00000716: JUMPDEST 00000717: PUSH1 0x20 00000719: MUL 0000071a: PUSH1 0x20 0000071c: ADD 0000071d: ADD 0000071e: MLOAD 0000071f: PUSH1 0x01 00000721: PUSH1 0x01 00000723: PUSH1 0xa0 00000725: SHL 00000726: SUB 00000727: AND 00000728: PUSH1 0x01 0000072a: PUSH1 0x01 0000072c: PUSH1 0xa0 0000072e: SHL 0000072f: SUB 00000730: AND 00000731: DUP2 00000732: MSTORE 00000733: PUSH1 0x20 00000735: ADD 00000736: SWAP1 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x20 0000073b: ADD 0000073c: PUSH0 0000073d: KECCAK256 0000073e: DUP2 0000073f: SWAP1 00000740: SSTORE 00000741: POP 00000742: DUP2 00000743: DUP2 00000744: DUP2 00000745: MLOAD 00000746: DUP2 00000747: LT 00000748: PUSH2 0x0753 0000074b: JUMPI 0000074c: PUSH2 0x0753 0000074f: PUSH2 0x0c60 00000752: JUMP 00000753: JUMPDEST 00000754: PUSH1 0x20 00000756: MUL 00000757: PUSH1 0x20 00000759: ADD 0000075a: ADD 0000075b: MLOAD 0000075c: PUSH1 0x02 0000075e: PUSH0 0000075f: DUP7 00000760: DUP5 00000761: DUP2 00000762: MLOAD 00000763: DUP2 00000764: LT 00000765: PUSH2 0x0770 00000768: JUMPI 00000769: PUSH2 0x0770 0000076c: PUSH2 0x0c60 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x20 00000773: SWAP1 00000774: DUP2 00000775: MUL 00000776: SWAP2 00000777: SWAP1 00000778: SWAP2 00000779: ADD 0000077a: DUP2 0000077b: ADD 0000077c: MLOAD 0000077d: PUSH1 0x01 0000077f: PUSH1 0x01 00000781: PUSH1 0xa0 00000783: SHL 00000784: SUB 00000785: AND 00000786: DUP3 00000787: MSTORE 00000788: DUP2 00000789: ADD 0000078a: SWAP2 0000078b: SWAP1 0000078c: SWAP2 0000078d: MSTORE 0000078e: PUSH1 0x40 00000790: ADD 00000791: PUSH0 00000792: KECCAK256 00000793: DUP1 00000794: SLOAD 00000795: PUSH1 0xff 00000797: NOT 00000798: AND 00000799: SWAP2 0000079a: ISZERO 0000079b: ISZERO 0000079c: SWAP2 0000079d: SWAP1 0000079e: SWAP2 0000079f: OR 000007a0: SWAP1 000007a1: SSTORE 000007a2: DUP1 000007a3: PUSH2 0x07ab 000007a6: DUP2 000007a7: PUSH2 0x0c74 000007aa: JUMP 000007ab: JUMPDEST 000007ac: SWAP2 000007ad: POP 000007ae: POP 000007af: PUSH2 0x06de 000007b2: JUMP 000007b3: JUMPDEST 000007b4: POP 000007b5: POP 000007b6: POP 000007b7: POP 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH2 0x07c1 000007bd: PUSH2 0x0832 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x01 000007c4: PUSH1 0x01 000007c6: PUSH1 0xa0 000007c8: SHL 000007c9: SUB 000007ca: DUP2 000007cb: AND 000007cc: PUSH2 0x0826 000007cf: JUMPI 000007d0: PUSH1 0x40 000007d2: MLOAD 000007d3: PUSH3 0x461bcd 000007d7: PUSH1 0xe5 000007d9: SHL 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x20 000007de: PUSH1 0x04 000007e0: DUP3 000007e1: ADD 000007e2: MSTORE 000007e3: PUSH1 0x26 000007e5: PUSH1 0x24 000007e7: DUP3 000007e8: ADD 000007e9: MSTORE 000007ea: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000080b: PUSH1 0x44 0000080d: DUP3 0000080e: ADD 0000080f: MSTORE 00000810: PUSH6 0x646472657373 00000817: PUSH1 0xd0 00000819: SHL 0000081a: PUSH1 0x64 0000081c: DUP3 0000081d: ADD 0000081e: MSTORE 0000081f: PUSH1 0x84 00000821: ADD 00000822: PUSH2 0x02ac 00000825: JUMP 00000826: JUMPDEST 00000827: PUSH2 0x082f 0000082a: DUP2 0000082b: PUSH2 0x088b 0000082e: JUMP 0000082f: JUMPDEST 00000830: POP 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH0 00000834: SLOAD 00000835: PUSH1 0x01 00000837: PUSH1 0x01 00000839: PUSH1 0xa0 0000083b: SHL 0000083c: SUB 0000083d: AND 0000083e: CALLER 0000083f: EQ 00000840: PUSH2 0x0357 00000843: JUMPI 00000844: PUSH1 0x40 00000846: MLOAD 00000847: PUSH3 0x461bcd 0000084b: PUSH1 0xe5 0000084d: SHL 0000084e: DUP2 0000084f: MSTORE 00000850: PUSH1 0x20 00000852: PUSH1 0x04 00000854: DUP3 00000855: ADD 00000856: DUP2 00000857: SWAP1 00000858: MSTORE 00000859: PUSH1 0x24 0000085b: DUP3 0000085c: ADD 0000085d: MSTORE 0000085e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000087f: PUSH1 0x44 00000881: DUP3 00000882: ADD 00000883: MSTORE 00000884: PUSH1 0x64 00000886: ADD 00000887: PUSH2 0x02ac 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH0 0000088d: DUP1 0000088e: SLOAD 0000088f: PUSH1 0x01 00000891: PUSH1 0x01 00000893: PUSH1 0xa0 00000895: SHL 00000896: SUB 00000897: DUP4 00000898: DUP2 00000899: AND 0000089a: PUSH1 0x01 0000089c: PUSH1 0x01 0000089e: PUSH1 0xa0 000008a0: SHL 000008a1: SUB 000008a2: NOT 000008a3: DUP4 000008a4: AND 000008a5: DUP2 000008a6: OR 000008a7: DUP5 000008a8: SSTORE 000008a9: PUSH1 0x40 000008ab: MLOAD 000008ac: SWAP2 000008ad: SWAP1 000008ae: SWAP3 000008af: AND 000008b0: SWAP3 000008b1: DUP4 000008b2: SWAP2 000008b3: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000008d4: SWAP2 000008d5: SWAP1 000008d6: LOG3 000008d7: POP 000008d8: POP 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH0 000008dc: PUSH1 0x20 000008de: DUP3 000008df: DUP5 000008e0: SUB 000008e1: SLT 000008e2: ISZERO 000008e3: PUSH2 0x08ea 000008e6: JUMPI 000008e7: PUSH0 000008e8: DUP1 000008e9: REVERT 000008ea: JUMPDEST 000008eb: POP 000008ec: CALLDATALOAD 000008ed: SWAP2 000008ee: SWAP1 000008ef: POP 000008f0: JUMP 000008f1: JUMPDEST 000008f2: DUP1 000008f3: CALLDATALOAD 000008f4: PUSH1 0x01 000008f6: PUSH1 0x01 000008f8: PUSH1 0xa0 000008fa: SHL 000008fb: SUB 000008fc: DUP2 000008fd: AND 000008fe: DUP2 000008ff: EQ 00000900: PUSH2 0x0907 00000903: JUMPI 00000904: PUSH0 00000905: DUP1 00000906: REVERT 00000907: JUMPDEST 00000908: SWAP2 00000909: SWAP1 0000090a: POP 0000090b: JUMP 0000090c: JUMPDEST 0000090d: PUSH0 0000090e: PUSH1 0x20 00000910: DUP3 00000911: DUP5 00000912: SUB 00000913: SLT 00000914: ISZERO 00000915: PUSH2 0x091c 00000918: JUMPI 00000919: PUSH0 0000091a: DUP1 0000091b: REVERT 0000091c: JUMPDEST 0000091d: PUSH2 0x0925 00000920: DUP3 00000921: PUSH2 0x08f1 00000924: JUMP 00000925: JUMPDEST 00000926: SWAP4 00000927: SWAP3 00000928: POP 00000929: POP 0000092a: POP 0000092b: JUMP 0000092c: JUMPDEST 0000092d: DUP1 0000092e: CALLDATALOAD 0000092f: DUP1 00000930: ISZERO 00000931: ISZERO 00000932: DUP2 00000933: EQ 00000934: PUSH2 0x0907 00000937: JUMPI 00000938: PUSH0 00000939: DUP1 0000093a: REVERT 0000093b: JUMPDEST 0000093c: PUSH0 0000093d: PUSH1 0x20 0000093f: DUP3 00000940: DUP5 00000941: SUB 00000942: SLT 00000943: ISZERO 00000944: PUSH2 0x094b 00000947: JUMPI 00000948: PUSH0 00000949: DUP1 0000094a: REVERT 0000094b: JUMPDEST 0000094c: PUSH2 0x0925 0000094f: DUP3 00000950: PUSH2 0x092c 00000953: JUMP 00000954: JUMPDEST 00000955: PUSH4 0x4e487b71 0000095a: PUSH1 0xe0 0000095c: SHL 0000095d: PUSH0 0000095e: MSTORE 0000095f: PUSH1 0x41 00000961: PUSH1 0x04 00000963: MSTORE 00000964: PUSH1 0x24 00000966: PUSH0 00000967: REVERT 00000968: JUMPDEST 00000969: PUSH1 0x40 0000096b: MLOAD 0000096c: PUSH1 0x1f 0000096e: DUP3 0000096f: ADD 00000970: PUSH1 0x1f 00000972: NOT 00000973: AND 00000974: DUP2 00000975: ADD 00000976: PUSH8 0xffffffffffffffff 0000097f: DUP2 00000980: GT 00000981: DUP3 00000982: DUP3 00000983: LT 00000984: OR 00000985: ISZERO 00000986: PUSH2 0x0991 00000989: JUMPI 0000098a: PUSH2 0x0991 0000098d: PUSH2 0x0954 00000990: JUMP 00000991: JUMPDEST 00000992: PUSH1 0x40 00000994: MSTORE 00000995: SWAP2 00000996: SWAP1 00000997: POP 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH0 0000099b: PUSH8 0xffffffffffffffff 000009a4: DUP3 000009a5: GT 000009a6: ISZERO 000009a7: PUSH2 0x09b2 000009aa: JUMPI 000009ab: PUSH2 0x09b2 000009ae: PUSH2 0x0954 000009b1: JUMP 000009b2: JUMPDEST 000009b3: POP 000009b4: PUSH1 0x05 000009b6: SHL 000009b7: PUSH1 0x20 000009b9: ADD 000009ba: SWAP1 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH0 000009be: DUP3 000009bf: PUSH1 0x1f 000009c1: DUP4 000009c2: ADD 000009c3: SLT 000009c4: PUSH2 0x09cb 000009c7: JUMPI 000009c8: PUSH0 000009c9: DUP1 000009ca: REVERT 000009cb: JUMPDEST 000009cc: DUP2 000009cd: CALLDATALOAD 000009ce: PUSH1 0x20 000009d0: PUSH2 0x09e0 000009d3: PUSH2 0x09db 000009d6: DUP4 000009d7: PUSH2 0x0999 000009da: JUMP 000009db: JUMPDEST 000009dc: PUSH2 0x0968 000009df: JUMP 000009e0: JUMPDEST 000009e1: DUP3 000009e2: DUP2 000009e3: MSTORE 000009e4: PUSH1 0x05 000009e6: SWAP3 000009e7: SWAP1 000009e8: SWAP3 000009e9: SHL 000009ea: DUP5 000009eb: ADD 000009ec: DUP2 000009ed: ADD 000009ee: SWAP2 000009ef: DUP2 000009f0: DUP2 000009f1: ADD 000009f2: SWAP1 000009f3: DUP7 000009f4: DUP5 000009f5: GT 000009f6: ISZERO 000009f7: PUSH2 0x09fe 000009fa: JUMPI 000009fb: PUSH0 000009fc: DUP1 000009fd: REVERT 000009fe: JUMPDEST 000009ff: DUP3 00000a00: DUP7 00000a01: ADD 00000a02: JUMPDEST 00000a03: DUP5 00000a04: DUP2 00000a05: LT 00000a06: ISZERO 00000a07: PUSH2 0x0a20 00000a0a: JUMPI 00000a0b: PUSH2 0x0a13 00000a0e: DUP2 00000a0f: PUSH2 0x08f1 00000a12: JUMP 00000a13: JUMPDEST 00000a14: DUP4 00000a15: MSTORE 00000a16: SWAP2 00000a17: DUP4 00000a18: ADD 00000a19: SWAP2 00000a1a: DUP4 00000a1b: ADD 00000a1c: PUSH2 0x0a02 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: POP 00000a22: SWAP7 00000a23: SWAP6 00000a24: POP 00000a25: POP 00000a26: POP 00000a27: POP 00000a28: POP 00000a29: POP 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: PUSH0 00000a2d: DUP3 00000a2e: PUSH1 0x1f 00000a30: DUP4 00000a31: ADD 00000a32: SLT 00000a33: PUSH2 0x0a3a 00000a36: JUMPI 00000a37: PUSH0 00000a38: DUP1 00000a39: REVERT 00000a3a: JUMPDEST 00000a3b: DUP2 00000a3c: CALLDATALOAD 00000a3d: PUSH1 0x20 00000a3f: PUSH2 0x0a4a 00000a42: PUSH2 0x09db 00000a45: DUP4 00000a46: PUSH2 0x0999 00000a49: JUMP 00000a4a: JUMPDEST 00000a4b: DUP3 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: PUSH1 0x05 00000a50: SWAP3 00000a51: SWAP1 00000a52: SWAP3 00000a53: SHL 00000a54: DUP5 00000a55: ADD 00000a56: DUP2 00000a57: ADD 00000a58: SWAP2 00000a59: DUP2 00000a5a: DUP2 00000a5b: ADD 00000a5c: SWAP1 00000a5d: DUP7 00000a5e: DUP5 00000a5f: GT 00000a60: ISZERO 00000a61: PUSH2 0x0a68 00000a64: JUMPI 00000a65: PUSH0 00000a66: DUP1 00000a67: REVERT 00000a68: JUMPDEST 00000a69: DUP3 00000a6a: DUP7 00000a6b: ADD 00000a6c: JUMPDEST 00000a6d: DUP5 00000a6e: DUP2 00000a6f: LT 00000a70: ISZERO 00000a71: PUSH2 0x0a20 00000a74: JUMPI 00000a75: PUSH2 0x0a7d 00000a78: DUP2 00000a79: PUSH2 0x092c 00000a7c: JUMP 00000a7d: JUMPDEST 00000a7e: DUP4 00000a7f: MSTORE 00000a80: SWAP2 00000a81: DUP4 00000a82: ADD 00000a83: SWAP2 00000a84: DUP4 00000a85: ADD 00000a86: PUSH2 0x0a6c 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: PUSH0 00000a8c: DUP1 00000a8d: PUSH1 0x40 00000a8f: DUP4 00000a90: DUP6 00000a91: SUB 00000a92: SLT 00000a93: ISZERO 00000a94: PUSH2 0x0a9b 00000a97: JUMPI 00000a98: PUSH0 00000a99: DUP1 00000a9a: REVERT 00000a9b: JUMPDEST 00000a9c: DUP3 00000a9d: CALLDATALOAD 00000a9e: PUSH8 0xffffffffffffffff 00000aa7: DUP1 00000aa8: DUP3 00000aa9: GT 00000aaa: ISZERO 00000aab: PUSH2 0x0ab2 00000aae: JUMPI 00000aaf: PUSH0 00000ab0: DUP1 00000ab1: REVERT 00000ab2: JUMPDEST 00000ab3: PUSH2 0x0abe 00000ab6: DUP7 00000ab7: DUP4 00000ab8: DUP8 00000ab9: ADD 00000aba: PUSH2 0x09bc 00000abd: JUMP 00000abe: JUMPDEST 00000abf: SWAP4 00000ac0: POP 00000ac1: PUSH1 0x20 00000ac3: DUP6 00000ac4: ADD 00000ac5: CALLDATALOAD 00000ac6: SWAP2 00000ac7: POP 00000ac8: DUP1 00000ac9: DUP3 00000aca: GT 00000acb: ISZERO 00000acc: PUSH2 0x0ad3 00000acf: JUMPI 00000ad0: PUSH0 00000ad1: DUP1 00000ad2: REVERT 00000ad3: JUMPDEST 00000ad4: POP 00000ad5: PUSH2 0x0ae0 00000ad8: DUP6 00000ad9: DUP3 00000ada: DUP7 00000adb: ADD 00000adc: PUSH2 0x0a2b 00000adf: JUMP 00000ae0: JUMPDEST 00000ae1: SWAP2 00000ae2: POP 00000ae3: POP 00000ae4: SWAP3 00000ae5: POP 00000ae6: SWAP3 00000ae7: SWAP1 00000ae8: POP 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH0 00000aec: DUP3 00000aed: PUSH1 0x1f 00000aef: DUP4 00000af0: ADD 00000af1: SLT 00000af2: PUSH2 0x0af9 00000af5: JUMPI 00000af6: PUSH0 00000af7: DUP1 00000af8: REVERT 00000af9: JUMPDEST 00000afa: DUP2 00000afb: CALLDATALOAD 00000afc: PUSH1 0x20 00000afe: PUSH2 0x0b09 00000b01: PUSH2 0x09db 00000b04: DUP4 00000b05: PUSH2 0x0999 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: DUP3 00000b0b: DUP2 00000b0c: MSTORE 00000b0d: PUSH1 0x05 00000b0f: SWAP3 00000b10: SWAP1 00000b11: SWAP3 00000b12: SHL 00000b13: DUP5 00000b14: ADD 00000b15: DUP2 00000b16: ADD 00000b17: SWAP2 00000b18: DUP2 00000b19: DUP2 00000b1a: ADD 00000b1b: SWAP1 00000b1c: DUP7 00000b1d: DUP5 00000b1e: GT 00000b1f: ISZERO 00000b20: PUSH2 0x0b27 00000b23: JUMPI 00000b24: PUSH0 00000b25: DUP1 00000b26: REVERT 00000b27: JUMPDEST 00000b28: DUP3 00000b29: DUP7 00000b2a: ADD 00000b2b: JUMPDEST 00000b2c: DUP5 00000b2d: DUP2 00000b2e: LT 00000b2f: ISZERO 00000b30: PUSH2 0x0a20 00000b33: JUMPI 00000b34: DUP1 00000b35: CALLDATALOAD 00000b36: DUP4 00000b37: MSTORE 00000b38: SWAP2 00000b39: DUP4 00000b3a: ADD 00000b3b: SWAP2 00000b3c: DUP4 00000b3d: ADD 00000b3e: PUSH2 0x0b2b 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH0 00000b44: DUP1 00000b45: PUSH1 0x40 00000b47: DUP4 00000b48: DUP6 00000b49: SUB 00000b4a: SLT 00000b4b: ISZERO 00000b4c: PUSH2 0x0b53 00000b4f: JUMPI 00000b50: PUSH0 00000b51: DUP1 00000b52: REVERT 00000b53: JUMPDEST 00000b54: DUP3 00000b55: CALLDATALOAD 00000b56: PUSH8 0xffffffffffffffff 00000b5f: DUP1 00000b60: DUP3 00000b61: GT 00000b62: ISZERO 00000b63: PUSH2 0x0b6a 00000b66: JUMPI 00000b67: PUSH0 00000b68: DUP1 00000b69: REVERT 00000b6a: JUMPDEST 00000b6b: PUSH2 0x0b76 00000b6e: DUP7 00000b6f: DUP4 00000b70: DUP8 00000b71: ADD 00000b72: PUSH2 0x09bc 00000b75: JUMP 00000b76: JUMPDEST 00000b77: SWAP4 00000b78: POP 00000b79: PUSH1 0x20 00000b7b: DUP6 00000b7c: ADD 00000b7d: CALLDATALOAD 00000b7e: SWAP2 00000b7f: POP 00000b80: DUP1 00000b81: DUP3 00000b82: GT 00000b83: ISZERO 00000b84: PUSH2 0x0b8b 00000b87: JUMPI 00000b88: PUSH0 00000b89: DUP1 00000b8a: REVERT 00000b8b: JUMPDEST 00000b8c: POP 00000b8d: PUSH2 0x0ae0 00000b90: DUP6 00000b91: DUP3 00000b92: DUP7 00000b93: ADD 00000b94: PUSH2 0x0aea 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH0 00000b9a: DUP1 00000b9b: PUSH0 00000b9c: PUSH1 0x60 00000b9e: DUP5 00000b9f: DUP7 00000ba0: SUB 00000ba1: SLT 00000ba2: ISZERO 00000ba3: PUSH2 0x0baa 00000ba6: JUMPI 00000ba7: PUSH0 00000ba8: DUP1 00000ba9: REVERT 00000baa: JUMPDEST 00000bab: DUP4 00000bac: CALLDATALOAD 00000bad: PUSH8 0xffffffffffffffff 00000bb6: DUP1 00000bb7: DUP3 00000bb8: GT 00000bb9: ISZERO 00000bba: PUSH2 0x0bc1 00000bbd: JUMPI 00000bbe: PUSH0 00000bbf: DUP1 00000bc0: REVERT 00000bc1: JUMPDEST 00000bc2: PUSH2 0x0bcd 00000bc5: DUP8 00000bc6: DUP4 00000bc7: DUP9 00000bc8: ADD 00000bc9: PUSH2 0x09bc 00000bcc: JUMP 00000bcd: JUMPDEST 00000bce: SWAP5 00000bcf: POP 00000bd0: PUSH1 0x20 00000bd2: DUP7 00000bd3: ADD 00000bd4: CALLDATALOAD 00000bd5: SWAP2 00000bd6: POP 00000bd7: DUP1 00000bd8: DUP3 00000bd9: GT 00000bda: ISZERO 00000bdb: PUSH2 0x0be2 00000bde: JUMPI 00000bdf: PUSH0 00000be0: DUP1 00000be1: REVERT 00000be2: JUMPDEST 00000be3: PUSH2 0x0bee 00000be6: DUP8 00000be7: DUP4 00000be8: DUP9 00000be9: ADD 00000bea: PUSH2 0x0aea 00000bed: JUMP 00000bee: JUMPDEST 00000bef: SWAP4 00000bf0: POP 00000bf1: PUSH1 0x40 00000bf3: DUP7 00000bf4: ADD 00000bf5: CALLDATALOAD 00000bf6: SWAP2 00000bf7: POP 00000bf8: DUP1 00000bf9: DUP3 00000bfa: GT 00000bfb: ISZERO 00000bfc: PUSH2 0x0c03 00000bff: JUMPI 00000c00: PUSH0 00000c01: DUP1 00000c02: REVERT 00000c03: JUMPDEST 00000c04: POP 00000c05: PUSH2 0x0c10 00000c08: DUP7 00000c09: DUP3 00000c0a: DUP8 00000c0b: ADD 00000c0c: PUSH2 0x0a2b 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: SWAP2 00000c12: POP 00000c13: POP 00000c14: SWAP3 00000c15: POP 00000c16: SWAP3 00000c17: POP 00000c18: SWAP3 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: PUSH1 0x20 00000c1d: DUP1 00000c1e: DUP3 00000c1f: MSTORE 00000c20: PUSH1 0x26 00000c22: SWAP1 00000c23: DUP3 00000c24: ADD 00000c25: MSTORE 00000c26: PUSH32 0x496e70757420617272617973206d7573742068617665207468652073616d6520 00000c47: PUSH1 0x40 00000c49: DUP3 00000c4a: ADD 00000c4b: MSTORE 00000c4c: PUSH6 0x0d8cadccee8d 00000c53: PUSH1 0xd3 00000c55: SHL 00000c56: PUSH1 0x60 00000c58: DUP3 00000c59: ADD 00000c5a: MSTORE 00000c5b: PUSH1 0x80 00000c5d: ADD 00000c5e: SWAP1 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH4 0x4e487b71 00000c66: PUSH1 0xe0 00000c68: SHL 00000c69: PUSH0 00000c6a: MSTORE 00000c6b: PUSH1 0x32 00000c6d: PUSH1 0x04 00000c6f: MSTORE 00000c70: PUSH1 0x24 00000c72: PUSH0 00000c73: REVERT 00000c74: JUMPDEST 00000c75: PUSH0 00000c76: PUSH1 0x01 00000c78: DUP3 00000c79: ADD 00000c7a: PUSH2 0x0c91 00000c7d: JUMPI 00000c7e: PUSH4 0x4e487b71 00000c83: PUSH1 0xe0 00000c85: SHL 00000c86: PUSH0 00000c87: MSTORE 00000c88: PUSH1 0x11 00000c8a: PUSH1 0x04 00000c8c: MSTORE 00000c8d: PUSH1 0x24 00000c8f: PUSH0 00000c90: REVERT 00000c91: JUMPDEST 00000c92: POP 00000c93: PUSH1 0x01 00000c95: ADD 00000c96: SWAP1 00000c97: JUMP 00000c98: INVALID 00000c99: LOG2 00000c9a: PUSH5 0x6970667358 00000ca0: UNKNOWN(0x22) 00000ca1: SLT 00000ca2: KECCAK256 00000ca3: UNKNOWN(0xEE) 00000ca4: UNKNOWN(0x0F) 00000ca5: EXTCODECOPY 00000ca6: PUSH31 0xdcaad8007fe7803ddfed2b65369ba8a49298f619f6234c472cd4269264736f 00000cc6: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x08864f3f1c1ae30dddba9be5f6204c27bbbbbe3368b2aa95290be687a5b2be0c
call_targets:
0xc5bae4c954bf76f7540a64f5c0da9144dc0517af
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x08864f3f1c1ae30dddba9be5f6204c27bbbbbe3368b2aa95290be687a5b2be0c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc5bae4c954bf76f7540a64f5c0da9144dc0517af"
],
"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": "0xbe040fb0",
"selector": "0xbe040fb0",
"calldata_variants": [
"0xbe040fb0",
"0xbe040fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcde01542",
"selector": "0xcde01542",
"calldata_variants": [
"0xcde01542",
"0xcde015420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcff454af",
"selector": "0xcff454af",
"calldata_variants": [
"0xcff454af",
"0xcff454af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2f82536",
"selector": "0xd2f82536",
"calldata_variants": [
"0xd2f82536",
"0xd2f825360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbfba65e",
"selector": "0xfbfba65e",
"calldata_variants": [
"0xfbfba65e",
"0xfbfba65e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39166ee9",
"selector": "0x39166ee9",
"calldata_variants": [
"0x39166ee9",
"0x39166ee90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1340,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x08864f3f1c1ae30dddba9be5f6204c27bbbbbe3368b2aa95290be687a5b2be0c
call_targets:
0xc5bae4c954bf76f7540a64f5c0da9144dc0517af
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x08864f3f1c1ae30dddba9be5f6204c27bbbbbe3368b2aa95290be687a5b2be0c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc5bae4c954bf76f7540a64f5c0da9144dc0517af"
],
"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": "0xbe040fb0",
"selector": "0xbe040fb0",
"calldata_variants": [
"0xbe040fb0",
"0xbe040fb00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcde01542",
"selector": "0xcde01542",
"calldata_variants": [
"0xcde01542",
"0xcde015420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcff454af",
"selector": "0xcff454af",
"calldata_variants": [
"0xcff454af",
"0xcff454af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2f82536",
"selector": "0xd2f82536",
"calldata_variants": [
"0xd2f82536",
"0xd2f825360000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfbfba65e",
"selector": "0xfbfba65e",
"calldata_variants": [
"0xfbfba65e",
"0xfbfba65e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39166ee9",
"selector": "0x39166ee9",
"calldata_variants": [
"0x39166ee9",
"0x39166ee90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 710,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1340,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|