019ba92a-2f22-70be-9c81-0e09847c5ec9
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 |
|---|---|---|---|---|
| 35662 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35663 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35664 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35665 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35666 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35667 | detector.run | complete | 1 / 3 | 3 months ago |
| 35668 | 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: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x010a 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x8da5cb5b 00000026: GT 00000027: PUSH2 0x00a2 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xdb205635 00000031: GT 00000032: PUSH2 0x0071 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xdb205635 0000003c: EQ 0000003d: PUSH2 0x023e 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xde6acf07 00000047: EQ 00000048: PUSH2 0x0251 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xe30c3978 00000052: EQ 00000053: PUSH2 0x0264 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xe8da302c 0000005d: EQ 0000005e: PUSH2 0x0277 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xf2fde38b 00000068: EQ 00000069: PUSH2 0x028a 0000006c: JUMPI 0000006d: PUSH1 0x00 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: DUP1 00000073: PUSH4 0x8da5cb5b 00000078: EQ 00000079: PUSH2 0x01c3 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xae9a6808 00000083: EQ 00000084: PUSH2 0x01e8 00000087: JUMPI 00000088: DUP1 00000089: PUSH4 0xbc6cc417 0000008e: EQ 0000008f: PUSH2 0x0208 00000092: JUMPI 00000093: DUP1 00000094: PUSH4 0xd0516650 00000099: EQ 0000009a: PUSH2 0x021b 0000009d: JUMPI 0000009e: PUSH1 0x00 000000a0: DUP1 000000a1: REVERT 000000a2: JUMPDEST 000000a3: DUP1 000000a4: PUSH4 0x5920be59 000000a9: GT 000000aa: PUSH2 0x00de 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x5920be59 000000b4: EQ 000000b5: PUSH2 0x0172 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x70ae92d2 000000bf: EQ 000000c0: PUSH2 0x0185 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x715018a6 000000ca: EQ 000000cb: PUSH2 0x01b3 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x79ba5097 000000d5: EQ 000000d6: PUSH2 0x01bb 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: DUP1 000000e0: PUSH3 0x33f183 000000e4: EQ 000000e5: PUSH2 0x010f 000000e8: JUMPI 000000e9: DUP1 000000ea: PUSH4 0x12d18ed6 000000ef: EQ 000000f0: PUSH2 0x0124 000000f3: JUMPI 000000f4: DUP1 000000f5: PUSH4 0x53434816 000000fa: EQ 000000fb: PUSH2 0x0137 000000fe: JUMPI 000000ff: DUP1 00000100: PUSH4 0x562beba8 00000105: EQ 00000106: PUSH2 0x014a 00000109: JUMPI 0000010a: JUMPDEST 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: PUSH2 0x0122 00000113: PUSH2 0x011d 00000116: CALLDATASIZE 00000117: PUSH1 0x04 00000119: PUSH2 0x105d 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x029d 00000121: JUMP 00000122: JUMPDEST 00000123: STOP 00000124: JUMPDEST 00000125: PUSH2 0x0122 00000128: PUSH2 0x0132 0000012b: CALLDATASIZE 0000012c: PUSH1 0x04 0000012e: PUSH2 0x10c4 00000131: JUMP 00000132: JUMPDEST 00000133: PUSH2 0x039c 00000136: JUMP 00000137: JUMPDEST 00000138: PUSH2 0x0122 0000013b: PUSH2 0x0145 0000013e: CALLDATASIZE 0000013f: PUSH1 0x04 00000141: PUSH2 0x113c 00000144: JUMP 00000145: JUMPDEST 00000146: PUSH2 0x063b 00000149: JUMP 0000014a: JUMPDEST 0000014b: PUSH2 0x015d 0000014e: PUSH2 0x0158 00000151: CALLDATASIZE 00000152: PUSH1 0x04 00000154: PUSH2 0x117e 00000157: JUMP 00000158: JUMPDEST 00000159: PUSH2 0x06e1 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: SWAP1 00000162: ISZERO 00000163: ISZERO 00000164: DUP2 00000165: MSTORE 00000166: PUSH1 0x20 00000168: ADD 00000169: JUMPDEST 0000016a: PUSH1 0x40 0000016c: MLOAD 0000016d: DUP1 0000016e: SWAP2 0000016f: SUB 00000170: SWAP1 00000171: RETURN 00000172: JUMPDEST 00000173: PUSH2 0x0122 00000176: PUSH2 0x0180 00000179: CALLDATASIZE 0000017a: PUSH1 0x04 0000017c: PUSH2 0x11a8 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH2 0x0729 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH2 0x01a5 00000189: PUSH2 0x0193 0000018c: CALLDATASIZE 0000018d: PUSH1 0x04 0000018f: PUSH2 0x105d 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH1 0x06 00000196: PUSH1 0x20 00000198: MSTORE 00000199: PUSH1 0x00 0000019b: SWAP1 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x40 000001a0: SWAP1 000001a1: KECCAK256 000001a2: SLOAD 000001a3: DUP2 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH1 0x40 000001a8: MLOAD 000001a9: SWAP1 000001aa: DUP2 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: ADD 000001af: PUSH2 0x0169 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH2 0x0122 000001b7: PUSH2 0x080f 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH2 0x0122 000001bf: PUSH2 0x0845 000001c2: JUMP 000001c3: JUMPDEST 000001c4: PUSH1 0x00 000001c6: SLOAD 000001c7: PUSH1 0x01 000001c9: PUSH1 0x01 000001cb: PUSH1 0xa0 000001cd: SHL 000001ce: SUB 000001cf: AND 000001d0: JUMPDEST 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: PUSH1 0x01 000001d6: PUSH1 0x01 000001d8: PUSH1 0xa0 000001da: SHL 000001db: SUB 000001dc: SWAP1 000001dd: SWAP2 000001de: AND 000001df: DUP2 000001e0: MSTORE 000001e1: PUSH1 0x20 000001e3: ADD 000001e4: PUSH2 0x0169 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH2 0x01a5 000001ec: PUSH2 0x01f6 000001ef: CALLDATASIZE 000001f0: PUSH1 0x04 000001f2: PUSH2 0x105d 000001f5: JUMP 000001f6: JUMPDEST 000001f7: PUSH1 0x04 000001f9: PUSH1 0x20 000001fb: MSTORE 000001fc: PUSH1 0x00 000001fe: SWAP1 000001ff: DUP2 00000200: MSTORE 00000201: PUSH1 0x40 00000203: SWAP1 00000204: KECCAK256 00000205: SLOAD 00000206: DUP2 00000207: JUMP 00000208: JUMPDEST 00000209: PUSH2 0x0122 0000020c: PUSH2 0x0216 0000020f: CALLDATASIZE 00000210: PUSH1 0x04 00000212: PUSH2 0x117e 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH2 0x08ce 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x015d 0000021f: PUSH2 0x0229 00000222: CALLDATASIZE 00000223: PUSH1 0x04 00000225: PUSH2 0x105d 00000228: JUMP 00000229: JUMPDEST 0000022a: PUSH1 0x07 0000022c: PUSH1 0x20 0000022e: MSTORE 0000022f: PUSH1 0x00 00000231: SWAP1 00000232: DUP2 00000233: MSTORE 00000234: PUSH1 0x40 00000236: SWAP1 00000237: KECCAK256 00000238: SLOAD 00000239: PUSH1 0xff 0000023b: AND 0000023c: DUP2 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x03 00000241: SLOAD 00000242: PUSH2 0x01d0 00000245: SWAP1 00000246: PUSH1 0x01 00000248: PUSH1 0x01 0000024a: PUSH1 0xa0 0000024c: SHL 0000024d: SUB 0000024e: AND 0000024f: DUP2 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH2 0x0122 00000255: PUSH2 0x025f 00000258: CALLDATASIZE 00000259: PUSH1 0x04 0000025b: PUSH2 0x105d 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH2 0x0a2e 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH1 0x01 00000267: SLOAD 00000268: PUSH2 0x01d0 0000026b: SWAP1 0000026c: PUSH1 0x01 0000026e: PUSH1 0x01 00000270: PUSH1 0xa0 00000272: SHL 00000273: SUB 00000274: AND 00000275: DUP2 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH2 0x0122 0000027b: PUSH2 0x0285 0000027e: CALLDATASIZE 0000027f: PUSH1 0x04 00000281: PUSH2 0x1214 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH2 0x0ad1 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH2 0x0122 0000028e: PUSH2 0x0298 00000291: CALLDATASIZE 00000292: PUSH1 0x04 00000294: PUSH2 0x105d 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH2 0x0be9 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x03 000002a0: SLOAD 000002a1: PUSH1 0x01 000002a3: PUSH1 0x01 000002a5: PUSH1 0xa0 000002a7: SHL 000002a8: SUB 000002a9: AND 000002aa: CALLER 000002ab: EQ 000002ac: DUP1 000002ad: ISZERO 000002ae: SWAP1 000002af: PUSH2 0x02c3 000002b2: JUMPI 000002b3: POP 000002b4: PUSH1 0x00 000002b6: SLOAD 000002b7: PUSH1 0x01 000002b9: PUSH1 0x01 000002bb: PUSH1 0xa0 000002bd: SHL 000002be: SUB 000002bf: AND 000002c0: CALLER 000002c1: EQ 000002c2: ISZERO 000002c3: JUMPDEST 000002c4: ISZERO 000002c5: PUSH2 0x02e1 000002c8: JUMPI 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: PUSH4 0x015783e9 000002d1: PUSH1 0xe5 000002d3: SHL 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x04 000002d8: ADD 000002d9: PUSH1 0x40 000002db: MLOAD 000002dc: DUP1 000002dd: SWAP2 000002de: SUB 000002df: SWAP1 000002e0: REVERT 000002e1: JUMPDEST 000002e2: PUSH1 0x01 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: SHL 000002e9: SUB 000002ea: DUP2 000002eb: AND 000002ec: PUSH2 0x0308 000002ef: JUMPI 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: PUSH4 0xd92e233d 000002f8: PUSH1 0xe0 000002fa: SHL 000002fb: DUP2 000002fc: MSTORE 000002fd: PUSH1 0x04 000002ff: ADD 00000300: PUSH1 0x40 00000302: MLOAD 00000303: DUP1 00000304: SWAP2 00000305: SUB 00000306: SWAP1 00000307: REVERT 00000308: JUMPDEST 00000309: PUSH1 0x01 0000030b: PUSH1 0x01 0000030d: PUSH1 0xa0 0000030f: SHL 00000310: SUB 00000311: DUP2 00000312: AND 00000313: PUSH1 0x00 00000315: SWAP1 00000316: DUP2 00000317: MSTORE 00000318: PUSH1 0x07 0000031a: PUSH1 0x20 0000031c: MSTORE 0000031d: PUSH1 0x40 0000031f: SWAP1 00000320: KECCAK256 00000321: SLOAD 00000322: PUSH1 0xff 00000324: AND 00000325: ISZERO 00000326: PUSH2 0x0342 00000329: JUMPI 0000032a: PUSH1 0x40 0000032c: MLOAD 0000032d: PUSH4 0x2944b29f 00000332: PUSH1 0xe1 00000334: SHL 00000335: DUP2 00000336: MSTORE 00000337: PUSH1 0x04 00000339: ADD 0000033a: PUSH1 0x40 0000033c: MLOAD 0000033d: DUP1 0000033e: SWAP2 0000033f: SUB 00000340: SWAP1 00000341: REVERT 00000342: JUMPDEST 00000343: PUSH1 0x01 00000345: PUSH1 0x01 00000347: PUSH1 0xa0 00000349: SHL 0000034a: SUB 0000034b: DUP2 0000034c: AND 0000034d: PUSH1 0x00 0000034f: DUP2 00000350: DUP2 00000351: MSTORE 00000352: PUSH1 0x07 00000354: PUSH1 0x20 00000356: SWAP1 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x40 0000035b: DUP1 0000035c: DUP4 0000035d: KECCAK256 0000035e: DUP1 0000035f: SLOAD 00000360: PUSH1 0xff 00000362: NOT 00000363: AND 00000364: PUSH1 0x01 00000366: OR 00000367: SWAP1 00000368: SSTORE 00000369: PUSH1 0x06 0000036b: SWAP1 0000036c: SWAP2 0000036d: MSTORE 0000036e: DUP1 0000036f: DUP3 00000370: KECCAK256 00000371: SLOAD 00000372: SWAP1 00000373: MLOAD 00000374: SWAP1 00000375: SWAP3 00000376: SWAP2 00000377: PUSH32 0x6fc2e87560262acdf5646a9dc9ebc5f3759a13652694b46f365f6300151cae0f 00000398: SWAP2 00000399: LOG3 0000039a: POP 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x02 0000039f: DUP1 000003a0: SLOAD 000003a1: EQ 000003a2: ISZERO 000003a3: PUSH2 0x03f3 000003a6: JUMPI 000003a7: PUSH1 0x40 000003a9: MLOAD 000003aa: PUSH3 0x461bcd 000003ae: PUSH1 0xe5 000003b0: SHL 000003b1: DUP2 000003b2: MSTORE 000003b3: PUSH1 0x20 000003b5: PUSH1 0x04 000003b7: DUP3 000003b8: ADD 000003b9: MSTORE 000003ba: PUSH1 0x1f 000003bc: PUSH1 0x24 000003be: DUP3 000003bf: ADD 000003c0: MSTORE 000003c1: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000003e2: PUSH1 0x44 000003e4: DUP3 000003e5: ADD 000003e6: MSTORE 000003e7: PUSH1 0x64 000003e9: ADD 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: DUP1 000003ef: SWAP2 000003f0: SUB 000003f1: SWAP1 000003f2: REVERT 000003f3: JUMPDEST 000003f4: PUSH1 0x02 000003f6: DUP1 000003f7: SSTORE 000003f8: PUSH1 0x01 000003fa: PUSH1 0x01 000003fc: PUSH1 0xa0 000003fe: SHL 000003ff: SUB 00000400: DUP5 00000401: AND 00000402: ISZERO 00000403: DUP1 00000404: PUSH2 0x0414 00000407: JUMPI 00000408: POP 00000409: PUSH1 0x01 0000040b: PUSH1 0x01 0000040d: PUSH1 0xa0 0000040f: SHL 00000410: SUB 00000411: DUP7 00000412: AND 00000413: ISZERO 00000414: JUMPDEST 00000415: ISZERO 00000416: PUSH2 0x0432 00000419: JUMPI 0000041a: PUSH1 0x40 0000041c: MLOAD 0000041d: PUSH4 0xd92e233d 00000422: PUSH1 0xe0 00000424: SHL 00000425: DUP2 00000426: MSTORE 00000427: PUSH1 0x04 00000429: ADD 0000042a: PUSH1 0x40 0000042c: MLOAD 0000042d: DUP1 0000042e: SWAP2 0000042f: SUB 00000430: SWAP1 00000431: REVERT 00000432: JUMPDEST 00000433: PUSH1 0x01 00000435: PUSH1 0x01 00000437: PUSH1 0xa0 00000439: SHL 0000043a: SUB 0000043b: DUP7 0000043c: AND 0000043d: PUSH1 0x00 0000043f: SWAP1 00000440: DUP2 00000441: MSTORE 00000442: PUSH1 0x04 00000444: PUSH1 0x20 00000446: MSTORE 00000447: PUSH1 0x40 00000449: SWAP1 0000044a: KECCAK256 0000044b: SLOAD 0000044c: PUSH2 0x0468 0000044f: JUMPI 00000450: PUSH1 0x40 00000452: MLOAD 00000453: PUSH4 0xbc68df3f 00000458: PUSH1 0xe0 0000045a: SHL 0000045b: DUP2 0000045c: MSTORE 0000045d: PUSH1 0x04 0000045f: ADD 00000460: PUSH1 0x40 00000462: MLOAD 00000463: DUP1 00000464: SWAP2 00000465: SUB 00000466: SWAP1 00000467: REVERT 00000468: JUMPDEST 00000469: PUSH1 0x01 0000046b: PUSH1 0x01 0000046d: PUSH1 0xa0 0000046f: SHL 00000470: SUB 00000471: DUP7 00000472: AND 00000473: PUSH1 0x00 00000475: SWAP1 00000476: DUP2 00000477: MSTORE 00000478: PUSH1 0x07 0000047a: PUSH1 0x20 0000047c: MSTORE 0000047d: PUSH1 0x40 0000047f: SWAP1 00000480: KECCAK256 00000481: SLOAD 00000482: PUSH1 0xff 00000484: AND 00000485: ISZERO 00000486: PUSH2 0x04a2 00000489: JUMPI 0000048a: PUSH1 0x40 0000048c: MLOAD 0000048d: PUSH4 0xd5e5fc05 00000492: PUSH1 0xe0 00000494: SHL 00000495: DUP2 00000496: MSTORE 00000497: PUSH1 0x04 00000499: ADD 0000049a: PUSH1 0x40 0000049c: MLOAD 0000049d: DUP1 0000049e: SWAP2 0000049f: SUB 000004a0: SWAP1 000004a1: REVERT 000004a2: JUMPDEST 000004a3: PUSH2 0x04ac 000004a6: DUP7 000004a7: DUP7 000004a8: PUSH2 0x06e1 000004ab: JUMP 000004ac: JUMPDEST 000004ad: ISZERO 000004ae: PUSH2 0x04ca 000004b1: JUMPI 000004b2: PUSH1 0x40 000004b4: MLOAD 000004b5: PUSH4 0x0c8d9eab 000004ba: PUSH1 0xe3 000004bc: SHL 000004bd: DUP2 000004be: MSTORE 000004bf: PUSH1 0x04 000004c1: ADD 000004c2: PUSH1 0x40 000004c4: MLOAD 000004c5: DUP1 000004c6: SWAP2 000004c7: SUB 000004c8: SWAP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: PUSH1 0x40 000004cd: DUP1 000004ce: MLOAD 000004cf: PUSH1 0x20 000004d1: DUP2 000004d2: ADD 000004d3: DUP8 000004d4: SWAP1 000004d5: MSTORE 000004d6: PUSH12 0xffffffffffffffffffffffff 000004e3: NOT 000004e4: PUSH1 0x60 000004e6: DUP8 000004e7: SWAP1 000004e8: SHL 000004e9: AND 000004ea: SWAP2 000004eb: DUP2 000004ec: ADD 000004ed: SWAP2 000004ee: SWAP1 000004ef: SWAP2 000004f0: MSTORE 000004f1: PUSH1 0x54 000004f3: DUP2 000004f4: ADD 000004f5: DUP5 000004f6: SWAP1 000004f7: MSTORE 000004f8: PUSH1 0x00 000004fa: SWAP1 000004fb: PUSH1 0x74 000004fd: ADD 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: PUSH1 0x20 00000503: DUP2 00000504: DUP4 00000505: SUB 00000506: SUB 00000507: DUP2 00000508: MSTORE 00000509: SWAP1 0000050a: PUSH1 0x40 0000050c: MSTORE 0000050d: DUP1 0000050e: MLOAD 0000050f: SWAP1 00000510: PUSH1 0x20 00000512: ADD 00000513: KECCAK256 00000514: SWAP1 00000515: POP 00000516: PUSH2 0x0569 00000519: DUP4 0000051a: DUP4 0000051b: DUP1 0000051c: DUP1 0000051d: PUSH1 0x20 0000051f: MUL 00000520: PUSH1 0x20 00000522: ADD 00000523: PUSH1 0x40 00000525: MLOAD 00000526: SWAP1 00000527: DUP2 00000528: ADD 00000529: PUSH1 0x40 0000052b: MSTORE 0000052c: DUP1 0000052d: SWAP4 0000052e: SWAP3 0000052f: SWAP2 00000530: SWAP1 00000531: DUP2 00000532: DUP2 00000533: MSTORE 00000534: PUSH1 0x20 00000536: ADD 00000537: DUP4 00000538: DUP4 00000539: PUSH1 0x20 0000053b: MUL 0000053c: DUP1 0000053d: DUP3 0000053e: DUP5 0000053f: CALLDATACOPY 00000540: PUSH1 0x00 00000542: SWAP3 00000543: ADD 00000544: DUP3 00000545: SWAP1 00000546: MSTORE 00000547: POP 00000548: PUSH1 0x01 0000054a: PUSH1 0x01 0000054c: PUSH1 0xa0 0000054e: SHL 0000054f: SUB 00000550: DUP14 00000551: AND 00000552: DUP2 00000553: MSTORE 00000554: PUSH1 0x04 00000556: PUSH1 0x20 00000558: MSTORE 00000559: PUSH1 0x40 0000055b: SWAP1 0000055c: KECCAK256 0000055d: SLOAD 0000055e: SWAP3 0000055f: POP 00000560: DUP6 00000561: SWAP2 00000562: POP 00000563: PUSH2 0x0cbb 00000566: SWAP1 00000567: POP 00000568: JUMP 00000569: JUMPDEST 0000056a: PUSH2 0x0586 0000056d: JUMPI 0000056e: PUSH1 0x40 00000570: MLOAD 00000571: PUSH4 0x09bde339 00000576: PUSH1 0xe0 00000578: SHL 00000579: DUP2 0000057a: MSTORE 0000057b: PUSH1 0x04 0000057d: ADD 0000057e: PUSH1 0x40 00000580: MLOAD 00000581: DUP1 00000582: SWAP2 00000583: SUB 00000584: SWAP1 00000585: REVERT 00000586: JUMPDEST 00000587: PUSH1 0x01 00000589: PUSH1 0x01 0000058b: PUSH1 0xa0 0000058d: SHL 0000058e: SUB 0000058f: DUP8 00000590: AND 00000591: PUSH1 0x00 00000593: DUP2 00000594: DUP2 00000595: MSTORE 00000596: PUSH1 0x06 00000598: PUSH1 0x20 0000059a: SWAP1 0000059b: DUP2 0000059c: MSTORE 0000059d: PUSH1 0x40 0000059f: DUP1 000005a0: DUP4 000005a1: KECCAK256 000005a2: SLOAD 000005a3: PUSH1 0x05 000005a5: DUP4 000005a6: MSTORE 000005a7: DUP2 000005a8: DUP5 000005a9: KECCAK256 000005aa: SWAP1 000005ab: DUP5 000005ac: MSTORE 000005ad: DUP3 000005ae: MSTORE 000005af: DUP1 000005b0: DUP4 000005b1: KECCAK256 000005b2: PUSH1 0x08 000005b4: DUP12 000005b5: SWAP1 000005b6: SHR 000005b7: DUP5 000005b8: MSTORE 000005b9: SWAP1 000005ba: SWAP2 000005bb: MSTORE 000005bc: SWAP1 000005bd: KECCAK256 000005be: DUP1 000005bf: SLOAD 000005c0: PUSH1 0x01 000005c2: PUSH1 0xff 000005c4: DUP11 000005c5: AND 000005c6: SHL 000005c7: OR 000005c8: SWAP1 000005c9: SSTORE 000005ca: PUSH2 0x05d4 000005cd: SWAP1 000005ce: DUP7 000005cf: DUP7 000005d0: PUSH2 0x0cd3 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x01 000005d7: PUSH1 0x01 000005d9: PUSH1 0xa0 000005db: SHL 000005dc: SUB 000005dd: DUP8 000005de: DUP2 000005df: AND 000005e0: PUSH1 0x00 000005e2: DUP2 000005e3: DUP2 000005e4: MSTORE 000005e5: PUSH1 0x06 000005e7: PUSH1 0x20 000005e9: SWAP1 000005ea: DUP2 000005eb: MSTORE 000005ec: PUSH1 0x40 000005ee: SWAP2 000005ef: DUP3 000005f0: SWAP1 000005f1: KECCAK256 000005f2: SLOAD 000005f3: DUP3 000005f4: MLOAD 000005f5: DUP12 000005f6: DUP2 000005f7: MSTORE 000005f8: SWAP2 000005f9: DUP3 000005fa: ADD 000005fb: DUP10 000005fc: SWAP1 000005fd: MSTORE 000005fe: SWAP4 000005ff: DUP10 00000600: AND 00000601: SWAP3 00000602: SWAP2 00000603: PUSH32 0x7844b7eab4ee04c913dcbd13470fe9a8a84a32d92b9622279e492da597fa658a 00000624: SWAP2 00000625: ADD 00000626: PUSH1 0x40 00000628: MLOAD 00000629: DUP1 0000062a: SWAP2 0000062b: SUB 0000062c: SWAP1 0000062d: LOG4 0000062e: POP 0000062f: POP 00000630: PUSH1 0x01 00000632: PUSH1 0x02 00000634: SSTORE 00000635: POP 00000636: POP 00000637: POP 00000638: POP 00000639: POP 0000063a: JUMP 0000063b: JUMPDEST 0000063c: PUSH1 0x03 0000063e: SLOAD 0000063f: PUSH1 0x01 00000641: PUSH1 0x01 00000643: PUSH1 0xa0 00000645: SHL 00000646: SUB 00000647: AND 00000648: CALLER 00000649: EQ 0000064a: DUP1 0000064b: ISZERO 0000064c: SWAP1 0000064d: PUSH2 0x0661 00000650: JUMPI 00000651: POP 00000652: PUSH1 0x00 00000654: SLOAD 00000655: PUSH1 0x01 00000657: PUSH1 0x01 00000659: PUSH1 0xa0 0000065b: SHL 0000065c: SUB 0000065d: AND 0000065e: CALLER 0000065f: EQ 00000660: ISZERO 00000661: JUMPDEST 00000662: ISZERO 00000663: PUSH2 0x067f 00000666: JUMPI 00000667: PUSH1 0x40 00000669: MLOAD 0000066a: PUSH4 0x015783e9 0000066f: PUSH1 0xe5 00000671: SHL 00000672: DUP2 00000673: MSTORE 00000674: PUSH1 0x04 00000676: ADD 00000677: PUSH1 0x40 00000679: MLOAD 0000067a: DUP1 0000067b: SWAP2 0000067c: SUB 0000067d: SWAP1 0000067e: REVERT 0000067f: JUMPDEST 00000680: DUP1 00000681: DUP1 00000682: PUSH2 0x069e 00000685: JUMPI 00000686: PUSH1 0x40 00000688: MLOAD 00000689: PUSH4 0x521299a9 0000068e: PUSH1 0xe0 00000690: SHL 00000691: DUP2 00000692: MSTORE 00000693: PUSH1 0x04 00000695: ADD 00000696: PUSH1 0x40 00000698: MLOAD 00000699: DUP1 0000069a: SWAP2 0000069b: SUB 0000069c: SWAP1 0000069d: REVERT 0000069e: JUMPDEST 0000069f: PUSH1 0x00 000006a1: JUMPDEST 000006a2: DUP2 000006a3: DUP2 000006a4: LT 000006a5: ISZERO 000006a6: PUSH2 0x06db 000006a9: JUMPI 000006aa: PUSH2 0x06d3 000006ad: DUP5 000006ae: DUP5 000006af: DUP4 000006b0: DUP2 000006b1: DUP2 000006b2: LT 000006b3: PUSH2 0x06be 000006b6: JUMPI 000006b7: PUSH2 0x06be 000006ba: PUSH2 0x1267 000006bd: JUMP 000006be: JUMPDEST 000006bf: SWAP1 000006c0: POP 000006c1: PUSH1 0x20 000006c3: MUL 000006c4: ADD 000006c5: PUSH1 0x20 000006c7: DUP2 000006c8: ADD 000006c9: SWAP1 000006ca: PUSH2 0x011d 000006cd: SWAP2 000006ce: SWAP1 000006cf: PUSH2 0x105d 000006d2: JUMP 000006d3: JUMPDEST 000006d4: PUSH1 0x01 000006d6: ADD 000006d7: PUSH2 0x06a1 000006da: JUMP 000006db: JUMPDEST 000006dc: POP 000006dd: POP 000006de: POP 000006df: POP 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH1 0x01 000006e4: PUSH1 0x01 000006e6: PUSH1 0xa0 000006e8: SHL 000006e9: SUB 000006ea: DUP3 000006eb: AND 000006ec: PUSH1 0x00 000006ee: SWAP1 000006ef: DUP2 000006f0: MSTORE 000006f1: PUSH1 0x06 000006f3: PUSH1 0x20 000006f5: SWAP1 000006f6: DUP2 000006f7: MSTORE 000006f8: PUSH1 0x40 000006fa: DUP1 000006fb: DUP4 000006fc: KECCAK256 000006fd: SLOAD 000006fe: PUSH1 0x05 00000700: DUP4 00000701: MSTORE 00000702: DUP2 00000703: DUP5 00000704: KECCAK256 00000705: SWAP1 00000706: DUP5 00000707: MSTORE 00000708: DUP3 00000709: MSTORE 0000070a: DUP1 0000070b: DUP4 0000070c: KECCAK256 0000070d: PUSH1 0x08 0000070f: DUP6 00000710: SWAP1 00000711: SHR 00000712: DUP5 00000713: MSTORE 00000714: SWAP1 00000715: SWAP2 00000716: MSTORE 00000717: SWAP1 00000718: KECCAK256 00000719: SLOAD 0000071a: PUSH1 0x01 0000071c: PUSH1 0xff 0000071e: DUP4 0000071f: AND 00000720: SHL 00000721: AND 00000722: ISZERO 00000723: ISZERO 00000724: SWAP3 00000725: SWAP2 00000726: POP 00000727: POP 00000728: JUMP 00000729: JUMPDEST 0000072a: PUSH1 0x03 0000072c: SLOAD 0000072d: PUSH1 0x01 0000072f: PUSH1 0x01 00000731: PUSH1 0xa0 00000733: SHL 00000734: SUB 00000735: AND 00000736: CALLER 00000737: EQ 00000738: DUP1 00000739: ISZERO 0000073a: SWAP1 0000073b: PUSH2 0x074f 0000073e: JUMPI 0000073f: POP 00000740: PUSH1 0x00 00000742: SLOAD 00000743: PUSH1 0x01 00000745: PUSH1 0x01 00000747: PUSH1 0xa0 00000749: SHL 0000074a: SUB 0000074b: AND 0000074c: CALLER 0000074d: EQ 0000074e: ISZERO 0000074f: JUMPDEST 00000750: ISZERO 00000751: PUSH2 0x076d 00000754: JUMPI 00000755: PUSH1 0x40 00000757: MLOAD 00000758: PUSH4 0x015783e9 0000075d: PUSH1 0xe5 0000075f: SHL 00000760: DUP2 00000761: MSTORE 00000762: PUSH1 0x04 00000764: ADD 00000765: PUSH1 0x40 00000767: MLOAD 00000768: DUP1 00000769: SWAP2 0000076a: SUB 0000076b: SWAP1 0000076c: REVERT 0000076d: JUMPDEST 0000076e: DUP3 0000076f: DUP1 00000770: PUSH2 0x078c 00000773: JUMPI 00000774: PUSH1 0x40 00000776: MLOAD 00000777: PUSH4 0x521299a9 0000077c: PUSH1 0xe0 0000077e: SHL 0000077f: DUP2 00000780: MSTORE 00000781: PUSH1 0x04 00000783: ADD 00000784: PUSH1 0x40 00000786: MLOAD 00000787: DUP1 00000788: SWAP2 00000789: SUB 0000078a: SWAP1 0000078b: REVERT 0000078c: JUMPDEST 0000078d: DUP1 0000078e: DUP3 0000078f: EQ 00000790: PUSH2 0x07ac 00000793: JUMPI 00000794: PUSH1 0x40 00000796: MLOAD 00000797: PUSH4 0xc155fe21 0000079c: PUSH1 0xe0 0000079e: SHL 0000079f: DUP2 000007a0: MSTORE 000007a1: PUSH1 0x04 000007a3: ADD 000007a4: PUSH1 0x40 000007a6: MLOAD 000007a7: DUP1 000007a8: SWAP2 000007a9: SUB 000007aa: SWAP1 000007ab: REVERT 000007ac: JUMPDEST 000007ad: PUSH1 0x00 000007af: JUMPDEST 000007b0: DUP2 000007b1: DUP2 000007b2: LT 000007b3: ISZERO 000007b4: PUSH2 0x0807 000007b7: JUMPI 000007b8: PUSH2 0x07ff 000007bb: DUP7 000007bc: DUP7 000007bd: DUP4 000007be: DUP2 000007bf: DUP2 000007c0: LT 000007c1: PUSH2 0x07cc 000007c4: JUMPI 000007c5: PUSH2 0x07cc 000007c8: PUSH2 0x1267 000007cb: JUMP 000007cc: JUMPDEST 000007cd: SWAP1 000007ce: POP 000007cf: PUSH1 0x20 000007d1: MUL 000007d2: ADD 000007d3: PUSH1 0x20 000007d5: DUP2 000007d6: ADD 000007d7: SWAP1 000007d8: PUSH2 0x07e1 000007db: SWAP2 000007dc: SWAP1 000007dd: PUSH2 0x105d 000007e0: JUMP 000007e1: JUMPDEST 000007e2: DUP6 000007e3: DUP6 000007e4: DUP5 000007e5: DUP2 000007e6: DUP2 000007e7: LT 000007e8: PUSH2 0x07f3 000007eb: JUMPI 000007ec: PUSH2 0x07f3 000007ef: PUSH2 0x1267 000007f2: JUMP 000007f3: JUMPDEST 000007f4: SWAP1 000007f5: POP 000007f6: PUSH1 0x20 000007f8: MUL 000007f9: ADD 000007fa: CALLDATALOAD 000007fb: PUSH2 0x08ce 000007fe: JUMP 000007ff: JUMPDEST 00000800: PUSH1 0x01 00000802: ADD 00000803: PUSH2 0x07af 00000806: JUMP 00000807: JUMPDEST 00000808: POP 00000809: POP 0000080a: POP 0000080b: POP 0000080c: POP 0000080d: POP 0000080e: JUMP 0000080f: JUMPDEST 00000810: PUSH1 0x00 00000812: SLOAD 00000813: PUSH1 0x01 00000815: PUSH1 0x01 00000817: PUSH1 0xa0 00000819: SHL 0000081a: SUB 0000081b: AND 0000081c: CALLER 0000081d: EQ 0000081e: PUSH2 0x0839 00000821: JUMPI 00000822: PUSH1 0x40 00000824: MLOAD 00000825: PUSH3 0x461bcd 00000829: PUSH1 0xe5 0000082b: SHL 0000082c: DUP2 0000082d: MSTORE 0000082e: PUSH1 0x04 00000830: ADD 00000831: PUSH2 0x03ea 00000834: SWAP1 00000835: PUSH2 0x127d 00000838: JUMP 00000839: JUMPDEST 0000083a: PUSH2 0x0843 0000083d: PUSH1 0x00 0000083f: PUSH2 0x0d2a 00000842: JUMP 00000843: JUMPDEST 00000844: JUMP 00000845: JUMPDEST 00000846: PUSH1 0x01 00000848: SLOAD 00000849: PUSH1 0x01 0000084b: PUSH1 0x01 0000084d: PUSH1 0xa0 0000084f: SHL 00000850: SUB 00000851: AND 00000852: CALLER 00000853: EQ 00000854: PUSH2 0x0870 00000857: JUMPI 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: PUSH4 0x05e05b4b 00000860: PUSH1 0xe3 00000862: SHL 00000863: DUP2 00000864: MSTORE 00000865: PUSH1 0x04 00000867: ADD 00000868: PUSH1 0x40 0000086a: MLOAD 0000086b: DUP1 0000086c: SWAP2 0000086d: SUB 0000086e: SWAP1 0000086f: REVERT 00000870: JUMPDEST 00000871: PUSH1 0x01 00000873: SLOAD 00000874: PUSH1 0x01 00000876: PUSH1 0x01 00000878: PUSH1 0xa0 0000087a: SHL 0000087b: SUB 0000087c: AND 0000087d: PUSH2 0x0885 00000880: DUP2 00000881: PUSH2 0x0d2a 00000884: JUMP 00000885: JUMPDEST 00000886: PUSH1 0x01 00000888: DUP1 00000889: SLOAD 0000088a: PUSH1 0x01 0000088c: PUSH1 0x01 0000088e: PUSH1 0xa0 00000890: SHL 00000891: SUB 00000892: NOT 00000893: AND 00000894: SWAP1 00000895: SSTORE 00000896: PUSH1 0x40 00000898: MLOAD 00000899: PUSH1 0x00 0000089b: SWAP1 0000089c: PUSH1 0x01 0000089e: PUSH1 0x01 000008a0: PUSH1 0xa0 000008a2: SHL 000008a3: SUB 000008a4: DUP4 000008a5: AND 000008a6: SWAP1 000008a7: PUSH32 0xb3d55174552271a4f1aaf36b72f50381e892171636b3fb5447fe00e995e7a37b 000008c8: SWAP1 000008c9: DUP4 000008ca: SWAP1 000008cb: LOG3 000008cc: POP 000008cd: JUMP 000008ce: JUMPDEST 000008cf: PUSH1 0x03 000008d1: SLOAD 000008d2: PUSH1 0x01 000008d4: PUSH1 0x01 000008d6: PUSH1 0xa0 000008d8: SHL 000008d9: SUB 000008da: AND 000008db: CALLER 000008dc: EQ 000008dd: DUP1 000008de: ISZERO 000008df: SWAP1 000008e0: PUSH2 0x08f4 000008e3: JUMPI 000008e4: POP 000008e5: PUSH1 0x00 000008e7: SLOAD 000008e8: PUSH1 0x01 000008ea: PUSH1 0x01 000008ec: PUSH1 0xa0 000008ee: SHL 000008ef: SUB 000008f0: AND 000008f1: CALLER 000008f2: EQ 000008f3: ISZERO 000008f4: JUMPDEST 000008f5: ISZERO 000008f6: PUSH2 0x0912 000008f9: JUMPI 000008fa: PUSH1 0x40 000008fc: MLOAD 000008fd: PUSH4 0x015783e9 00000902: PUSH1 0xe5 00000904: SHL 00000905: DUP2 00000906: MSTORE 00000907: PUSH1 0x04 00000909: ADD 0000090a: PUSH1 0x40 0000090c: MLOAD 0000090d: DUP1 0000090e: SWAP2 0000090f: SUB 00000910: SWAP1 00000911: REVERT 00000912: JUMPDEST 00000913: PUSH1 0x01 00000915: PUSH1 0x01 00000917: PUSH1 0xa0 00000919: SHL 0000091a: SUB 0000091b: DUP3 0000091c: AND 0000091d: PUSH2 0x0939 00000920: JUMPI 00000921: PUSH1 0x40 00000923: MLOAD 00000924: PUSH4 0xd92e233d 00000929: PUSH1 0xe0 0000092b: SHL 0000092c: DUP2 0000092d: MSTORE 0000092e: PUSH1 0x04 00000930: ADD 00000931: PUSH1 0x40 00000933: MLOAD 00000934: DUP1 00000935: SWAP2 00000936: SUB 00000937: SWAP1 00000938: REVERT 00000939: JUMPDEST 0000093a: PUSH1 0x01 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: SHL 00000941: SUB 00000942: DUP3 00000943: AND 00000944: PUSH1 0x00 00000946: SWAP1 00000947: DUP2 00000948: MSTORE 00000949: PUSH1 0x07 0000094b: PUSH1 0x20 0000094d: MSTORE 0000094e: PUSH1 0x40 00000950: SWAP1 00000951: KECCAK256 00000952: SLOAD 00000953: PUSH1 0xff 00000955: AND 00000956: PUSH2 0x0972 00000959: JUMPI 0000095a: PUSH1 0x40 0000095c: MLOAD 0000095d: PUSH4 0x8208cbe5 00000962: PUSH1 0xe0 00000964: SHL 00000965: DUP2 00000966: MSTORE 00000967: PUSH1 0x04 00000969: ADD 0000096a: PUSH1 0x40 0000096c: MLOAD 0000096d: DUP1 0000096e: SWAP2 0000096f: SUB 00000970: SWAP1 00000971: REVERT 00000972: JUMPDEST 00000973: DUP1 00000974: PUSH2 0x0990 00000977: JUMPI 00000978: PUSH1 0x40 0000097a: MLOAD 0000097b: PUSH4 0x85ac2b99 00000980: PUSH1 0xe0 00000982: SHL 00000983: DUP2 00000984: MSTORE 00000985: PUSH1 0x04 00000987: ADD 00000988: PUSH1 0x40 0000098a: MLOAD 0000098b: DUP1 0000098c: SWAP2 0000098d: SUB 0000098e: SWAP1 0000098f: REVERT 00000990: JUMPDEST 00000991: PUSH1 0x01 00000993: PUSH1 0x01 00000995: PUSH1 0xa0 00000997: SHL 00000998: SUB 00000999: DUP3 0000099a: AND 0000099b: PUSH1 0x00 0000099d: SWAP1 0000099e: DUP2 0000099f: MSTORE 000009a0: PUSH1 0x07 000009a2: PUSH1 0x20 000009a4: SWAP1 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x40 000009a9: DUP1 000009aa: DUP4 000009ab: KECCAK256 000009ac: DUP1 000009ad: SLOAD 000009ae: PUSH1 0xff 000009b0: NOT 000009b1: AND 000009b2: SWAP1 000009b3: SSTORE 000009b4: PUSH1 0x06 000009b6: SWAP1 000009b7: SWAP2 000009b8: MSTORE 000009b9: DUP2 000009ba: KECCAK256 000009bb: DUP1 000009bc: SLOAD 000009bd: PUSH1 0x01 000009bf: SWAP3 000009c0: SWAP1 000009c1: PUSH2 0x09cb 000009c4: SWAP1 000009c5: DUP5 000009c6: SWAP1 000009c7: PUSH2 0x12c8 000009ca: JUMP 000009cb: JUMPDEST 000009cc: SWAP1 000009cd: SWAP2 000009ce: SSTORE 000009cf: POP 000009d0: POP 000009d1: PUSH1 0x01 000009d3: PUSH1 0x01 000009d5: PUSH1 0xa0 000009d7: SHL 000009d8: SUB 000009d9: DUP3 000009da: AND 000009db: PUSH1 0x00 000009dd: DUP2 000009de: DUP2 000009df: MSTORE 000009e0: PUSH1 0x04 000009e2: PUSH1 0x20 000009e4: SWAP1 000009e5: DUP2 000009e6: MSTORE 000009e7: PUSH1 0x40 000009e9: DUP1 000009ea: DUP4 000009eb: KECCAK256 000009ec: DUP6 000009ed: SWAP1 000009ee: SSTORE 000009ef: PUSH1 0x06 000009f1: DUP3 000009f2: MSTORE 000009f3: SWAP2 000009f4: DUP3 000009f5: SWAP1 000009f6: KECCAK256 000009f7: SLOAD 000009f8: SWAP2 000009f9: MLOAD 000009fa: DUP5 000009fb: DUP2 000009fc: MSTORE 000009fd: SWAP2 000009fe: SWAP3 000009ff: SWAP2 00000a00: PUSH32 0xb1a0d85f7eede3dffd8899fd01f07018ef51ed64acfc3c5ea6f6feacc49367ba 00000a21: SWAP2 00000a22: ADD 00000a23: PUSH1 0x40 00000a25: MLOAD 00000a26: DUP1 00000a27: SWAP2 00000a28: SUB 00000a29: SWAP1 00000a2a: LOG3 00000a2b: POP 00000a2c: POP 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH1 0x00 00000a31: SLOAD 00000a32: PUSH1 0x01 00000a34: PUSH1 0x01 00000a36: PUSH1 0xa0 00000a38: SHL 00000a39: SUB 00000a3a: AND 00000a3b: CALLER 00000a3c: EQ 00000a3d: PUSH2 0x0a58 00000a40: JUMPI 00000a41: PUSH1 0x40 00000a43: MLOAD 00000a44: PUSH3 0x461bcd 00000a48: PUSH1 0xe5 00000a4a: SHL 00000a4b: DUP2 00000a4c: MSTORE 00000a4d: PUSH1 0x04 00000a4f: ADD 00000a50: PUSH2 0x03ea 00000a53: SWAP1 00000a54: PUSH2 0x127d 00000a57: JUMP 00000a58: JUMPDEST 00000a59: PUSH1 0x01 00000a5b: PUSH1 0x01 00000a5d: PUSH1 0xa0 00000a5f: SHL 00000a60: SUB 00000a61: DUP2 00000a62: AND 00000a63: PUSH2 0x0a7f 00000a66: JUMPI 00000a67: PUSH1 0x40 00000a69: MLOAD 00000a6a: PUSH4 0xd92e233d 00000a6f: PUSH1 0xe0 00000a71: SHL 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x04 00000a76: ADD 00000a77: PUSH1 0x40 00000a79: MLOAD 00000a7a: DUP1 00000a7b: SWAP2 00000a7c: SUB 00000a7d: SWAP1 00000a7e: REVERT 00000a7f: JUMPDEST 00000a80: PUSH1 0x03 00000a82: DUP1 00000a83: SLOAD 00000a84: PUSH1 0x01 00000a86: PUSH1 0x01 00000a88: PUSH1 0xa0 00000a8a: SHL 00000a8b: SUB 00000a8c: DUP4 00000a8d: DUP2 00000a8e: AND 00000a8f: PUSH1 0x01 00000a91: PUSH1 0x01 00000a93: PUSH1 0xa0 00000a95: SHL 00000a96: SUB 00000a97: NOT 00000a98: DUP4 00000a99: AND 00000a9a: DUP2 00000a9b: OR 00000a9c: SWAP1 00000a9d: SWAP4 00000a9e: SSTORE 00000a9f: PUSH1 0x40 00000aa1: MLOAD 00000aa2: SWAP2 00000aa3: AND 00000aa4: SWAP2 00000aa5: SWAP1 00000aa6: DUP3 00000aa7: SWAP1 00000aa8: PUSH32 0xb90308ba350dbc6bbbd7119f9ab447b4a8cf558e61f5584a52ed4b86cae36418 00000ac9: SWAP1 00000aca: PUSH1 0x00 00000acc: SWAP1 00000acd: LOG3 00000ace: POP 00000acf: POP 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x01 00000ad4: PUSH1 0x01 00000ad6: PUSH1 0xa0 00000ad8: SHL 00000ad9: SUB 00000ada: DUP4 00000adb: AND 00000adc: PUSH2 0x0af8 00000adf: JUMPI 00000ae0: PUSH1 0x40 00000ae2: MLOAD 00000ae3: PUSH4 0xd92e233d 00000ae8: PUSH1 0xe0 00000aea: SHL 00000aeb: DUP2 00000aec: MSTORE 00000aed: PUSH1 0x04 00000aef: ADD 00000af0: PUSH1 0x40 00000af2: MLOAD 00000af3: DUP1 00000af4: SWAP2 00000af5: SUB 00000af6: SWAP1 00000af7: REVERT 00000af8: JUMPDEST 00000af9: DUP1 00000afa: DUP1 00000afb: PUSH2 0x0b17 00000afe: JUMPI 00000aff: PUSH1 0x40 00000b01: MLOAD 00000b02: PUSH4 0xb68370bb 00000b07: PUSH1 0xe0 00000b09: SHL 00000b0a: DUP2 00000b0b: MSTORE 00000b0c: PUSH1 0x04 00000b0e: ADD 00000b0f: PUSH1 0x40 00000b11: MLOAD 00000b12: DUP1 00000b13: SWAP2 00000b14: SUB 00000b15: SWAP1 00000b16: REVERT 00000b17: JUMPDEST 00000b18: PUSH1 0x00 00000b1a: JUMPDEST 00000b1b: DUP2 00000b1c: DUP2 00000b1d: LT 00000b1e: ISZERO 00000b1f: PUSH2 0x0be2 00000b22: JUMPI 00000b23: PUSH2 0x0bda 00000b26: DUP5 00000b27: DUP5 00000b28: DUP4 00000b29: DUP2 00000b2a: DUP2 00000b2b: LT 00000b2c: PUSH2 0x0b37 00000b2f: JUMPI 00000b30: PUSH2 0x0b37 00000b33: PUSH2 0x1267 00000b36: JUMP 00000b37: JUMPDEST 00000b38: SWAP1 00000b39: POP 00000b3a: PUSH1 0x20 00000b3c: MUL 00000b3d: DUP2 00000b3e: ADD 00000b3f: SWAP1 00000b40: PUSH2 0x0b49 00000b43: SWAP2 00000b44: SWAP1 00000b45: PUSH2 0x12e0 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH2 0x0b57 00000b4d: SWAP1 00000b4e: PUSH1 0x20 00000b50: DUP2 00000b51: ADD 00000b52: SWAP1 00000b53: PUSH2 0x105d 00000b56: JUMP 00000b57: JUMPDEST 00000b58: DUP6 00000b59: DUP6 00000b5a: DUP5 00000b5b: DUP2 00000b5c: DUP2 00000b5d: LT 00000b5e: PUSH2 0x0b69 00000b61: JUMPI 00000b62: PUSH2 0x0b69 00000b65: PUSH2 0x1267 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: SWAP1 00000b6b: POP 00000b6c: PUSH1 0x20 00000b6e: MUL 00000b6f: DUP2 00000b70: ADD 00000b71: SWAP1 00000b72: PUSH2 0x0b7b 00000b75: SWAP2 00000b76: SWAP1 00000b77: PUSH2 0x12e0 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x20 00000b7e: ADD 00000b7f: CALLDATALOAD 00000b80: DUP8 00000b81: DUP8 00000b82: DUP8 00000b83: DUP7 00000b84: DUP2 00000b85: DUP2 00000b86: LT 00000b87: PUSH2 0x0b92 00000b8a: JUMPI 00000b8b: PUSH2 0x0b92 00000b8e: PUSH2 0x1267 00000b91: JUMP 00000b92: JUMPDEST 00000b93: SWAP1 00000b94: POP 00000b95: PUSH1 0x20 00000b97: MUL 00000b98: DUP2 00000b99: ADD 00000b9a: SWAP1 00000b9b: PUSH2 0x0ba4 00000b9e: SWAP2 00000b9f: SWAP1 00000ba0: PUSH2 0x12e0 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH1 0x40 00000ba7: ADD 00000ba8: CALLDATALOAD 00000ba9: DUP9 00000baa: DUP9 00000bab: DUP8 00000bac: DUP2 00000bad: DUP2 00000bae: LT 00000baf: PUSH2 0x0bba 00000bb2: JUMPI 00000bb3: PUSH2 0x0bba 00000bb6: PUSH2 0x1267 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: SWAP1 00000bbc: POP 00000bbd: PUSH1 0x20 00000bbf: MUL 00000bc0: DUP2 00000bc1: ADD 00000bc2: SWAP1 00000bc3: PUSH2 0x0bcc 00000bc6: SWAP2 00000bc7: SWAP1 00000bc8: PUSH2 0x12e0 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: PUSH2 0x0132 00000bd0: SWAP1 00000bd1: PUSH1 0x60 00000bd3: DUP2 00000bd4: ADD 00000bd5: SWAP1 00000bd6: PUSH2 0x1300 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: PUSH1 0x01 00000bdd: ADD 00000bde: PUSH2 0x0b1a 00000be1: JUMP 00000be2: JUMPDEST 00000be3: POP 00000be4: POP 00000be5: POP 00000be6: POP 00000be7: POP 00000be8: JUMP 00000be9: JUMPDEST 00000bea: PUSH1 0x00 00000bec: SLOAD 00000bed: PUSH1 0x01 00000bef: PUSH1 0x01 00000bf1: PUSH1 0xa0 00000bf3: SHL 00000bf4: SUB 00000bf5: AND 00000bf6: CALLER 00000bf7: EQ 00000bf8: PUSH2 0x0c13 00000bfb: JUMPI 00000bfc: PUSH1 0x40 00000bfe: MLOAD 00000bff: PUSH3 0x461bcd 00000c03: PUSH1 0xe5 00000c05: SHL 00000c06: DUP2 00000c07: MSTORE 00000c08: PUSH1 0x04 00000c0a: ADD 00000c0b: PUSH2 0x03ea 00000c0e: SWAP1 00000c0f: PUSH2 0x127d 00000c12: JUMP 00000c13: JUMPDEST 00000c14: PUSH1 0x01 00000c16: PUSH1 0x01 00000c18: PUSH1 0xa0 00000c1a: SHL 00000c1b: SUB 00000c1c: DUP2 00000c1d: AND 00000c1e: PUSH2 0x0c3a 00000c21: JUMPI 00000c22: PUSH1 0x40 00000c24: MLOAD 00000c25: PUSH4 0xd92e233d 00000c2a: PUSH1 0xe0 00000c2c: SHL 00000c2d: DUP2 00000c2e: MSTORE 00000c2f: PUSH1 0x04 00000c31: ADD 00000c32: PUSH1 0x40 00000c34: MLOAD 00000c35: DUP1 00000c36: SWAP2 00000c37: SUB 00000c38: SWAP1 00000c39: REVERT 00000c3a: JUMPDEST 00000c3b: PUSH1 0x00 00000c3d: SLOAD 00000c3e: PUSH1 0x01 00000c40: PUSH1 0x01 00000c42: PUSH1 0xa0 00000c44: SHL 00000c45: SUB 00000c46: DUP3 00000c47: DUP2 00000c48: AND 00000c49: SWAP2 00000c4a: AND 00000c4b: EQ 00000c4c: ISZERO 00000c4d: PUSH2 0x0c69 00000c50: JUMPI 00000c51: PUSH1 0x40 00000c53: MLOAD 00000c54: PUSH4 0xd5e889bf 00000c59: PUSH1 0xe0 00000c5b: SHL 00000c5c: DUP2 00000c5d: MSTORE 00000c5e: PUSH1 0x04 00000c60: ADD 00000c61: PUSH1 0x40 00000c63: MLOAD 00000c64: DUP1 00000c65: SWAP2 00000c66: SUB 00000c67: SWAP1 00000c68: REVERT 00000c69: JUMPDEST 00000c6a: PUSH1 0x01 00000c6c: DUP1 00000c6d: SLOAD 00000c6e: PUSH1 0x01 00000c70: PUSH1 0x01 00000c72: PUSH1 0xa0 00000c74: SHL 00000c75: SUB 00000c76: DUP4 00000c77: DUP2 00000c78: AND 00000c79: PUSH1 0x01 00000c7b: PUSH1 0x01 00000c7d: PUSH1 0xa0 00000c7f: SHL 00000c80: SUB 00000c81: NOT 00000c82: DUP4 00000c83: AND 00000c84: DUP2 00000c85: OR 00000c86: SWAP1 00000c87: SWAP4 00000c88: SSTORE 00000c89: PUSH1 0x40 00000c8b: MLOAD 00000c8c: SWAP2 00000c8d: AND 00000c8e: SWAP2 00000c8f: SWAP1 00000c90: DUP3 00000c91: SWAP1 00000c92: PUSH32 0xb3d55174552271a4f1aaf36b72f50381e892171636b3fb5447fe00e995e7a37b 00000cb3: SWAP1 00000cb4: PUSH1 0x00 00000cb6: SWAP1 00000cb7: LOG3 00000cb8: POP 00000cb9: POP 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH1 0x00 00000cbe: DUP3 00000cbf: PUSH2 0x0cc8 00000cc2: DUP6 00000cc3: DUP5 00000cc4: PUSH2 0x0d7a 00000cc7: JUMP 00000cc8: JUMPDEST 00000cc9: EQ 00000cca: SWAP1 00000ccb: POP 00000ccc: JUMPDEST 00000ccd: SWAP4 00000cce: SWAP3 00000ccf: POP 00000cd0: POP 00000cd1: POP 00000cd2: JUMP 00000cd3: JUMPDEST 00000cd4: PUSH1 0x40 00000cd6: DUP1 00000cd7: MLOAD 00000cd8: PUSH1 0x01 00000cda: PUSH1 0x01 00000cdc: PUSH1 0xa0 00000cde: SHL 00000cdf: SUB 00000ce0: DUP5 00000ce1: AND 00000ce2: PUSH1 0x24 00000ce4: DUP3 00000ce5: ADD 00000ce6: MSTORE 00000ce7: PUSH1 0x44 00000ce9: DUP1 00000cea: DUP3 00000ceb: ADD 00000cec: DUP5 00000ced: SWAP1 00000cee: MSTORE 00000cef: DUP3 00000cf0: MLOAD 00000cf1: DUP1 00000cf2: DUP4 00000cf3: SUB 00000cf4: SWAP1 00000cf5: SWAP2 00000cf6: ADD 00000cf7: DUP2 00000cf8: MSTORE 00000cf9: PUSH1 0x64 00000cfb: SWAP1 00000cfc: SWAP2 00000cfd: ADD 00000cfe: SWAP1 00000cff: SWAP2 00000d00: MSTORE 00000d01: PUSH1 0x20 00000d03: DUP2 00000d04: ADD 00000d05: DUP1 00000d06: MLOAD 00000d07: PUSH1 0x01 00000d09: PUSH1 0x01 00000d0b: PUSH1 0xe0 00000d0d: SHL 00000d0e: SUB 00000d0f: AND 00000d10: PUSH4 0xa9059cbb 00000d15: PUSH1 0xe0 00000d17: SHL 00000d18: OR 00000d19: SWAP1 00000d1a: MSTORE 00000d1b: PUSH2 0x0d25 00000d1e: SWAP1 00000d1f: DUP5 00000d20: SWAP1 00000d21: PUSH2 0x0dee 00000d24: JUMP 00000d25: JUMPDEST 00000d26: POP 00000d27: POP 00000d28: POP 00000d29: JUMP 00000d2a: JUMPDEST 00000d2b: PUSH1 0x00 00000d2d: DUP1 00000d2e: SLOAD 00000d2f: PUSH1 0x01 00000d31: PUSH1 0x01 00000d33: PUSH1 0xa0 00000d35: SHL 00000d36: SUB 00000d37: DUP4 00000d38: DUP2 00000d39: AND 00000d3a: PUSH1 0x01 00000d3c: PUSH1 0x01 00000d3e: PUSH1 0xa0 00000d40: SHL 00000d41: SUB 00000d42: NOT 00000d43: DUP4 00000d44: AND 00000d45: DUP2 00000d46: OR 00000d47: DUP5 00000d48: SSTORE 00000d49: PUSH1 0x40 00000d4b: MLOAD 00000d4c: SWAP2 00000d4d: SWAP1 00000d4e: SWAP3 00000d4f: AND 00000d50: SWAP3 00000d51: DUP4 00000d52: SWAP2 00000d53: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000d74: SWAP2 00000d75: SWAP1 00000d76: LOG3 00000d77: POP 00000d78: POP 00000d79: JUMP 00000d7a: JUMPDEST 00000d7b: PUSH1 0x00 00000d7d: DUP2 00000d7e: DUP2 00000d7f: JUMPDEST 00000d80: DUP5 00000d81: MLOAD 00000d82: DUP2 00000d83: LT 00000d84: ISZERO 00000d85: PUSH2 0x0de6 00000d88: JUMPI 00000d89: PUSH1 0x00 00000d8b: DUP6 00000d8c: DUP3 00000d8d: DUP2 00000d8e: MLOAD 00000d8f: DUP2 00000d90: LT 00000d91: PUSH2 0x0d9c 00000d94: JUMPI 00000d95: PUSH2 0x0d9c 00000d98: PUSH2 0x1267 00000d9b: JUMP 00000d9c: JUMPDEST 00000d9d: PUSH1 0x20 00000d9f: MUL 00000da0: PUSH1 0x20 00000da2: ADD 00000da3: ADD 00000da4: MLOAD 00000da5: SWAP1 00000da6: POP 00000da7: DUP1 00000da8: DUP4 00000da9: GT 00000daa: PUSH2 0x0dc2 00000dad: JUMPI 00000dae: PUSH1 0x00 00000db0: DUP4 00000db1: DUP2 00000db2: MSTORE 00000db3: PUSH1 0x20 00000db5: DUP3 00000db6: SWAP1 00000db7: MSTORE 00000db8: PUSH1 0x40 00000dba: SWAP1 00000dbb: KECCAK256 00000dbc: SWAP3 00000dbd: POP 00000dbe: PUSH2 0x0dd3 00000dc1: JUMP 00000dc2: JUMPDEST 00000dc3: PUSH1 0x00 00000dc5: DUP2 00000dc6: DUP2 00000dc7: MSTORE 00000dc8: PUSH1 0x20 00000dca: DUP5 00000dcb: SWAP1 00000dcc: MSTORE 00000dcd: PUSH1 0x40 00000dcf: SWAP1 00000dd0: KECCAK256 00000dd1: SWAP3 00000dd2: POP 00000dd3: JUMPDEST 00000dd4: POP 00000dd5: DUP1 00000dd6: PUSH2 0x0dde 00000dd9: DUP2 00000dda: PUSH2 0x134a 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: SWAP2 00000de0: POP 00000de1: POP 00000de2: PUSH2 0x0d7f 00000de5: JUMP 00000de6: JUMPDEST 00000de7: POP 00000de8: SWAP4 00000de9: SWAP3 00000dea: POP 00000deb: POP 00000dec: POP 00000ded: JUMP 00000dee: JUMPDEST 00000def: PUSH1 0x00 00000df1: PUSH2 0x0e43 00000df4: DUP3 00000df5: PUSH1 0x40 00000df7: MLOAD 00000df8: DUP1 00000df9: PUSH1 0x40 00000dfb: ADD 00000dfc: PUSH1 0x40 00000dfe: MSTORE 00000dff: DUP1 00000e00: PUSH1 0x20 00000e02: DUP2 00000e03: MSTORE 00000e04: PUSH1 0x20 00000e06: ADD 00000e07: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000e28: DUP2 00000e29: MSTORE 00000e2a: POP 00000e2b: DUP6 00000e2c: PUSH1 0x01 00000e2e: PUSH1 0x01 00000e30: PUSH1 0xa0 00000e32: SHL 00000e33: SUB 00000e34: AND 00000e35: PUSH2 0x0ec0 00000e38: SWAP1 00000e39: SWAP3 00000e3a: SWAP2 00000e3b: SWAP1 00000e3c: PUSH4 0xffffffff 00000e41: AND 00000e42: JUMP 00000e43: JUMPDEST 00000e44: DUP1 00000e45: MLOAD 00000e46: SWAP1 00000e47: SWAP2 00000e48: POP 00000e49: ISZERO 00000e4a: PUSH2 0x0d25 00000e4d: JUMPI 00000e4e: DUP1 00000e4f: DUP1 00000e50: PUSH1 0x20 00000e52: ADD 00000e53: SWAP1 00000e54: MLOAD 00000e55: DUP2 00000e56: ADD 00000e57: SWAP1 00000e58: PUSH2 0x0e61 00000e5b: SWAP2 00000e5c: SWAP1 00000e5d: PUSH2 0x1365 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH2 0x0d25 00000e65: JUMPI 00000e66: PUSH1 0x40 00000e68: MLOAD 00000e69: PUSH3 0x461bcd 00000e6d: PUSH1 0xe5 00000e6f: SHL 00000e70: DUP2 00000e71: MSTORE 00000e72: PUSH1 0x20 00000e74: PUSH1 0x04 00000e76: DUP3 00000e77: ADD 00000e78: MSTORE 00000e79: PUSH1 0x2a 00000e7b: PUSH1 0x24 00000e7d: DUP3 00000e7e: ADD 00000e7f: MSTORE 00000e80: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000ea1: PUSH1 0x44 00000ea3: DUP3 00000ea4: ADD 00000ea5: MSTORE 00000ea6: PUSH10 0x1bdd081cdd58d8d95959 00000eb1: PUSH1 0xb2 00000eb3: SHL 00000eb4: PUSH1 0x64 00000eb6: DUP3 00000eb7: ADD 00000eb8: MSTORE 00000eb9: PUSH1 0x84 00000ebb: ADD 00000ebc: PUSH2 0x03ea 00000ebf: JUMP 00000ec0: JUMPDEST 00000ec1: PUSH1 0x60 00000ec3: PUSH2 0x0ecf 00000ec6: DUP5 00000ec7: DUP5 00000ec8: PUSH1 0x00 00000eca: DUP6 00000ecb: PUSH2 0x0ed7 00000ece: JUMP 00000ecf: JUMPDEST 00000ed0: SWAP5 00000ed1: SWAP4 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: POP 00000ed6: JUMP 00000ed7: JUMPDEST 00000ed8: PUSH1 0x60 00000eda: DUP3 00000edb: SELFBALANCE 00000edc: LT 00000edd: ISZERO 00000ede: PUSH2 0x0f38 00000ee1: JUMPI 00000ee2: PUSH1 0x40 00000ee4: MLOAD 00000ee5: PUSH3 0x461bcd 00000ee9: PUSH1 0xe5 00000eeb: SHL 00000eec: DUP2 00000eed: MSTORE 00000eee: PUSH1 0x20 00000ef0: PUSH1 0x04 00000ef2: DUP3 00000ef3: ADD 00000ef4: MSTORE 00000ef5: PUSH1 0x26 00000ef7: PUSH1 0x24 00000ef9: DUP3 00000efa: ADD 00000efb: MSTORE 00000efc: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00000f1d: PUSH1 0x44 00000f1f: DUP3 00000f20: ADD 00000f21: MSTORE 00000f22: PUSH6 0x1c8818d85b1b 00000f29: PUSH1 0xd2 00000f2b: SHL 00000f2c: PUSH1 0x64 00000f2e: DUP3 00000f2f: ADD 00000f30: MSTORE 00000f31: PUSH1 0x84 00000f33: ADD 00000f34: PUSH2 0x03ea 00000f37: JUMP 00000f38: JUMPDEST 00000f39: PUSH1 0x01 00000f3b: PUSH1 0x01 00000f3d: PUSH1 0xa0 00000f3f: SHL 00000f40: SUB 00000f41: DUP6 00000f42: AND 00000f43: EXTCODESIZE 00000f44: PUSH2 0x0f8f 00000f47: JUMPI 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: PUSH3 0x461bcd 00000f4f: PUSH1 0xe5 00000f51: SHL 00000f52: DUP2 00000f53: MSTORE 00000f54: PUSH1 0x20 00000f56: PUSH1 0x04 00000f58: DUP3 00000f59: ADD 00000f5a: MSTORE 00000f5b: PUSH1 0x1d 00000f5d: PUSH1 0x24 00000f5f: DUP3 00000f60: ADD 00000f61: MSTORE 00000f62: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000f83: PUSH1 0x44 00000f85: DUP3 00000f86: ADD 00000f87: MSTORE 00000f88: PUSH1 0x64 00000f8a: ADD 00000f8b: PUSH2 0x03ea 00000f8e: JUMP 00000f8f: JUMPDEST 00000f90: PUSH1 0x00 00000f92: DUP1 00000f93: DUP7 00000f94: PUSH1 0x01 00000f96: PUSH1 0x01 00000f98: PUSH1 0xa0 00000f9a: SHL 00000f9b: SUB 00000f9c: AND 00000f9d: DUP6 00000f9e: DUP8 00000f9f: PUSH1 0x40 00000fa1: MLOAD 00000fa2: PUSH2 0x0fab 00000fa5: SWAP2 00000fa6: SWAP1 00000fa7: PUSH2 0x13b3 00000faa: JUMP 00000fab: JUMPDEST 00000fac: PUSH1 0x00 00000fae: PUSH1 0x40 00000fb0: MLOAD 00000fb1: DUP1 00000fb2: DUP4 00000fb3: SUB 00000fb4: DUP2 00000fb5: DUP6 00000fb6: DUP8 00000fb7: GAS 00000fb8: CALL 00000fb9: SWAP3 00000fba: POP 00000fbb: POP 00000fbc: POP 00000fbd: RETURNDATASIZE 00000fbe: DUP1 00000fbf: PUSH1 0x00 00000fc1: DUP2 00000fc2: EQ 00000fc3: PUSH2 0x0fe8 00000fc6: JUMPI 00000fc7: PUSH1 0x40 00000fc9: MLOAD 00000fca: SWAP2 00000fcb: POP 00000fcc: PUSH1 0x1f 00000fce: NOT 00000fcf: PUSH1 0x3f 00000fd1: RETURNDATASIZE 00000fd2: ADD 00000fd3: AND 00000fd4: DUP3 00000fd5: ADD 00000fd6: PUSH1 0x40 00000fd8: MSTORE 00000fd9: RETURNDATASIZE 00000fda: DUP3 00000fdb: MSTORE 00000fdc: RETURNDATASIZE 00000fdd: PUSH1 0x00 00000fdf: PUSH1 0x20 00000fe1: DUP5 00000fe2: ADD 00000fe3: RETURNDATACOPY 00000fe4: PUSH2 0x0fed 00000fe7: JUMP 00000fe8: JUMPDEST 00000fe9: PUSH1 0x60 00000feb: SWAP2 00000fec: POP 00000fed: JUMPDEST 00000fee: POP 00000fef: SWAP2 00000ff0: POP 00000ff1: SWAP2 00000ff2: POP 00000ff3: PUSH2 0x0ffd 00000ff6: DUP3 00000ff7: DUP3 00000ff8: DUP7 00000ff9: PUSH2 0x1008 00000ffc: JUMP 00000ffd: JUMPDEST 00000ffe: SWAP8 00000fff: SWAP7 00001000: POP 00001001: POP 00001002: POP 00001003: POP 00001004: POP 00001005: POP 00001006: POP 00001007: JUMP 00001008: JUMPDEST 00001009: PUSH1 0x60 0000100b: DUP4 0000100c: ISZERO 0000100d: PUSH2 0x1017 00001010: JUMPI 00001011: POP 00001012: DUP2 00001013: PUSH2 0x0ccc 00001016: JUMP 00001017: JUMPDEST 00001018: DUP3 00001019: MLOAD 0000101a: ISZERO 0000101b: PUSH2 0x1027 0000101e: JUMPI 0000101f: DUP3 00001020: MLOAD 00001021: DUP1 00001022: DUP5 00001023: PUSH1 0x20 00001025: ADD 00001026: REVERT 00001027: JUMPDEST 00001028: DUP2 00001029: PUSH1 0x40 0000102b: MLOAD 0000102c: PUSH3 0x461bcd 00001030: PUSH1 0xe5 00001032: SHL 00001033: DUP2 00001034: MSTORE 00001035: PUSH1 0x04 00001037: ADD 00001038: PUSH2 0x03ea 0000103b: SWAP2 0000103c: SWAP1 0000103d: PUSH2 0x13c5 00001040: JUMP 00001041: JUMPDEST 00001042: DUP1 00001043: CALLDATALOAD 00001044: PUSH1 0x01 00001046: PUSH1 0x01 00001048: PUSH1 0xa0 0000104a: SHL 0000104b: SUB 0000104c: DUP2 0000104d: AND 0000104e: DUP2 0000104f: EQ 00001050: PUSH2 0x1058 00001053: JUMPI 00001054: PUSH1 0x00 00001056: DUP1 00001057: REVERT 00001058: JUMPDEST 00001059: SWAP2 0000105a: SWAP1 0000105b: POP 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: PUSH1 0x20 00001062: DUP3 00001063: DUP5 00001064: SUB 00001065: SLT 00001066: ISZERO 00001067: PUSH2 0x106f 0000106a: JUMPI 0000106b: PUSH1 0x00 0000106d: DUP1 0000106e: REVERT 0000106f: JUMPDEST 00001070: PUSH2 0x0ccc 00001073: DUP3 00001074: PUSH2 0x1041 00001077: JUMP 00001078: JUMPDEST 00001079: PUSH1 0x00 0000107b: DUP1 0000107c: DUP4 0000107d: PUSH1 0x1f 0000107f: DUP5 00001080: ADD 00001081: SLT 00001082: PUSH2 0x108a 00001085: JUMPI 00001086: PUSH1 0x00 00001088: DUP1 00001089: REVERT 0000108a: JUMPDEST 0000108b: POP 0000108c: DUP2 0000108d: CALLDATALOAD 0000108e: PUSH8 0xffffffffffffffff 00001097: DUP2 00001098: GT 00001099: ISZERO 0000109a: PUSH2 0x10a2 0000109d: JUMPI 0000109e: PUSH1 0x00 000010a0: DUP1 000010a1: REVERT 000010a2: JUMPDEST 000010a3: PUSH1 0x20 000010a5: DUP4 000010a6: ADD 000010a7: SWAP2 000010a8: POP 000010a9: DUP4 000010aa: PUSH1 0x20 000010ac: DUP3 000010ad: PUSH1 0x05 000010af: SHL 000010b0: DUP6 000010b1: ADD 000010b2: ADD 000010b3: GT 000010b4: ISZERO 000010b5: PUSH2 0x10bd 000010b8: JUMPI 000010b9: PUSH1 0x00 000010bb: DUP1 000010bc: REVERT 000010bd: JUMPDEST 000010be: SWAP3 000010bf: POP 000010c0: SWAP3 000010c1: SWAP1 000010c2: POP 000010c3: JUMP 000010c4: JUMPDEST 000010c5: PUSH1 0x00 000010c7: DUP1 000010c8: PUSH1 0x00 000010ca: DUP1 000010cb: PUSH1 0x00 000010cd: DUP1 000010ce: PUSH1 0xa0 000010d0: DUP8 000010d1: DUP10 000010d2: SUB 000010d3: SLT 000010d4: ISZERO 000010d5: PUSH2 0x10dd 000010d8: JUMPI 000010d9: PUSH1 0x00 000010db: DUP1 000010dc: REVERT 000010dd: JUMPDEST 000010de: PUSH2 0x10e6 000010e1: DUP8 000010e2: PUSH2 0x1041 000010e5: JUMP 000010e6: JUMPDEST 000010e7: SWAP6 000010e8: POP 000010e9: PUSH1 0x20 000010eb: DUP8 000010ec: ADD 000010ed: CALLDATALOAD 000010ee: SWAP5 000010ef: POP 000010f0: PUSH2 0x10fb 000010f3: PUSH1 0x40 000010f5: DUP9 000010f6: ADD 000010f7: PUSH2 0x1041 000010fa: JUMP 000010fb: JUMPDEST 000010fc: SWAP4 000010fd: POP 000010fe: PUSH1 0x60 00001100: DUP8 00001101: ADD 00001102: CALLDATALOAD 00001103: SWAP3 00001104: POP 00001105: PUSH1 0x80 00001107: DUP8 00001108: ADD 00001109: CALLDATALOAD 0000110a: PUSH8 0xffffffffffffffff 00001113: DUP2 00001114: GT 00001115: ISZERO 00001116: PUSH2 0x111e 00001119: JUMPI 0000111a: PUSH1 0x00 0000111c: DUP1 0000111d: REVERT 0000111e: JUMPDEST 0000111f: PUSH2 0x112a 00001122: DUP10 00001123: DUP3 00001124: DUP11 00001125: ADD 00001126: PUSH2 0x1078 00001129: JUMP 0000112a: JUMPDEST 0000112b: SWAP8 0000112c: SWAP11 0000112d: SWAP7 0000112e: SWAP10 0000112f: POP 00001130: SWAP5 00001131: SWAP8 00001132: POP 00001133: SWAP3 00001134: SWAP6 00001135: SWAP4 00001136: SWAP5 00001137: SWAP3 00001138: POP 00001139: POP 0000113a: POP 0000113b: JUMP 0000113c: JUMPDEST 0000113d: PUSH1 0x00 0000113f: DUP1 00001140: PUSH1 0x20 00001142: DUP4 00001143: DUP6 00001144: SUB 00001145: SLT 00001146: ISZERO 00001147: PUSH2 0x114f 0000114a: JUMPI 0000114b: PUSH1 0x00 0000114d: DUP1 0000114e: REVERT 0000114f: JUMPDEST 00001150: DUP3 00001151: CALLDATALOAD 00001152: PUSH8 0xffffffffffffffff 0000115b: DUP2 0000115c: GT 0000115d: ISZERO 0000115e: PUSH2 0x1166 00001161: JUMPI 00001162: PUSH1 0x00 00001164: DUP1 00001165: REVERT 00001166: JUMPDEST 00001167: PUSH2 0x1172 0000116a: DUP6 0000116b: DUP3 0000116c: DUP7 0000116d: ADD 0000116e: PUSH2 0x1078 00001171: JUMP 00001172: JUMPDEST 00001173: SWAP1 00001174: SWAP7 00001175: SWAP1 00001176: SWAP6 00001177: POP 00001178: SWAP4 00001179: POP 0000117a: POP 0000117b: POP 0000117c: POP 0000117d: JUMP 0000117e: JUMPDEST 0000117f: PUSH1 0x00 00001181: DUP1 00001182: PUSH1 0x40 00001184: DUP4 00001185: DUP6 00001186: SUB 00001187: SLT 00001188: ISZERO 00001189: PUSH2 0x1191 0000118c: JUMPI 0000118d: PUSH1 0x00 0000118f: DUP1 00001190: REVERT 00001191: JUMPDEST 00001192: PUSH2 0x119a 00001195: DUP4 00001196: PUSH2 0x1041 00001199: JUMP 0000119a: JUMPDEST 0000119b: SWAP5 0000119c: PUSH1 0x20 0000119e: SWAP4 0000119f: SWAP1 000011a0: SWAP4 000011a1: ADD 000011a2: CALLDATALOAD 000011a3: SWAP4 000011a4: POP 000011a5: POP 000011a6: POP 000011a7: JUMP 000011a8: JUMPDEST 000011a9: PUSH1 0x00 000011ab: DUP1 000011ac: PUSH1 0x00 000011ae: DUP1 000011af: PUSH1 0x40 000011b1: DUP6 000011b2: DUP8 000011b3: SUB 000011b4: SLT 000011b5: ISZERO 000011b6: PUSH2 0x11be 000011b9: JUMPI 000011ba: PUSH1 0x00 000011bc: DUP1 000011bd: REVERT 000011be: JUMPDEST 000011bf: DUP5 000011c0: CALLDATALOAD 000011c1: PUSH8 0xffffffffffffffff 000011ca: DUP1 000011cb: DUP3 000011cc: GT 000011cd: ISZERO 000011ce: PUSH2 0x11d6 000011d1: JUMPI 000011d2: PUSH1 0x00 000011d4: DUP1 000011d5: REVERT 000011d6: JUMPDEST 000011d7: PUSH2 0x11e2 000011da: DUP9 000011db: DUP4 000011dc: DUP10 000011dd: ADD 000011de: PUSH2 0x1078 000011e1: JUMP 000011e2: JUMPDEST 000011e3: SWAP1 000011e4: SWAP7 000011e5: POP 000011e6: SWAP5 000011e7: POP 000011e8: PUSH1 0x20 000011ea: DUP8 000011eb: ADD 000011ec: CALLDATALOAD 000011ed: SWAP2 000011ee: POP 000011ef: DUP1 000011f0: DUP3 000011f1: GT 000011f2: ISZERO 000011f3: PUSH2 0x11fb 000011f6: JUMPI 000011f7: PUSH1 0x00 000011f9: DUP1 000011fa: REVERT 000011fb: JUMPDEST 000011fc: POP 000011fd: PUSH2 0x1208 00001200: DUP8 00001201: DUP3 00001202: DUP9 00001203: ADD 00001204: PUSH2 0x1078 00001207: JUMP 00001208: JUMPDEST 00001209: SWAP6 0000120a: SWAP9 0000120b: SWAP5 0000120c: SWAP8 0000120d: POP 0000120e: SWAP6 0000120f: POP 00001210: POP 00001211: POP 00001212: POP 00001213: JUMP 00001214: JUMPDEST 00001215: PUSH1 0x00 00001217: DUP1 00001218: PUSH1 0x00 0000121a: PUSH1 0x40 0000121c: DUP5 0000121d: DUP7 0000121e: SUB 0000121f: SLT 00001220: ISZERO 00001221: PUSH2 0x1229 00001224: JUMPI 00001225: PUSH1 0x00 00001227: DUP1 00001228: REVERT 00001229: JUMPDEST 0000122a: PUSH2 0x1232 0000122d: DUP5 0000122e: PUSH2 0x1041 00001231: JUMP 00001232: JUMPDEST 00001233: SWAP3 00001234: POP 00001235: PUSH1 0x20 00001237: DUP5 00001238: ADD 00001239: CALLDATALOAD 0000123a: PUSH8 0xffffffffffffffff 00001243: DUP2 00001244: GT 00001245: ISZERO 00001246: PUSH2 0x124e 00001249: JUMPI 0000124a: PUSH1 0x00 0000124c: DUP1 0000124d: REVERT 0000124e: JUMPDEST 0000124f: PUSH2 0x125a 00001252: DUP7 00001253: DUP3 00001254: DUP8 00001255: ADD 00001256: PUSH2 0x1078 00001259: JUMP 0000125a: JUMPDEST 0000125b: SWAP5 0000125c: SWAP8 0000125d: SWAP1 0000125e: SWAP7 0000125f: POP 00001260: SWAP4 00001261: SWAP5 00001262: POP 00001263: POP 00001264: POP 00001265: POP 00001266: JUMP 00001267: JUMPDEST 00001268: PUSH4 0x4e487b71 0000126d: PUSH1 0xe0 0000126f: SHL 00001270: PUSH1 0x00 00001272: MSTORE 00001273: PUSH1 0x32 00001275: PUSH1 0x04 00001277: MSTORE 00001278: PUSH1 0x24 0000127a: PUSH1 0x00 0000127c: REVERT 0000127d: JUMPDEST 0000127e: PUSH1 0x20 00001280: DUP1 00001281: DUP3 00001282: MSTORE 00001283: DUP2 00001284: DUP2 00001285: ADD 00001286: MSTORE 00001287: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000012a8: PUSH1 0x40 000012aa: DUP3 000012ab: ADD 000012ac: MSTORE 000012ad: PUSH1 0x60 000012af: ADD 000012b0: SWAP1 000012b1: JUMP 000012b2: JUMPDEST 000012b3: PUSH4 0x4e487b71 000012b8: PUSH1 0xe0 000012ba: SHL 000012bb: PUSH1 0x00 000012bd: MSTORE 000012be: PUSH1 0x11 000012c0: PUSH1 0x04 000012c2: MSTORE 000012c3: PUSH1 0x24 000012c5: PUSH1 0x00 000012c7: REVERT 000012c8: JUMPDEST 000012c9: PUSH1 0x00 000012cb: DUP3 000012cc: NOT 000012cd: DUP3 000012ce: GT 000012cf: ISZERO 000012d0: PUSH2 0x12db 000012d3: JUMPI 000012d4: PUSH2 0x12db 000012d7: PUSH2 0x12b2 000012da: JUMP 000012db: JUMPDEST 000012dc: POP 000012dd: ADD 000012de: SWAP1 000012df: JUMP 000012e0: JUMPDEST 000012e1: PUSH1 0x00 000012e3: DUP3 000012e4: CALLDATALOAD 000012e5: PUSH1 0x7e 000012e7: NOT 000012e8: DUP4 000012e9: CALLDATASIZE 000012ea: SUB 000012eb: ADD 000012ec: DUP2 000012ed: SLT 000012ee: PUSH2 0x12f6 000012f1: JUMPI 000012f2: PUSH1 0x00 000012f4: DUP1 000012f5: REVERT 000012f6: JUMPDEST 000012f7: SWAP2 000012f8: SWAP1 000012f9: SWAP2 000012fa: ADD 000012fb: SWAP3 000012fc: SWAP2 000012fd: POP 000012fe: POP 000012ff: JUMP 00001300: JUMPDEST 00001301: PUSH1 0x00 00001303: DUP1 00001304: DUP4 00001305: CALLDATALOAD 00001306: PUSH1 0x1e 00001308: NOT 00001309: DUP5 0000130a: CALLDATASIZE 0000130b: SUB 0000130c: ADD 0000130d: DUP2 0000130e: SLT 0000130f: PUSH2 0x1317 00001312: JUMPI 00001313: PUSH1 0x00 00001315: DUP1 00001316: REVERT 00001317: JUMPDEST 00001318: DUP4 00001319: ADD 0000131a: DUP1 0000131b: CALLDATALOAD 0000131c: SWAP2 0000131d: POP 0000131e: PUSH8 0xffffffffffffffff 00001327: DUP3 00001328: GT 00001329: ISZERO 0000132a: PUSH2 0x1332 0000132d: JUMPI 0000132e: PUSH1 0x00 00001330: DUP1 00001331: REVERT 00001332: JUMPDEST 00001333: PUSH1 0x20 00001335: ADD 00001336: SWAP2 00001337: POP 00001338: PUSH1 0x05 0000133a: DUP2 0000133b: SWAP1 0000133c: SHL 0000133d: CALLDATASIZE 0000133e: SUB 0000133f: DUP3 00001340: SGT 00001341: ISZERO 00001342: PUSH2 0x10bd 00001345: JUMPI 00001346: PUSH1 0x00 00001348: DUP1 00001349: REVERT 0000134a: JUMPDEST 0000134b: PUSH1 0x00 0000134d: PUSH1 0x00 0000134f: NOT 00001350: DUP3 00001351: EQ 00001352: ISZERO 00001353: PUSH2 0x135e 00001356: JUMPI 00001357: PUSH2 0x135e 0000135a: PUSH2 0x12b2 0000135d: JUMP 0000135e: JUMPDEST 0000135f: POP 00001360: PUSH1 0x01 00001362: ADD 00001363: SWAP1 00001364: JUMP 00001365: JUMPDEST 00001366: PUSH1 0x00 00001368: PUSH1 0x20 0000136a: DUP3 0000136b: DUP5 0000136c: SUB 0000136d: SLT 0000136e: ISZERO 0000136f: PUSH2 0x1377 00001372: JUMPI 00001373: PUSH1 0x00 00001375: DUP1 00001376: REVERT 00001377: JUMPDEST 00001378: DUP2 00001379: MLOAD 0000137a: DUP1 0000137b: ISZERO 0000137c: ISZERO 0000137d: DUP2 0000137e: EQ 0000137f: PUSH2 0x0ccc 00001382: JUMPI 00001383: PUSH1 0x00 00001385: DUP1 00001386: REVERT 00001387: JUMPDEST 00001388: PUSH1 0x00 0000138a: JUMPDEST 0000138b: DUP4 0000138c: DUP2 0000138d: LT 0000138e: ISZERO 0000138f: PUSH2 0x13a2 00001392: JUMPI 00001393: DUP2 00001394: DUP2 00001395: ADD 00001396: MLOAD 00001397: DUP4 00001398: DUP3 00001399: ADD 0000139a: MSTORE 0000139b: PUSH1 0x20 0000139d: ADD 0000139e: PUSH2 0x138a 000013a1: JUMP 000013a2: JUMPDEST 000013a3: DUP4 000013a4: DUP2 000013a5: GT 000013a6: ISZERO 000013a7: PUSH2 0x06db 000013aa: JUMPI 000013ab: POP 000013ac: POP 000013ad: PUSH1 0x00 000013af: SWAP2 000013b0: ADD 000013b1: MSTORE 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x00 000013b6: DUP3 000013b7: MLOAD 000013b8: PUSH2 0x12f6 000013bb: DUP2 000013bc: DUP5 000013bd: PUSH1 0x20 000013bf: DUP8 000013c0: ADD 000013c1: PUSH2 0x1387 000013c4: JUMP 000013c5: JUMPDEST 000013c6: PUSH1 0x20 000013c8: DUP2 000013c9: MSTORE 000013ca: PUSH1 0x00 000013cc: DUP3 000013cd: MLOAD 000013ce: DUP1 000013cf: PUSH1 0x20 000013d1: DUP5 000013d2: ADD 000013d3: MSTORE 000013d4: PUSH2 0x13e4 000013d7: DUP2 000013d8: PUSH1 0x40 000013da: DUP6 000013db: ADD 000013dc: PUSH1 0x20 000013de: DUP8 000013df: ADD 000013e0: PUSH2 0x1387 000013e3: JUMP 000013e4: JUMPDEST 000013e5: PUSH1 0x1f 000013e7: ADD 000013e8: PUSH1 0x1f 000013ea: NOT 000013eb: AND 000013ec: SWAP2 000013ed: SWAP1 000013ee: SWAP2 000013ef: ADD 000013f0: PUSH1 0x40 000013f2: ADD 000013f3: SWAP3 000013f4: SWAP2 000013f5: POP 000013f6: POP 000013f7: JUMP 000013f8: INVALID 000013f9: LOG2 000013fa: PUSH5 0x6970667358 00001400: UNKNOWN(0x22) 00001401: SLT 00001402: KECCAK256 00001403: UNKNOWN(0xE1) 00001404: UNKNOWN(0xCB) 00001405: LOG4 00001406: DUP10 00001407: MSTORE8 00001408: UNKNOWN(0xEF) 00001409: UNKNOWN(0xCE) 0000140a: DUP7 0000140b: UNKNOWN(0xC9) 0000140c: DUP4 0000140d: UNKNOWN(0x2D) 0000140e: GASPRICE 0000140f: UNKNOWN(0x2F) 00001410: UNKNOWN(0xE4) 00001411: SLOAD 00001412: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd2c2f0e7a001b94fbb355e0fdc620fc900c4b9bc82bdb4ceff11abe321383279
call_targets:
0x997523ef97e0b0a5625ed2c197e61250acf4e5f1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd2c2f0e7a001b94fbb355e0fdc620fc900c4b9bc82bdb4ceff11abe321383279",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x997523ef97e0b0a5625ed2c197e61250acf4e5f1"
],
"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": "0xdb205635",
"selector": "0xdb205635",
"calldata_variants": [
"0xdb205635",
"0xdb2056350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde6acf07",
"selector": "0xde6acf07",
"calldata_variants": [
"0xde6acf07",
"0xde6acf070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8da302c",
"selector": "0xe8da302c",
"calldata_variants": [
"0xe8da302c",
"0xe8da302c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae9a6808",
"selector": "0xae9a6808",
"calldata_variants": [
"0xae9a6808",
"0xae9a68080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc6cc417",
"selector": "0xbc6cc417",
"calldata_variants": [
"0xbc6cc417",
"0xbc6cc4170000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4024,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd2c2f0e7a001b94fbb355e0fdc620fc900c4b9bc82bdb4ceff11abe321383279
call_targets:
0x997523ef97e0b0a5625ed2c197e61250acf4e5f1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd2c2f0e7a001b94fbb355e0fdc620fc900c4b9bc82bdb4ceff11abe321383279",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x997523ef97e0b0a5625ed2c197e61250acf4e5f1"
],
"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": "0xdb205635",
"selector": "0xdb205635",
"calldata_variants": [
"0xdb205635",
"0xdb2056350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde6acf07",
"selector": "0xde6acf07",
"calldata_variants": [
"0xde6acf07",
"0xde6acf070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe30c3978",
"selector": "0xe30c3978",
"calldata_variants": [
"0xe30c3978",
"0xe30c39780000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8da302c",
"selector": "0xe8da302c",
"calldata_variants": [
"0xe8da302c",
"0xe8da302c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae9a6808",
"selector": "0xae9a6808",
"calldata_variants": [
"0xae9a6808",
"0xae9a68080000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc6cc417",
"selector": "0xbc6cc417",
"calldata_variants": [
"0xbc6cc417",
"0xbc6cc4170000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4024,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|