019b477e-c358-7178-9974-e1e6ca77dd31
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 |
|---|---|---|---|---|
| 25207 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25208 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 68258 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 68259 | capability.graph | complete | 1 / 3 | 1 week ago |
| 68260 | detector.run | complete | 1 / 3 | 1 week ago |
| 68261 | validation.fork | complete | 1 / 3 | 1 week 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 0x00dd 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0xa3ca17b2 00000019: GT 0000001a: PUSH2 0x007f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xf6933c7d 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xf6933c7d 0000002f: EQ 00000030: PUSH2 0x0220 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xfa70f538 0000003a: EQ 0000003b: PUSH2 0x0245 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xfd20345b 00000045: EQ 00000046: PUSH2 0x0265 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xfe745748 00000050: EQ 00000051: PUSH2 0x027a 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xa3ca17b2 00000060: EQ 00000061: PUSH2 0x01b6 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xc2cc9aa5 0000006b: EQ 0000006c: PUSH2 0x01cb 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xd33a1c2f 00000076: EQ 00000077: PUSH2 0x0200 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0x5a22fe5d 00000086: GT 00000087: PUSH2 0x00bb 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x5a22fe5d 00000091: EQ 00000092: PUSH2 0x0138 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x6e61e52a 0000009c: EQ 0000009d: PUSH2 0x016e 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x7deb6025 000000a7: EQ 000000a8: PUSH2 0x018e 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x88f572a8 000000b2: EQ 000000b3: PUSH2 0x01a1 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: DUP1 000000bd: PUSH4 0x041a4aba 000000c2: EQ 000000c3: PUSH2 0x00e2 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x2428cd1e 000000cd: EQ 000000ce: PUSH2 0x010b 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x2bf57fca 000000d8: EQ 000000d9: PUSH2 0x0121 000000dc: JUMPI 000000dd: JUMPDEST 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: CALLVALUE 000000e4: DUP1 000000e5: ISZERO 000000e6: PUSH2 0x00ee 000000e9: JUMPI 000000ea: PUSH1 0x00 000000ec: DUP1 000000ed: REVERT 000000ee: JUMPDEST 000000ef: POP 000000f0: PUSH2 0x00f8 000000f3: PUSH1 0x01 000000f5: SLOAD 000000f6: DUP2 000000f7: JUMP 000000f8: JUMPDEST 000000f9: PUSH1 0x40 000000fb: MLOAD 000000fc: SWAP1 000000fd: DUP2 000000fe: MSTORE 000000ff: PUSH1 0x20 00000101: ADD 00000102: JUMPDEST 00000103: PUSH1 0x40 00000105: MLOAD 00000106: DUP1 00000107: SWAP2 00000108: SUB 00000109: SWAP1 0000010a: RETURN 0000010b: JUMPDEST 0000010c: CALLVALUE 0000010d: DUP1 0000010e: ISZERO 0000010f: PUSH2 0x0117 00000112: JUMPI 00000113: PUSH1 0x00 00000115: DUP1 00000116: REVERT 00000117: JUMPDEST 00000118: POP 00000119: PUSH2 0x00f8 0000011c: PUSH1 0x00 0000011e: SLOAD 0000011f: DUP2 00000120: JUMP 00000121: JUMPDEST 00000122: CALLVALUE 00000123: DUP1 00000124: ISZERO 00000125: PUSH2 0x012d 00000128: JUMPI 00000129: PUSH1 0x00 0000012b: DUP1 0000012c: REVERT 0000012d: JUMPDEST 0000012e: POP 0000012f: PUSH2 0x0136 00000132: PUSH2 0x02b0 00000135: JUMP 00000136: JUMPDEST 00000137: STOP 00000138: JUMPDEST 00000139: CALLVALUE 0000013a: DUP1 0000013b: ISZERO 0000013c: PUSH2 0x0144 0000013f: JUMPI 00000140: PUSH1 0x00 00000142: DUP1 00000143: REVERT 00000144: JUMPDEST 00000145: POP 00000146: PUSH2 0x00f8 00000149: PUSH2 0x0153 0000014c: CALLDATASIZE 0000014d: PUSH1 0x04 0000014f: PUSH2 0x1456 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH1 0x01 00000156: PUSH1 0x01 00000158: PUSH1 0xa0 0000015a: SHL 0000015b: SUB 0000015c: AND 0000015d: PUSH1 0x00 0000015f: SWAP1 00000160: DUP2 00000161: MSTORE 00000162: PUSH1 0x02 00000164: PUSH1 0x20 00000166: MSTORE 00000167: PUSH1 0x40 00000169: SWAP1 0000016a: KECCAK256 0000016b: SLOAD 0000016c: SWAP1 0000016d: JUMP 0000016e: JUMPDEST 0000016f: CALLVALUE 00000170: DUP1 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x0136 0000017f: PUSH2 0x0189 00000182: CALLDATASIZE 00000183: PUSH1 0x04 00000185: PUSH2 0x1493 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x066f 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH2 0x0136 00000192: PUSH2 0x019c 00000195: CALLDATASIZE 00000196: PUSH1 0x04 00000198: PUSH2 0x14c5 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH2 0x071a 000001a0: JUMP 000001a1: JUMPDEST 000001a2: CALLVALUE 000001a3: DUP1 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: POP 000001af: PUSH2 0x0136 000001b2: PUSH2 0x0b40 000001b5: JUMP 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x00f8 000001c7: PUSH2 0x0ee9 000001ca: JUMP 000001cb: JUMPDEST 000001cc: CALLVALUE 000001cd: DUP1 000001ce: ISZERO 000001cf: PUSH2 0x01d7 000001d2: JUMPI 000001d3: PUSH1 0x00 000001d5: DUP1 000001d6: REVERT 000001d7: JUMPDEST 000001d8: POP 000001d9: PUSH2 0x01e0 000001dc: PUSH2 0x0ef8 000001df: JUMP 000001e0: JUMPDEST 000001e1: PUSH1 0x40 000001e3: DUP1 000001e4: MLOAD 000001e5: SWAP5 000001e6: DUP6 000001e7: MSTORE 000001e8: PUSH1 0x20 000001ea: DUP6 000001eb: ADD 000001ec: SWAP4 000001ed: SWAP1 000001ee: SWAP4 000001ef: MSTORE 000001f0: SWAP2 000001f1: DUP4 000001f2: ADD 000001f3: MSTORE 000001f4: PUSH1 0x60 000001f6: DUP3 000001f7: ADD 000001f8: MSTORE 000001f9: PUSH1 0x80 000001fb: ADD 000001fc: PUSH2 0x0102 000001ff: JUMP 00000200: JUMPDEST 00000201: CALLVALUE 00000202: DUP1 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: POP 0000020e: PUSH2 0x00f8 00000211: PUSH2 0x021b 00000214: CALLDATASIZE 00000215: PUSH1 0x04 00000217: PUSH2 0x1493 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x10d7 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x0235 00000231: PUSH2 0x113d 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH1 0x40 00000238: MLOAD 00000239: SWAP1 0000023a: ISZERO 0000023b: ISZERO 0000023c: DUP2 0000023d: MSTORE 0000023e: PUSH1 0x20 00000240: ADD 00000241: PUSH2 0x0102 00000244: JUMP 00000245: JUMPDEST 00000246: CALLVALUE 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: PUSH2 0x00f8 00000256: PUSH2 0x0260 00000259: CALLDATASIZE 0000025a: PUSH1 0x04 0000025c: PUSH2 0x1493 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x1147 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x0136 00000276: PUSH2 0x1178 00000279: JUMP 0000027a: JUMPDEST 0000027b: CALLVALUE 0000027c: DUP1 0000027d: ISZERO 0000027e: PUSH2 0x0286 00000281: JUMPI 00000282: PUSH1 0x00 00000284: DUP1 00000285: REVERT 00000286: JUMPDEST 00000287: POP 00000288: PUSH2 0x00f8 0000028b: PUSH2 0x0295 0000028e: CALLDATASIZE 0000028f: PUSH1 0x04 00000291: PUSH2 0x1456 00000294: JUMP 00000295: JUMPDEST 00000296: PUSH1 0x01 00000298: PUSH1 0x01 0000029a: PUSH1 0xa0 0000029c: SHL 0000029d: SUB 0000029e: AND 0000029f: PUSH1 0x00 000002a1: SWAP1 000002a2: DUP2 000002a3: MSTORE 000002a4: PUSH1 0x03 000002a6: PUSH1 0x20 000002a8: MSTORE 000002a9: PUSH1 0x40 000002ab: SWAP1 000002ac: KECCAK256 000002ad: SLOAD 000002ae: SWAP1 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH2 0x02b8 000002b4: PUSH2 0x1302 000002b7: JUMP 000002b8: JUMPDEST 000002b9: ISZERO 000002ba: PUSH2 0x02fb 000002bd: JUMPI 000002be: PUSH1 0x40 000002c0: MLOAD 000002c1: PUSH3 0x461bcd 000002c5: PUSH1 0xe5 000002c7: SHL 000002c8: DUP2 000002c9: MSTORE 000002ca: PUSH1 0x20 000002cc: PUSH1 0x04 000002ce: DUP3 000002cf: ADD 000002d0: MSTORE 000002d1: PUSH1 0x0e 000002d3: PUSH1 0x24 000002d5: DUP3 000002d6: ADD 000002d7: MSTORE 000002d8: PUSH14 0x49434f5374696c6c416374697665 000002e7: PUSH1 0x90 000002e9: SHL 000002ea: PUSH1 0x44 000002ec: DUP3 000002ed: ADD 000002ee: MSTORE 000002ef: PUSH1 0x64 000002f1: ADD 000002f2: JUMPDEST 000002f3: PUSH1 0x40 000002f5: MLOAD 000002f6: DUP1 000002f7: SWAP2 000002f8: SUB 000002f9: SWAP1 000002fa: REVERT 000002fb: JUMPDEST 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: PUSH4 0x70a08231 00000304: PUSH1 0xe0 00000306: SHL 00000307: DUP2 00000308: MSTORE 00000309: ADDRESS 0000030a: PUSH1 0x04 0000030c: DUP3 0000030d: ADD 0000030e: MSTORE 0000030f: PUSH1 0x00 00000311: SWAP1 00000312: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000333: PUSH1 0x01 00000335: PUSH1 0x01 00000337: PUSH1 0xa0 00000339: SHL 0000033a: SUB 0000033b: AND 0000033c: SWAP1 0000033d: PUSH4 0x70a08231 00000342: SWAP1 00000343: PUSH1 0x24 00000345: ADD 00000346: PUSH1 0x20 00000348: PUSH1 0x40 0000034a: MLOAD 0000034b: DUP1 0000034c: DUP4 0000034d: SUB 0000034e: DUP2 0000034f: DUP7 00000350: DUP1 00000351: EXTCODESIZE 00000352: ISZERO 00000353: DUP1 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: POP 0000035f: GAS 00000360: STATICCALL 00000361: ISZERO 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x0371 00000367: JUMPI 00000368: RETURNDATASIZE 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: RETURNDATACOPY 0000036d: RETURNDATASIZE 0000036e: PUSH1 0x00 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: POP 00000374: POP 00000375: POP 00000376: PUSH1 0x40 00000378: MLOAD 00000379: RETURNDATASIZE 0000037a: PUSH1 0x1f 0000037c: NOT 0000037d: PUSH1 0x1f 0000037f: DUP3 00000380: ADD 00000381: AND 00000382: DUP3 00000383: ADD 00000384: DUP1 00000385: PUSH1 0x40 00000387: MSTORE 00000388: POP 00000389: DUP2 0000038a: ADD 0000038b: SWAP1 0000038c: PUSH2 0x0395 0000038f: SWAP2 00000390: SWAP1 00000391: PUSH2 0x14ac 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH1 0x40 00000398: MLOAD 00000399: PUSH4 0xa9059cbb 0000039e: PUSH1 0xe0 000003a0: SHL 000003a1: DUP2 000003a2: MSTORE 000003a3: PUSH1 0x01 000003a5: PUSH1 0x01 000003a7: PUSH1 0xa0 000003a9: SHL 000003aa: SUB 000003ab: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18 000003cc: DUP2 000003cd: AND 000003ce: PUSH1 0x04 000003d0: DUP4 000003d1: ADD 000003d2: MSTORE 000003d3: PUSH1 0x24 000003d5: DUP3 000003d6: ADD 000003d7: DUP4 000003d8: SWAP1 000003d9: MSTORE 000003da: SWAP2 000003db: SWAP3 000003dc: POP 000003dd: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 000003fe: SWAP1 000003ff: SWAP2 00000400: AND 00000401: SWAP1 00000402: PUSH4 0xa9059cbb 00000407: SWAP1 00000408: PUSH1 0x44 0000040a: ADD 0000040b: PUSH1 0x20 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: DUP1 00000411: DUP4 00000412: SUB 00000413: DUP2 00000414: PUSH1 0x00 00000416: DUP8 00000417: DUP1 00000418: EXTCODESIZE 00000419: ISZERO 0000041a: DUP1 0000041b: ISZERO 0000041c: PUSH2 0x0424 0000041f: JUMPI 00000420: PUSH1 0x00 00000422: DUP1 00000423: REVERT 00000424: JUMPDEST 00000425: POP 00000426: GAS 00000427: CALL 00000428: ISZERO 00000429: DUP1 0000042a: ISZERO 0000042b: PUSH2 0x0438 0000042e: JUMPI 0000042f: RETURNDATASIZE 00000430: PUSH1 0x00 00000432: DUP1 00000433: RETURNDATACOPY 00000434: RETURNDATASIZE 00000435: PUSH1 0x00 00000437: REVERT 00000438: JUMPDEST 00000439: POP 0000043a: POP 0000043b: POP 0000043c: POP 0000043d: PUSH1 0x40 0000043f: MLOAD 00000440: RETURNDATASIZE 00000441: PUSH1 0x1f 00000443: NOT 00000444: PUSH1 0x1f 00000446: DUP3 00000447: ADD 00000448: AND 00000449: DUP3 0000044a: ADD 0000044b: DUP1 0000044c: PUSH1 0x40 0000044e: MSTORE 0000044f: POP 00000450: DUP2 00000451: ADD 00000452: SWAP1 00000453: PUSH2 0x045c 00000456: SWAP2 00000457: SWAP1 00000458: PUSH2 0x1471 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: PUSH1 0x40 00000468: MLOAD 00000469: PUSH4 0x70a08231 0000046e: PUSH1 0xe0 00000470: SHL 00000471: DUP2 00000472: MSTORE 00000473: ADDRESS 00000474: PUSH1 0x04 00000476: DUP3 00000477: ADD 00000478: MSTORE 00000479: PUSH1 0x00 0000047b: SWAP1 0000047c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000049d: PUSH1 0x01 0000049f: PUSH1 0x01 000004a1: PUSH1 0xa0 000004a3: SHL 000004a4: SUB 000004a5: AND 000004a6: SWAP1 000004a7: PUSH4 0x70a08231 000004ac: SWAP1 000004ad: PUSH1 0x24 000004af: ADD 000004b0: PUSH1 0x20 000004b2: PUSH1 0x40 000004b4: MLOAD 000004b5: DUP1 000004b6: DUP4 000004b7: SUB 000004b8: DUP2 000004b9: DUP7 000004ba: DUP1 000004bb: EXTCODESIZE 000004bc: ISZERO 000004bd: DUP1 000004be: ISZERO 000004bf: PUSH2 0x04c7 000004c2: JUMPI 000004c3: PUSH1 0x00 000004c5: DUP1 000004c6: REVERT 000004c7: JUMPDEST 000004c8: POP 000004c9: GAS 000004ca: STATICCALL 000004cb: ISZERO 000004cc: DUP1 000004cd: ISZERO 000004ce: PUSH2 0x04db 000004d1: JUMPI 000004d2: RETURNDATASIZE 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: RETURNDATACOPY 000004d7: RETURNDATASIZE 000004d8: PUSH1 0x00 000004da: REVERT 000004db: JUMPDEST 000004dc: POP 000004dd: POP 000004de: POP 000004df: POP 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: RETURNDATASIZE 000004e4: PUSH1 0x1f 000004e6: NOT 000004e7: PUSH1 0x1f 000004e9: DUP3 000004ea: ADD 000004eb: AND 000004ec: DUP3 000004ed: ADD 000004ee: DUP1 000004ef: PUSH1 0x40 000004f1: MSTORE 000004f2: POP 000004f3: DUP2 000004f4: ADD 000004f5: SWAP1 000004f6: PUSH2 0x04ff 000004f9: SWAP2 000004fa: SWAP1 000004fb: PUSH2 0x14ac 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH1 0x40 00000502: MLOAD 00000503: PUSH4 0xa9059cbb 00000508: PUSH1 0xe0 0000050a: SHL 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x01 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: SHL 00000514: SUB 00000515: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18 00000536: DUP2 00000537: AND 00000538: PUSH1 0x04 0000053a: DUP4 0000053b: ADD 0000053c: MSTORE 0000053d: PUSH1 0x24 0000053f: DUP3 00000540: ADD 00000541: DUP4 00000542: SWAP1 00000543: MSTORE 00000544: SWAP2 00000545: SWAP3 00000546: POP 00000547: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 00000568: SWAP1 00000569: SWAP2 0000056a: AND 0000056b: SWAP1 0000056c: PUSH4 0xa9059cbb 00000571: SWAP1 00000572: PUSH1 0x44 00000574: ADD 00000575: PUSH1 0x20 00000577: PUSH1 0x40 00000579: MLOAD 0000057a: DUP1 0000057b: DUP4 0000057c: SUB 0000057d: DUP2 0000057e: PUSH1 0x00 00000580: DUP8 00000581: DUP1 00000582: EXTCODESIZE 00000583: ISZERO 00000584: DUP1 00000585: ISZERO 00000586: PUSH2 0x058e 00000589: JUMPI 0000058a: PUSH1 0x00 0000058c: DUP1 0000058d: REVERT 0000058e: JUMPDEST 0000058f: POP 00000590: GAS 00000591: CALL 00000592: ISZERO 00000593: DUP1 00000594: ISZERO 00000595: PUSH2 0x05a2 00000598: JUMPI 00000599: RETURNDATASIZE 0000059a: PUSH1 0x00 0000059c: DUP1 0000059d: RETURNDATACOPY 0000059e: RETURNDATASIZE 0000059f: PUSH1 0x00 000005a1: REVERT 000005a2: JUMPDEST 000005a3: POP 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: PUSH1 0x40 000005a9: MLOAD 000005aa: RETURNDATASIZE 000005ab: PUSH1 0x1f 000005ad: NOT 000005ae: PUSH1 0x1f 000005b0: DUP3 000005b1: ADD 000005b2: AND 000005b3: DUP3 000005b4: ADD 000005b5: DUP1 000005b6: PUSH1 0x40 000005b8: MSTORE 000005b9: POP 000005ba: DUP2 000005bb: ADD 000005bc: SWAP1 000005bd: PUSH2 0x05c6 000005c0: SWAP2 000005c1: SWAP1 000005c2: PUSH2 0x1471 000005c5: JUMP 000005c6: JUMPDEST 000005c7: PUSH2 0x05cf 000005ca: JUMPI 000005cb: PUSH1 0x00 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: PUSH1 0x40 000005d2: MLOAD 000005d3: SELFBALANCE 000005d4: SWAP1 000005d5: PUSH1 0x01 000005d7: PUSH1 0x01 000005d9: PUSH1 0xa0 000005db: SHL 000005dc: SUB 000005dd: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18 000005fe: AND 000005ff: SWAP1 00000600: DUP3 00000601: ISZERO 00000602: PUSH2 0x08fc 00000605: MUL 00000606: SWAP1 00000607: DUP4 00000608: SWAP1 00000609: PUSH1 0x00 0000060b: DUP2 0000060c: DUP2 0000060d: DUP2 0000060e: DUP6 0000060f: DUP9 00000610: DUP9 00000611: CALL 00000612: SWAP4 00000613: POP 00000614: POP 00000615: POP 00000616: POP 00000617: ISZERO 00000618: DUP1 00000619: ISZERO 0000061a: PUSH2 0x0627 0000061d: JUMPI 0000061e: RETURNDATASIZE 0000061f: PUSH1 0x00 00000621: DUP1 00000622: RETURNDATACOPY 00000623: RETURNDATASIZE 00000624: PUSH1 0x00 00000626: REVERT 00000627: JUMPDEST 00000628: POP 00000629: PUSH1 0x40 0000062b: DUP1 0000062c: MLOAD 0000062d: DUP5 0000062e: DUP2 0000062f: MSTORE 00000630: PUSH1 0x20 00000632: DUP2 00000633: ADD 00000634: DUP5 00000635: SWAP1 00000636: MSTORE 00000637: SWAP1 00000638: DUP2 00000639: ADD 0000063a: DUP3 0000063b: SWAP1 0000063c: MSTORE 0000063d: PUSH32 0xb1027820623cdfd8e923f8b0b56300f62373885b33a5ab6b46087056248efe48 0000065e: SWAP1 0000065f: PUSH1 0x60 00000661: ADD 00000662: JUMPDEST 00000663: PUSH1 0x40 00000665: MLOAD 00000666: DUP1 00000667: SWAP2 00000668: SUB 00000669: SWAP1 0000066a: LOG1 0000066b: POP 0000066c: POP 0000066d: POP 0000066e: JUMP 0000066f: JUMPDEST 00000670: CALLER 00000671: PUSH1 0x01 00000673: PUSH1 0x01 00000675: PUSH1 0xa0 00000677: SHL 00000678: SUB 00000679: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18 0000069a: AND 0000069b: EQ 0000069c: PUSH2 0x06d2 0000069f: JUMPI 000006a0: PUSH1 0x40 000006a2: MLOAD 000006a3: PUSH3 0x461bcd 000006a7: PUSH1 0xe5 000006a9: SHL 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x20 000006ae: PUSH1 0x04 000006b0: DUP3 000006b1: ADD 000006b2: MSTORE 000006b3: PUSH1 0x08 000006b5: PUSH1 0x24 000006b7: DUP3 000006b8: ADD 000006b9: MSTORE 000006ba: PUSH8 0x2130b227bbb732b9 000006c3: PUSH1 0xc1 000006c5: SHL 000006c6: PUSH1 0x44 000006c8: DUP3 000006c9: ADD 000006ca: MSTORE 000006cb: PUSH1 0x64 000006cd: ADD 000006ce: PUSH2 0x02f2 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH1 0x01 000006d5: SLOAD 000006d6: TIMESTAMP 000006d7: GT 000006d8: ISZERO 000006d9: PUSH2 0x0715 000006dc: JUMPI 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: PUSH3 0x461bcd 000006e4: PUSH1 0xe5 000006e6: SHL 000006e7: DUP2 000006e8: MSTORE 000006e9: PUSH1 0x20 000006eb: PUSH1 0x04 000006ed: DUP3 000006ee: ADD 000006ef: MSTORE 000006f0: PUSH1 0x0e 000006f2: PUSH1 0x24 000006f4: DUP3 000006f5: ADD 000006f6: MSTORE 000006f7: PUSH14 0x151bdad95b931a5cdd195916595d 00000706: PUSH1 0x92 00000708: SHL 00000709: PUSH1 0x44 0000070b: DUP3 0000070c: ADD 0000070d: MSTORE 0000070e: PUSH1 0x64 00000710: ADD 00000711: PUSH2 0x02f2 00000714: JUMP 00000715: JUMPDEST 00000716: PUSH1 0x01 00000718: SSTORE 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH2 0x0722 0000071e: PUSH2 0x1302 00000721: JUMP 00000722: JUMPDEST 00000723: ISZERO 00000724: ISZERO 00000725: PUSH1 0x01 00000727: EQ 00000728: PUSH2 0x0743 0000072b: JUMPI 0000072c: PUSH1 0x40 0000072e: MLOAD 0000072f: PUSH3 0x461bcd 00000733: PUSH1 0xe5 00000735: SHL 00000736: DUP2 00000737: MSTORE 00000738: PUSH1 0x04 0000073a: ADD 0000073b: PUSH2 0x02f2 0000073e: SWAP1 0000073f: PUSH2 0x1541 00000742: JUMP 00000743: JUMPDEST 00000744: PUSH1 0x00 00000746: CALLVALUE 00000747: PUSH2 0x08e7 0000074a: JUMPI 0000074b: PUSH1 0x00 0000074d: DUP4 0000074e: GT 0000074f: PUSH2 0x0787 00000752: JUMPI 00000753: PUSH1 0x40 00000755: MLOAD 00000756: PUSH3 0x461bcd 0000075a: PUSH1 0xe5 0000075c: SHL 0000075d: DUP2 0000075e: MSTORE 0000075f: PUSH1 0x20 00000761: PUSH1 0x04 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: PUSH1 0x0a 00000768: PUSH1 0x24 0000076a: DUP3 0000076b: ADD 0000076c: MSTORE 0000076d: PUSH10 0x10985914185e5b595b9d 00000778: PUSH1 0xb2 0000077a: SHL 0000077b: PUSH1 0x44 0000077d: DUP3 0000077e: ADD 0000077f: MSTORE 00000780: PUSH1 0x64 00000782: ADD 00000783: PUSH2 0x02f2 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 000007a9: PUSH1 0x01 000007ab: PUSH1 0x01 000007ad: PUSH1 0xa0 000007af: SHL 000007b0: SUB 000007b1: AND 000007b2: DUP3 000007b3: PUSH1 0x01 000007b5: PUSH1 0x01 000007b7: PUSH1 0xa0 000007b9: SHL 000007ba: SUB 000007bb: AND 000007bc: EQ 000007bd: DUP1 000007be: PUSH2 0x07f8 000007c1: JUMPI 000007c2: POP 000007c3: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 000007e4: PUSH1 0x01 000007e6: PUSH1 0x01 000007e8: PUSH1 0xa0 000007ea: SHL 000007eb: SUB 000007ec: AND 000007ed: DUP3 000007ee: PUSH1 0x01 000007f0: PUSH1 0x01 000007f2: PUSH1 0xa0 000007f4: SHL 000007f5: SUB 000007f6: AND 000007f7: EQ 000007f8: JUMPDEST 000007f9: PUSH2 0x0838 000007fc: JUMPI 000007fd: PUSH1 0x40 000007ff: MLOAD 00000800: PUSH3 0x461bcd 00000804: PUSH1 0xe5 00000806: SHL 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x20 0000080b: PUSH1 0x04 0000080d: DUP3 0000080e: ADD 0000080f: MSTORE 00000810: PUSH1 0x11 00000812: PUSH1 0x24 00000814: DUP3 00000815: ADD 00000816: MSTORE 00000817: PUSH17 0x151bdad95b939bdd14dd5c1c1bdc9d1959 00000829: PUSH1 0x7a 0000082b: SHL 0000082c: PUSH1 0x44 0000082e: DUP3 0000082f: ADD 00000830: MSTORE 00000831: PUSH1 0x64 00000833: ADD 00000834: PUSH2 0x02f2 00000837: JUMP 00000838: JUMPDEST 00000839: PUSH1 0x40 0000083b: MLOAD 0000083c: PUSH4 0x23b872dd 00000841: PUSH1 0xe0 00000843: SHL 00000844: DUP2 00000845: MSTORE 00000846: CALLER 00000847: PUSH1 0x04 00000849: DUP3 0000084a: ADD 0000084b: MSTORE 0000084c: ADDRESS 0000084d: PUSH1 0x24 0000084f: DUP3 00000850: ADD 00000851: MSTORE 00000852: PUSH1 0x44 00000854: DUP2 00000855: ADD 00000856: DUP5 00000857: SWAP1 00000858: MSTORE 00000859: PUSH1 0x01 0000085b: PUSH1 0x01 0000085d: PUSH1 0xa0 0000085f: SHL 00000860: SUB 00000861: DUP4 00000862: AND 00000863: SWAP1 00000864: PUSH4 0x23b872dd 00000869: SWAP1 0000086a: PUSH1 0x64 0000086c: ADD 0000086d: PUSH1 0x20 0000086f: PUSH1 0x40 00000871: MLOAD 00000872: DUP1 00000873: DUP4 00000874: SUB 00000875: DUP2 00000876: PUSH1 0x00 00000878: DUP8 00000879: DUP1 0000087a: EXTCODESIZE 0000087b: ISZERO 0000087c: DUP1 0000087d: ISZERO 0000087e: PUSH2 0x0886 00000881: JUMPI 00000882: PUSH1 0x00 00000884: DUP1 00000885: REVERT 00000886: JUMPDEST 00000887: POP 00000888: GAS 00000889: CALL 0000088a: ISZERO 0000088b: DUP1 0000088c: ISZERO 0000088d: PUSH2 0x089a 00000890: JUMPI 00000891: RETURNDATASIZE 00000892: PUSH1 0x00 00000894: DUP1 00000895: RETURNDATACOPY 00000896: RETURNDATASIZE 00000897: PUSH1 0x00 00000899: REVERT 0000089a: JUMPDEST 0000089b: POP 0000089c: POP 0000089d: POP 0000089e: POP 0000089f: PUSH1 0x40 000008a1: MLOAD 000008a2: RETURNDATASIZE 000008a3: PUSH1 0x1f 000008a5: NOT 000008a6: PUSH1 0x1f 000008a8: DUP3 000008a9: ADD 000008aa: AND 000008ab: DUP3 000008ac: ADD 000008ad: DUP1 000008ae: PUSH1 0x40 000008b0: MSTORE 000008b1: POP 000008b2: DUP2 000008b3: ADD 000008b4: SWAP1 000008b5: PUSH2 0x08be 000008b8: SWAP2 000008b9: SWAP1 000008ba: PUSH2 0x1471 000008bd: JUMP 000008be: JUMPDEST 000008bf: PUSH2 0x08c7 000008c2: JUMPI 000008c3: PUSH1 0x00 000008c5: DUP1 000008c6: REVERT 000008c7: JUMPDEST 000008c8: PUSH2 0x01a9 000008cb: PUSH2 0x08d6 000008ce: DUP5 000008cf: PUSH2 0x03e8 000008d2: PUSH2 0x1626 000008d5: JUMP 000008d6: JUMPDEST 000008d7: PUSH2 0x08e0 000008da: SWAP2 000008db: SWAP1 000008dc: PUSH2 0x157f 000008df: JUMP 000008e0: JUMPDEST 000008e1: SWAP1 000008e2: POP 000008e3: PUSH2 0x0932 000008e6: JUMP 000008e7: JUMPDEST 000008e8: PUSH1 0x00 000008ea: PUSH2 0x08f1 000008ed: PUSH2 0x1374 000008f0: JUMP 000008f1: JUMPDEST 000008f2: SWAP1 000008f3: POP 000008f4: PUSH1 0x00 000008f6: PUSH8 0x0de0b6b3a7640000 000008ff: PUSH2 0x0908 00000902: DUP4 00000903: CALLVALUE 00000904: PUSH2 0x1626 00000907: JUMP 00000908: JUMPDEST 00000909: PUSH2 0x0912 0000090c: SWAP2 0000090d: SWAP1 0000090e: PUSH2 0x157f 00000911: JUMP 00000912: JUMPDEST 00000913: SWAP1 00000914: POP 00000915: PUSH2 0x01a9 00000918: PUSH2 0x0923 0000091b: DUP3 0000091c: PUSH2 0x03e8 0000091f: PUSH2 0x1626 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH2 0x092d 00000927: SWAP2 00000928: SWAP1 00000929: PUSH2 0x157f 0000092c: JUMP 0000092d: JUMPDEST 0000092e: SWAP3 0000092f: POP 00000930: POP 00000931: POP 00000932: JUMPDEST 00000933: PUSH32 0x00000000000000000000000000000000000000000000001b1ae4d6e2ef500000 00000954: PUSH2 0x0965 00000957: DUP3 00000958: PUSH8 0x0de0b6b3a7640000 00000961: PUSH2 0x1567 00000964: JUMP 00000965: JUMPDEST 00000966: LT 00000967: ISZERO 00000968: PUSH2 0x09a7 0000096b: JUMPI 0000096c: PUSH1 0x40 0000096e: MLOAD 0000096f: PUSH3 0x461bcd 00000973: PUSH1 0xe5 00000975: SHL 00000976: DUP2 00000977: MSTORE 00000978: PUSH1 0x20 0000097a: PUSH1 0x04 0000097c: DUP3 0000097d: ADD 0000097e: MSTORE 0000097f: PUSH1 0x11 00000981: PUSH1 0x24 00000983: DUP3 00000984: ADD 00000985: MSTORE 00000986: PUSH17 0x426164546f6b656e735175616e74697479 00000998: PUSH1 0x78 0000099a: SHL 0000099b: PUSH1 0x44 0000099d: DUP3 0000099e: ADD 0000099f: MSTORE 000009a0: PUSH1 0x64 000009a2: ADD 000009a3: PUSH2 0x02f2 000009a6: JUMP 000009a7: JUMPDEST 000009a8: DUP1 000009a9: PUSH1 0x00 000009ab: SLOAD 000009ac: PUSH32 0x0000000000000000000000000000000000000000006b88921f0410abc2000000 000009cd: PUSH2 0x09d6 000009d0: SWAP2 000009d1: SWAP1 000009d2: PUSH2 0x1645 000009d5: JUMP 000009d6: JUMPDEST 000009d7: LT 000009d8: ISZERO 000009d9: PUSH2 0x0a1a 000009dc: JUMPI 000009dd: PUSH1 0x40 000009df: MLOAD 000009e0: PUSH3 0x461bcd 000009e4: PUSH1 0xe5 000009e6: SHL 000009e7: DUP2 000009e8: MSTORE 000009e9: PUSH1 0x20 000009eb: PUSH1 0x04 000009ed: DUP3 000009ee: ADD 000009ef: MSTORE 000009f0: PUSH1 0x13 000009f2: PUSH1 0x24 000009f4: DUP3 000009f5: ADD 000009f6: MSTORE 000009f7: PUSH19 0x4e6f456e6f756768546f6b656e73496e49434f 00000a0b: PUSH1 0x68 00000a0d: SHL 00000a0e: PUSH1 0x44 00000a10: DUP3 00000a11: ADD 00000a12: MSTORE 00000a13: PUSH1 0x64 00000a15: ADD 00000a16: PUSH2 0x02f2 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: CALLER 00000a1c: PUSH1 0x00 00000a1e: SWAP1 00000a1f: DUP2 00000a20: MSTORE 00000a21: PUSH1 0x02 00000a23: PUSH1 0x20 00000a25: MSTORE 00000a26: PUSH1 0x40 00000a28: DUP2 00000a29: KECCAK256 00000a2a: DUP1 00000a2b: SLOAD 00000a2c: DUP4 00000a2d: SWAP3 00000a2e: SWAP1 00000a2f: PUSH2 0x0a39 00000a32: SWAP1 00000a33: DUP5 00000a34: SWAP1 00000a35: PUSH2 0x1567 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: SWAP3 00000a3b: POP 00000a3c: POP 00000a3d: DUP2 00000a3e: SWAP1 00000a3f: SSTORE 00000a40: POP 00000a41: DUP1 00000a42: PUSH1 0x00 00000a44: DUP1 00000a45: DUP3 00000a46: DUP3 00000a47: SLOAD 00000a48: PUSH2 0x0a51 00000a4b: SWAP2 00000a4c: SWAP1 00000a4d: PUSH2 0x1567 00000a50: JUMP 00000a51: JUMPDEST 00000a52: SWAP1 00000a53: SWAP2 00000a54: SSTORE 00000a55: POP 00000a56: POP 00000a57: PUSH1 0x00 00000a59: SLOAD 00000a5a: PUSH32 0x00000000000000000000000000000000000000000000001b1ae4d6e2ef500000 00000a7b: SWAP1 00000a7c: PUSH2 0x0aa5 00000a7f: SWAP1 00000a80: PUSH32 0x0000000000000000000000000000000000000000006b88921f0410abc2000000 00000aa1: PUSH2 0x1645 00000aa4: JUMP 00000aa5: JUMPDEST 00000aa6: LT 00000aa7: ISZERO 00000aa8: PUSH2 0x0af3 00000aab: JUMPI 00000aac: PUSH1 0x04 00000aae: DUP1 00000aaf: SLOAD 00000ab0: PUSH1 0xff 00000ab2: NOT 00000ab3: AND 00000ab4: PUSH1 0x01 00000ab6: OR 00000ab7: SWAP1 00000ab8: SSTORE 00000ab9: PUSH1 0x40 00000abb: MLOAD 00000abc: PUSH32 0x1439ad43a1f644074e66ea5958c5618b9209af5a58099c4103aaa0ef63ea6638 00000add: SWAP1 00000ade: PUSH2 0x0aea 00000ae1: SWAP1 00000ae2: TIMESTAMP 00000ae3: DUP2 00000ae4: MSTORE 00000ae5: PUSH1 0x20 00000ae7: ADD 00000ae8: SWAP1 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: PUSH1 0x40 00000aed: MLOAD 00000aee: DUP1 00000aef: SWAP2 00000af0: SUB 00000af1: SWAP1 00000af2: LOG1 00000af3: JUMPDEST 00000af4: PUSH1 0x40 00000af6: DUP1 00000af7: MLOAD 00000af8: CALLER 00000af9: DUP2 00000afa: MSTORE 00000afb: PUSH1 0x20 00000afd: DUP2 00000afe: ADD 00000aff: DUP4 00000b00: SWAP1 00000b01: MSTORE 00000b02: SWAP1 00000b03: DUP2 00000b04: ADD 00000b05: DUP5 00000b06: SWAP1 00000b07: MSTORE 00000b08: PUSH1 0x01 00000b0a: PUSH1 0x01 00000b0c: PUSH1 0xa0 00000b0e: SHL 00000b0f: SUB 00000b10: DUP4 00000b11: AND 00000b12: PUSH1 0x60 00000b14: DUP3 00000b15: ADD 00000b16: MSTORE 00000b17: PUSH32 0xe51a4086d5fcb63bdece3b1f2cf69db1dd7ddc78814512a2c677e4fc7ca1b17f 00000b38: SWAP1 00000b39: PUSH1 0x80 00000b3b: ADD 00000b3c: PUSH2 0x0662 00000b3f: JUMP 00000b40: JUMPDEST 00000b41: PUSH2 0x0b48 00000b44: PUSH2 0x1302 00000b47: JUMP 00000b48: JUMPDEST 00000b49: ISZERO 00000b4a: PUSH2 0x0b65 00000b4d: JUMPI 00000b4e: PUSH1 0x40 00000b50: MLOAD 00000b51: PUSH3 0x461bcd 00000b55: PUSH1 0xe5 00000b57: SHL 00000b58: DUP2 00000b59: MSTORE 00000b5a: PUSH1 0x04 00000b5c: ADD 00000b5d: PUSH2 0x02f2 00000b60: SWAP1 00000b61: PUSH2 0x1541 00000b64: JUMP 00000b65: JUMPDEST 00000b66: CALLER 00000b67: PUSH1 0x00 00000b69: SWAP1 00000b6a: DUP2 00000b6b: MSTORE 00000b6c: PUSH1 0x02 00000b6e: PUSH1 0x20 00000b70: MSTORE 00000b71: PUSH1 0x40 00000b73: SWAP1 00000b74: KECCAK256 00000b75: SLOAD 00000b76: PUSH2 0x0bad 00000b79: JUMPI 00000b7a: PUSH1 0x40 00000b7c: MLOAD 00000b7d: PUSH3 0x461bcd 00000b81: PUSH1 0xe5 00000b83: SHL 00000b84: DUP2 00000b85: MSTORE 00000b86: PUSH1 0x20 00000b88: PUSH1 0x04 00000b8a: DUP3 00000b8b: ADD 00000b8c: MSTORE 00000b8d: PUSH1 0x09 00000b8f: PUSH1 0x24 00000b91: DUP3 00000b92: ADD 00000b93: MSTORE 00000b94: PUSH9 0x4e6f42616c616e6365 00000b9e: PUSH1 0xb8 00000ba0: SHL 00000ba1: PUSH1 0x44 00000ba3: DUP3 00000ba4: ADD 00000ba5: MSTORE 00000ba6: PUSH1 0x64 00000ba8: ADD 00000ba9: PUSH2 0x02f2 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH1 0x01 00000bb0: SLOAD 00000bb1: TIMESTAMP 00000bb2: LT 00000bb3: ISZERO 00000bb4: PUSH2 0x0bf2 00000bb7: JUMPI 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: PUSH3 0x461bcd 00000bbf: PUSH1 0xe5 00000bc1: SHL 00000bc2: DUP2 00000bc3: MSTORE 00000bc4: PUSH1 0x20 00000bc6: PUSH1 0x04 00000bc8: DUP3 00000bc9: ADD 00000bca: MSTORE 00000bcb: PUSH1 0x10 00000bcd: PUSH1 0x24 00000bcf: DUP3 00000bd0: ADD 00000bd1: MSTORE 00000bd2: PUSH16 0x151bdad95b939bd31a5cdd195916595d 00000be3: PUSH1 0x82 00000be5: SHL 00000be6: PUSH1 0x44 00000be8: DUP3 00000be9: ADD 00000bea: MSTORE 00000beb: PUSH1 0x64 00000bed: ADD 00000bee: PUSH2 0x02f2 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: CALLER 00000bf4: PUSH1 0x00 00000bf6: SWAP1 00000bf7: DUP2 00000bf8: MSTORE 00000bf9: PUSH1 0x02 00000bfb: PUSH1 0x20 00000bfd: MSTORE 00000bfe: PUSH1 0x40 00000c00: DUP2 00000c01: KECCAK256 00000c02: SLOAD 00000c03: PUSH1 0x01 00000c05: SLOAD 00000c06: SWAP1 00000c07: SWAP2 00000c08: SWAP1 00000c09: TIMESTAMP 00000c0a: LT 00000c0b: DUP1 00000c0c: ISZERO 00000c0d: SWAP1 00000c0e: PUSH2 0x0c25 00000c11: JUMPI 00000c12: POP 00000c13: PUSH1 0x01 00000c15: SLOAD 00000c16: PUSH2 0x0c22 00000c19: SWAP1 00000c1a: PUSH3 0x76a700 00000c1e: PUSH2 0x1567 00000c21: JUMP 00000c22: JUMPDEST 00000c23: TIMESTAMP 00000c24: LT 00000c25: JUMPDEST 00000c26: ISZERO 00000c27: PUSH2 0x0c99 00000c2a: JUMPI 00000c2b: PUSH10 0x04fb9058dcb78d680000 00000c36: DUP3 00000c37: GT 00000c38: PUSH2 0x0c5c 00000c3b: JUMPI 00000c3c: CALLER 00000c3d: PUSH1 0x00 00000c3f: SWAP1 00000c40: DUP2 00000c41: MSTORE 00000c42: PUSH1 0x03 00000c44: PUSH1 0x20 00000c46: MSTORE 00000c47: PUSH1 0x40 00000c49: SWAP1 00000c4a: KECCAK256 00000c4b: SLOAD 00000c4c: PUSH2 0x0c55 00000c4f: SWAP1 00000c50: DUP4 00000c51: PUSH2 0x1645 00000c54: JUMP 00000c55: JUMPDEST 00000c56: SWAP1 00000c57: POP 00000c58: PUSH2 0x0d9a 00000c5b: JUMP 00000c5c: JUMPDEST 00000c5d: PUSH1 0x00 00000c5f: PUSH1 0x64 00000c61: PUSH2 0x0c6b 00000c64: DUP5 00000c65: PUSH1 0x19 00000c67: PUSH2 0x1626 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: PUSH2 0x0c75 00000c6f: SWAP2 00000c70: SWAP1 00000c71: PUSH2 0x157f 00000c74: JUMP 00000c75: JUMPDEST 00000c76: CALLER 00000c77: PUSH1 0x00 00000c79: SWAP1 00000c7a: DUP2 00000c7b: MSTORE 00000c7c: PUSH1 0x03 00000c7e: PUSH1 0x20 00000c80: MSTORE 00000c81: PUSH1 0x40 00000c83: SWAP1 00000c84: KECCAK256 00000c85: SLOAD 00000c86: SWAP1 00000c87: SWAP2 00000c88: POP 00000c89: DUP2 00000c8a: GT 00000c8b: ISZERO 00000c8c: PUSH2 0x0c93 00000c8f: JUMPI 00000c90: DUP1 00000c91: SWAP2 00000c92: POP 00000c93: JUMPDEST 00000c94: POP 00000c95: PUSH2 0x0d9a 00000c98: JUMP 00000c99: JUMPDEST 00000c9a: PUSH1 0x01 00000c9c: SLOAD 00000c9d: PUSH2 0x0ca9 00000ca0: SWAP1 00000ca1: PUSH3 0x76a700 00000ca5: PUSH2 0x1567 00000ca8: JUMP 00000ca9: JUMPDEST 00000caa: TIMESTAMP 00000cab: LT 00000cac: ISZERO 00000cad: DUP1 00000cae: ISZERO 00000caf: PUSH2 0x0cc6 00000cb2: JUMPI 00000cb3: POP 00000cb4: PUSH1 0x01 00000cb6: SLOAD 00000cb7: PUSH2 0x0cc3 00000cba: SWAP1 00000cbb: PUSH3 0xed4e00 00000cbf: PUSH2 0x1567 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: TIMESTAMP 00000cc5: LT 00000cc6: JUMPDEST 00000cc7: ISZERO 00000cc8: PUSH2 0x0d20 00000ccb: JUMPI 00000ccc: PUSH1 0x00 00000cce: PUSH1 0x64 00000cd0: PUSH2 0x0cda 00000cd3: DUP5 00000cd4: PUSH1 0x32 00000cd6: PUSH2 0x1626 00000cd9: JUMP 00000cda: JUMPDEST 00000cdb: PUSH2 0x0ce4 00000cde: SWAP2 00000cdf: SWAP1 00000ce0: PUSH2 0x157f 00000ce3: JUMP 00000ce4: JUMPDEST 00000ce5: CALLER 00000ce6: PUSH1 0x00 00000ce8: SWAP1 00000ce9: DUP2 00000cea: MSTORE 00000ceb: PUSH1 0x03 00000ced: PUSH1 0x20 00000cef: MSTORE 00000cf0: PUSH1 0x40 00000cf2: SWAP1 00000cf3: KECCAK256 00000cf4: SLOAD 00000cf5: SWAP1 00000cf6: SWAP2 00000cf7: POP 00000cf8: DUP2 00000cf9: GT 00000cfa: ISZERO 00000cfb: PUSH2 0x0c93 00000cfe: JUMPI 00000cff: CALLER 00000d00: PUSH1 0x00 00000d02: SWAP1 00000d03: DUP2 00000d04: MSTORE 00000d05: PUSH1 0x03 00000d07: PUSH1 0x20 00000d09: MSTORE 00000d0a: PUSH1 0x40 00000d0c: SWAP1 00000d0d: KECCAK256 00000d0e: SLOAD 00000d0f: PUSH2 0x0d18 00000d12: SWAP1 00000d13: DUP3 00000d14: PUSH2 0x1645 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP2 00000d1a: POP 00000d1b: POP 00000d1c: PUSH2 0x0d9a 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x01 00000d23: SLOAD 00000d24: PUSH2 0x0d30 00000d27: SWAP1 00000d28: PUSH3 0xed4e00 00000d2c: PUSH2 0x1567 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: TIMESTAMP 00000d32: LT 00000d33: ISZERO 00000d34: DUP1 00000d35: ISZERO 00000d36: PUSH2 0x0d4e 00000d39: JUMPI 00000d3a: POP 00000d3b: PUSH1 0x01 00000d3d: SLOAD 00000d3e: PUSH2 0x0d4b 00000d41: SWAP1 00000d42: PUSH4 0x0163f500 00000d47: PUSH2 0x1567 00000d4a: JUMP 00000d4b: JUMPDEST 00000d4c: TIMESTAMP 00000d4d: LT 00000d4e: JUMPDEST 00000d4f: ISZERO 00000d50: PUSH2 0x0d62 00000d53: JUMPI 00000d54: PUSH1 0x00 00000d56: PUSH1 0x64 00000d58: PUSH2 0x0cda 00000d5b: DUP5 00000d5c: PUSH1 0x4b 00000d5e: PUSH2 0x1626 00000d61: JUMP 00000d62: JUMPDEST 00000d63: CALLER 00000d64: PUSH1 0x00 00000d66: SWAP1 00000d67: DUP2 00000d68: MSTORE 00000d69: PUSH1 0x03 00000d6b: PUSH1 0x20 00000d6d: MSTORE 00000d6e: PUSH1 0x40 00000d70: SWAP1 00000d71: KECCAK256 00000d72: SLOAD 00000d73: DUP3 00000d74: SWAP1 00000d75: DUP2 00000d76: GT 00000d77: ISZERO 00000d78: PUSH2 0x0d98 00000d7b: JUMPI 00000d7c: CALLER 00000d7d: PUSH1 0x00 00000d7f: SWAP1 00000d80: DUP2 00000d81: MSTORE 00000d82: PUSH1 0x03 00000d84: PUSH1 0x20 00000d86: MSTORE 00000d87: PUSH1 0x40 00000d89: SWAP1 00000d8a: KECCAK256 00000d8b: SLOAD 00000d8c: PUSH2 0x0d95 00000d8f: SWAP1 00000d90: DUP3 00000d91: PUSH2 0x1645 00000d94: JUMP 00000d95: JUMPDEST 00000d96: SWAP2 00000d97: POP 00000d98: JUMPDEST 00000d99: POP 00000d9a: JUMPDEST 00000d9b: PUSH1 0x00 00000d9d: DUP2 00000d9e: GT 00000d9f: PUSH2 0x0ddf 00000da2: JUMPI 00000da3: PUSH1 0x40 00000da5: MLOAD 00000da6: PUSH3 0x461bcd 00000daa: PUSH1 0xe5 00000dac: SHL 00000dad: DUP2 00000dae: MSTORE 00000daf: PUSH1 0x20 00000db1: PUSH1 0x04 00000db3: DUP3 00000db4: ADD 00000db5: MSTORE 00000db6: PUSH1 0x12 00000db8: PUSH1 0x24 00000dba: DUP3 00000dbb: ADD 00000dbc: MSTORE 00000dbd: PUSH18 0x4e6f546f6b656e73546f5769746864726177 00000dd0: PUSH1 0x70 00000dd2: SHL 00000dd3: PUSH1 0x44 00000dd5: DUP3 00000dd6: ADD 00000dd7: MSTORE 00000dd8: PUSH1 0x64 00000dda: ADD 00000ddb: PUSH2 0x02f2 00000dde: JUMP 00000ddf: JUMPDEST 00000de0: CALLER 00000de1: PUSH1 0x00 00000de3: SWAP1 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x03 00000de8: PUSH1 0x20 00000dea: MSTORE 00000deb: PUSH1 0x40 00000ded: DUP2 00000dee: KECCAK256 00000def: DUP1 00000df0: SLOAD 00000df1: DUP4 00000df2: SWAP3 00000df3: SWAP1 00000df4: PUSH2 0x0dfe 00000df7: SWAP1 00000df8: DUP5 00000df9: SWAP1 00000dfa: PUSH2 0x1567 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: SWAP1 00000e00: SWAP2 00000e01: SSTORE 00000e02: POP 00000e03: POP 00000e04: PUSH1 0x40 00000e06: MLOAD 00000e07: PUSH4 0xa9059cbb 00000e0c: PUSH1 0xe0 00000e0e: SHL 00000e0f: DUP2 00000e10: MSTORE 00000e11: CALLER 00000e12: PUSH1 0x04 00000e14: DUP3 00000e15: ADD 00000e16: MSTORE 00000e17: PUSH1 0x24 00000e19: DUP2 00000e1a: ADD 00000e1b: DUP3 00000e1c: SWAP1 00000e1d: MSTORE 00000e1e: PUSH32 0x000000000000000000000000c987b821048edcb9f5aa126125b95e44e2532a6a 00000e3f: PUSH1 0x01 00000e41: PUSH1 0x01 00000e43: PUSH1 0xa0 00000e45: SHL 00000e46: SUB 00000e47: AND 00000e48: SWAP1 00000e49: PUSH4 0xa9059cbb 00000e4e: SWAP1 00000e4f: PUSH1 0x44 00000e51: ADD 00000e52: PUSH1 0x20 00000e54: PUSH1 0x40 00000e56: MLOAD 00000e57: DUP1 00000e58: DUP4 00000e59: SUB 00000e5a: DUP2 00000e5b: PUSH1 0x00 00000e5d: DUP8 00000e5e: DUP1 00000e5f: EXTCODESIZE 00000e60: ISZERO 00000e61: DUP1 00000e62: ISZERO 00000e63: PUSH2 0x0e6b 00000e66: JUMPI 00000e67: PUSH1 0x00 00000e69: DUP1 00000e6a: REVERT 00000e6b: JUMPDEST 00000e6c: POP 00000e6d: GAS 00000e6e: CALL 00000e6f: ISZERO 00000e70: DUP1 00000e71: ISZERO 00000e72: PUSH2 0x0e7f 00000e75: JUMPI 00000e76: RETURNDATASIZE 00000e77: PUSH1 0x00 00000e79: DUP1 00000e7a: RETURNDATACOPY 00000e7b: RETURNDATASIZE 00000e7c: PUSH1 0x00 00000e7e: REVERT 00000e7f: JUMPDEST 00000e80: POP 00000e81: POP 00000e82: POP 00000e83: POP 00000e84: PUSH1 0x40 00000e86: MLOAD 00000e87: RETURNDATASIZE 00000e88: PUSH1 0x1f 00000e8a: NOT 00000e8b: PUSH1 0x1f 00000e8d: DUP3 00000e8e: ADD 00000e8f: AND 00000e90: DUP3 00000e91: ADD 00000e92: DUP1 00000e93: PUSH1 0x40 00000e95: MSTORE 00000e96: POP 00000e97: DUP2 00000e98: ADD 00000e99: SWAP1 00000e9a: PUSH2 0x0ea3 00000e9d: SWAP2 00000e9e: SWAP1 00000e9f: PUSH2 0x1471 00000ea2: JUMP 00000ea3: JUMPDEST 00000ea4: PUSH2 0x0eac 00000ea7: JUMPI 00000ea8: PUSH1 0x00 00000eaa: DUP1 00000eab: REVERT 00000eac: JUMPDEST 00000ead: PUSH1 0x40 00000eaf: DUP1 00000eb0: MLOAD 00000eb1: CALLER 00000eb2: DUP2 00000eb3: MSTORE 00000eb4: PUSH1 0x20 00000eb6: DUP2 00000eb7: ADD 00000eb8: DUP4 00000eb9: SWAP1 00000eba: MSTORE 00000ebb: PUSH32 0xe6d97b7230b7533250b019a2d66bad1597ba7927b43c4fb1c9475fe5096b625d 00000edc: SWAP2 00000edd: ADD 00000ede: PUSH1 0x40 00000ee0: MLOAD 00000ee1: DUP1 00000ee2: SWAP2 00000ee3: SUB 00000ee4: SWAP1 00000ee5: LOG1 00000ee6: POP 00000ee7: POP 00000ee8: JUMP 00000ee9: JUMPDEST 00000eea: PUSH1 0x00 00000eec: PUSH2 0x0ef3 00000eef: PUSH2 0x1374 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: SWAP1 00000ef5: POP 00000ef6: SWAP1 00000ef7: JUMP 00000ef8: JUMPDEST 00000ef9: PUSH1 0x40 00000efb: MLOAD 00000efc: PUSH4 0x70a08231 00000f01: PUSH1 0xe0 00000f03: SHL 00000f04: DUP2 00000f05: MSTORE 00000f06: ADDRESS 00000f07: PUSH1 0x04 00000f09: DUP3 00000f0a: ADD 00000f0b: MSTORE 00000f0c: PUSH1 0x00 00000f0e: SWAP1 00000f0f: DUP2 00000f10: SWAP1 00000f11: DUP2 00000f12: SWAP1 00000f13: DUP2 00000f14: SWAP1 00000f15: PUSH1 0x01 00000f17: PUSH1 0x01 00000f19: PUSH1 0xa0 00000f1b: SHL 00000f1c: SUB 00000f1d: PUSH32 0x000000000000000000000000c987b821048edcb9f5aa126125b95e44e2532a6a 00000f3e: AND 00000f3f: SWAP1 00000f40: PUSH4 0x70a08231 00000f45: SWAP1 00000f46: PUSH1 0x24 00000f48: ADD 00000f49: PUSH1 0x20 00000f4b: PUSH1 0x40 00000f4d: MLOAD 00000f4e: DUP1 00000f4f: DUP4 00000f50: SUB 00000f51: DUP2 00000f52: DUP7 00000f53: DUP1 00000f54: EXTCODESIZE 00000f55: ISZERO 00000f56: DUP1 00000f57: ISZERO 00000f58: PUSH2 0x0f60 00000f5b: JUMPI 00000f5c: PUSH1 0x00 00000f5e: DUP1 00000f5f: REVERT 00000f60: JUMPDEST 00000f61: POP 00000f62: GAS 00000f63: STATICCALL 00000f64: ISZERO 00000f65: DUP1 00000f66: ISZERO 00000f67: PUSH2 0x0f74 00000f6a: JUMPI 00000f6b: RETURNDATASIZE 00000f6c: PUSH1 0x00 00000f6e: DUP1 00000f6f: RETURNDATACOPY 00000f70: RETURNDATASIZE 00000f71: PUSH1 0x00 00000f73: REVERT 00000f74: JUMPDEST 00000f75: POP 00000f76: POP 00000f77: POP 00000f78: POP 00000f79: PUSH1 0x40 00000f7b: MLOAD 00000f7c: RETURNDATASIZE 00000f7d: PUSH1 0x1f 00000f7f: NOT 00000f80: PUSH1 0x1f 00000f82: DUP3 00000f83: ADD 00000f84: AND 00000f85: DUP3 00000f86: ADD 00000f87: DUP1 00000f88: PUSH1 0x40 00000f8a: MSTORE 00000f8b: POP 00000f8c: DUP2 00000f8d: ADD 00000f8e: SWAP1 00000f8f: PUSH2 0x0f98 00000f92: SWAP2 00000f93: SWAP1 00000f94: PUSH2 0x14ac 00000f97: JUMP 00000f98: JUMPDEST 00000f99: PUSH1 0x40 00000f9b: MLOAD 00000f9c: PUSH4 0x70a08231 00000fa1: PUSH1 0xe0 00000fa3: SHL 00000fa4: DUP2 00000fa5: MSTORE 00000fa6: ADDRESS 00000fa7: PUSH1 0x04 00000fa9: DUP3 00000faa: ADD 00000fab: MSTORE 00000fac: SWAP1 00000fad: SWAP5 00000fae: POP 00000faf: PUSH32 0x000000000000000000000000dac17f958d2ee523a2206206994597c13d831ec7 00000fd0: PUSH1 0x01 00000fd2: PUSH1 0x01 00000fd4: PUSH1 0xa0 00000fd6: SHL 00000fd7: SUB 00000fd8: AND 00000fd9: SWAP1 00000fda: PUSH4 0x70a08231 00000fdf: SWAP1 00000fe0: PUSH1 0x24 00000fe2: ADD 00000fe3: PUSH1 0x20 00000fe5: PUSH1 0x40 00000fe7: MLOAD 00000fe8: DUP1 00000fe9: DUP4 00000fea: SUB 00000feb: DUP2 00000fec: DUP7 00000fed: DUP1 00000fee: EXTCODESIZE 00000fef: ISZERO 00000ff0: DUP1 00000ff1: ISZERO 00000ff2: PUSH2 0x0ffa 00000ff5: JUMPI 00000ff6: PUSH1 0x00 00000ff8: DUP1 00000ff9: REVERT 00000ffa: JUMPDEST 00000ffb: POP 00000ffc: GAS 00000ffd: STATICCALL 00000ffe: ISZERO 00000fff: DUP1 00001000: ISZERO 00001001: PUSH2 0x100e 00001004: JUMPI 00001005: RETURNDATASIZE 00001006: PUSH1 0x00 00001008: DUP1 00001009: RETURNDATACOPY 0000100a: RETURNDATASIZE 0000100b: PUSH1 0x00 0000100d: REVERT 0000100e: JUMPDEST 0000100f: POP 00001010: POP 00001011: POP 00001012: POP 00001013: PUSH1 0x40 00001015: MLOAD 00001016: RETURNDATASIZE 00001017: PUSH1 0x1f 00001019: NOT 0000101a: PUSH1 0x1f 0000101c: DUP3 0000101d: ADD 0000101e: AND 0000101f: DUP3 00001020: ADD 00001021: DUP1 00001022: PUSH1 0x40 00001024: MSTORE 00001025: POP 00001026: DUP2 00001027: ADD 00001028: SWAP1 00001029: PUSH2 0x1032 0000102c: SWAP2 0000102d: SWAP1 0000102e: PUSH2 0x14ac 00001031: JUMP 00001032: JUMPDEST 00001033: PUSH1 0x40 00001035: MLOAD 00001036: PUSH4 0x70a08231 0000103b: PUSH1 0xe0 0000103d: SHL 0000103e: DUP2 0000103f: MSTORE 00001040: ADDRESS 00001041: PUSH1 0x04 00001043: DUP3 00001044: ADD 00001045: MSTORE 00001046: SWAP1 00001047: SWAP3 00001048: POP 00001049: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48 0000106a: PUSH1 0x01 0000106c: PUSH1 0x01 0000106e: PUSH1 0xa0 00001070: SHL 00001071: SUB 00001072: AND 00001073: SWAP1 00001074: PUSH4 0x70a08231 00001079: SWAP1 0000107a: PUSH1 0x24 0000107c: ADD 0000107d: PUSH1 0x20 0000107f: PUSH1 0x40 00001081: MLOAD 00001082: DUP1 00001083: DUP4 00001084: SUB 00001085: DUP2 00001086: DUP7 00001087: DUP1 00001088: EXTCODESIZE 00001089: ISZERO 0000108a: DUP1 0000108b: ISZERO 0000108c: PUSH2 0x1094 0000108f: JUMPI 00001090: PUSH1 0x00 00001092: DUP1 00001093: REVERT 00001094: JUMPDEST 00001095: POP 00001096: GAS 00001097: STATICCALL 00001098: ISZERO 00001099: DUP1 0000109a: ISZERO 0000109b: PUSH2 0x10a8 0000109e: JUMPI 0000109f: RETURNDATASIZE 000010a0: PUSH1 0x00 000010a2: DUP1 000010a3: RETURNDATACOPY 000010a4: RETURNDATASIZE 000010a5: PUSH1 0x00 000010a7: REVERT 000010a8: JUMPDEST 000010a9: POP 000010aa: POP 000010ab: POP 000010ac: POP 000010ad: PUSH1 0x40 000010af: MLOAD 000010b0: RETURNDATASIZE 000010b1: PUSH1 0x1f 000010b3: NOT 000010b4: PUSH1 0x1f 000010b6: DUP3 000010b7: ADD 000010b8: AND 000010b9: DUP3 000010ba: ADD 000010bb: DUP1 000010bc: PUSH1 0x40 000010be: MSTORE 000010bf: POP 000010c0: DUP2 000010c1: ADD 000010c2: SWAP1 000010c3: PUSH2 0x10cc 000010c6: SWAP2 000010c7: SWAP1 000010c8: PUSH2 0x14ac 000010cb: JUMP 000010cc: JUMPDEST 000010cd: SWAP1 000010ce: POP 000010cf: SELFBALANCE 000010d0: SWAP3 000010d1: POP 000010d2: SWAP1 000010d3: SWAP2 000010d4: SWAP3 000010d5: SWAP4 000010d6: JUMP 000010d7: JUMPDEST 000010d8: PUSH1 0x00 000010da: DUP2 000010db: PUSH2 0x10e6 000010de: JUMPI 000010df: POP 000010e0: POP 000010e1: PUSH1 0x01 000010e3: SLOAD 000010e4: SWAP1 000010e5: JUMP 000010e6: JUMPDEST 000010e7: DUP2 000010e8: PUSH1 0x01 000010ea: EQ 000010eb: ISZERO 000010ec: PUSH2 0x1105 000010ef: JUMPI 000010f0: PUSH1 0x01 000010f2: SLOAD 000010f3: PUSH2 0x10ff 000010f6: SWAP1 000010f7: PUSH3 0x76a700 000010fb: PUSH2 0x1567 000010fe: JUMP 000010ff: JUMPDEST 00001100: SWAP3 00001101: SWAP2 00001102: POP 00001103: POP 00001104: JUMP 00001105: JUMPDEST 00001106: DUP2 00001107: PUSH1 0x02 00001109: EQ 0000110a: ISZERO 0000110b: PUSH2 0x111e 0000110e: JUMPI 0000110f: PUSH1 0x01 00001111: SLOAD 00001112: PUSH2 0x10ff 00001115: SWAP1 00001116: PUSH3 0xed4e00 0000111a: PUSH2 0x1567 0000111d: JUMP 0000111e: JUMPDEST 0000111f: DUP2 00001120: PUSH1 0x03 00001122: EQ 00001123: ISZERO 00001124: PUSH2 0x1138 00001127: JUMPI 00001128: PUSH1 0x01 0000112a: SLOAD 0000112b: PUSH2 0x10ff 0000112e: SWAP1 0000112f: PUSH4 0x0163f500 00001134: PUSH2 0x1567 00001137: JUMP 00001138: JUMPDEST 00001139: SWAP2 0000113a: SWAP1 0000113b: POP 0000113c: JUMP 0000113d: JUMPDEST 0000113e: PUSH1 0x00 00001140: PUSH2 0x0ef3 00001143: PUSH2 0x1302 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH1 0x00 0000114a: DUP1 0000114b: PUSH2 0x1152 0000114e: PUSH2 0x1374 00001151: JUMP 00001152: JUMPDEST 00001153: SWAP1 00001154: POP 00001155: DUP1 00001156: PUSH2 0x1167 00001159: DUP5 0000115a: PUSH8 0x0de0b6b3a7640000 00001163: PUSH2 0x1626 00001166: JUMP 00001167: JUMPDEST 00001168: PUSH2 0x1171 0000116b: SWAP2 0000116c: SWAP1 0000116d: PUSH2 0x157f 00001170: JUMP 00001171: JUMPDEST 00001172: SWAP4 00001173: SWAP3 00001174: POP 00001175: POP 00001176: POP 00001177: JUMP 00001178: JUMPDEST 00001179: PUSH2 0x1180 0000117c: PUSH2 0x1302 0000117f: JUMP 00001180: JUMPDEST 00001181: ISZERO 00001182: PUSH2 0x119d 00001185: JUMPI 00001186: PUSH1 0x40 00001188: MLOAD 00001189: PUSH3 0x461bcd 0000118d: PUSH1 0xe5 0000118f: SHL 00001190: DUP2 00001191: MSTORE 00001192: PUSH1 0x04 00001194: ADD 00001195: PUSH2 0x02f2 00001198: SWAP1 00001199: PUSH2 0x1541 0000119c: JUMP 0000119d: JUMPDEST 0000119e: CALLER 0000119f: PUSH1 0x01 000011a1: PUSH1 0x01 000011a3: PUSH1 0xa0 000011a5: SHL 000011a6: SUB 000011a7: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18 000011c8: AND 000011c9: EQ 000011ca: PUSH2 0x1201 000011cd: JUMPI 000011ce: PUSH1 0x40 000011d0: MLOAD 000011d1: PUSH3 0x461bcd 000011d5: PUSH1 0xe5 000011d7: SHL 000011d8: DUP2 000011d9: MSTORE 000011da: PUSH1 0x20 000011dc: PUSH1 0x04 000011de: DUP3 000011df: ADD 000011e0: MSTORE 000011e1: PUSH1 0x09 000011e3: PUSH1 0x24 000011e5: DUP3 000011e6: ADD 000011e7: MSTORE 000011e8: PUSH9 0x4f6e6c795869667261 000011f2: PUSH1 0xb8 000011f4: SHL 000011f5: PUSH1 0x44 000011f7: DUP3 000011f8: ADD 000011f9: MSTORE 000011fa: PUSH1 0x64 000011fc: ADD 000011fd: PUSH2 0x02f2 00001200: JUMP 00001201: JUMPDEST 00001202: PUSH1 0x00 00001204: DUP1 00001205: SLOAD 00001206: PUSH2 0x122f 00001209: SWAP1 0000120a: PUSH32 0x0000000000000000000000000000000000000000006b88921f0410abc2000000 0000122b: PUSH2 0x1645 0000122e: JUMP 0000122f: JUMPDEST 00001230: PUSH1 0x40 00001232: MLOAD 00001233: PUSH4 0xa9059cbb 00001238: PUSH1 0xe0 0000123a: SHL 0000123b: DUP2 0000123c: MSTORE 0000123d: PUSH1 0x01 0000123f: PUSH1 0x01 00001241: PUSH1 0xa0 00001243: SHL 00001244: SUB 00001245: PUSH32 0x0000000000000000000000001ef7f06bb20a8ebf23da0e8d6e5589c1e726eb18 00001266: DUP2 00001267: AND 00001268: PUSH1 0x04 0000126a: DUP4 0000126b: ADD 0000126c: MSTORE 0000126d: PUSH1 0x24 0000126f: DUP3 00001270: ADD 00001271: DUP4 00001272: SWAP1 00001273: MSTORE 00001274: SWAP2 00001275: SWAP3 00001276: POP 00001277: PUSH32 0x000000000000000000000000c987b821048edcb9f5aa126125b95e44e2532a6a 00001298: SWAP1 00001299: SWAP2 0000129a: AND 0000129b: SWAP1 0000129c: PUSH4 0xa9059cbb 000012a1: SWAP1 000012a2: PUSH1 0x44 000012a4: ADD 000012a5: PUSH1 0x20 000012a7: PUSH1 0x40 000012a9: MLOAD 000012aa: DUP1 000012ab: DUP4 000012ac: SUB 000012ad: DUP2 000012ae: PUSH1 0x00 000012b0: DUP8 000012b1: DUP1 000012b2: EXTCODESIZE 000012b3: ISZERO 000012b4: DUP1 000012b5: ISZERO 000012b6: PUSH2 0x12be 000012b9: JUMPI 000012ba: PUSH1 0x00 000012bc: DUP1 000012bd: REVERT 000012be: JUMPDEST 000012bf: POP 000012c0: GAS 000012c1: CALL 000012c2: ISZERO 000012c3: DUP1 000012c4: ISZERO 000012c5: PUSH2 0x12d2 000012c8: JUMPI 000012c9: RETURNDATASIZE 000012ca: PUSH1 0x00 000012cc: DUP1 000012cd: RETURNDATACOPY 000012ce: RETURNDATASIZE 000012cf: PUSH1 0x00 000012d1: REVERT 000012d2: JUMPDEST 000012d3: POP 000012d4: POP 000012d5: POP 000012d6: POP 000012d7: PUSH1 0x40 000012d9: MLOAD 000012da: RETURNDATASIZE 000012db: PUSH1 0x1f 000012dd: NOT 000012de: PUSH1 0x1f 000012e0: DUP3 000012e1: ADD 000012e2: AND 000012e3: DUP3 000012e4: ADD 000012e5: DUP1 000012e6: PUSH1 0x40 000012e8: MSTORE 000012e9: POP 000012ea: DUP2 000012eb: ADD 000012ec: SWAP1 000012ed: PUSH2 0x12f6 000012f0: SWAP2 000012f1: SWAP1 000012f2: PUSH2 0x1471 000012f5: JUMP 000012f6: JUMPDEST 000012f7: PUSH2 0x12ff 000012fa: JUMPI 000012fb: PUSH1 0x00 000012fd: DUP1 000012fe: REVERT 000012ff: JUMPDEST 00001300: POP 00001301: JUMP 00001302: JUMPDEST 00001303: PUSH1 0x00 00001305: PUSH32 0x000000000000000000000000000000000000000000000000000000006192f480 00001326: TIMESTAMP 00001327: LT 00001328: DUP1 00001329: PUSH2 0x1351 0000132c: JUMPI 0000132d: POP 0000132e: PUSH32 0x0000000000000000000000000000000000000000000000000000000061d78280 0000134f: TIMESTAMP 00001350: GT 00001351: JUMPDEST 00001352: DUP1 00001353: PUSH2 0x1363 00001356: JUMPI 00001357: POP 00001358: PUSH1 0x04 0000135a: SLOAD 0000135b: PUSH1 0xff 0000135d: AND 0000135e: ISZERO 0000135f: ISZERO 00001360: PUSH1 0x01 00001362: EQ 00001363: JUMPDEST 00001364: ISZERO 00001365: PUSH2 0x136e 00001368: JUMPI 00001369: POP 0000136a: PUSH1 0x00 0000136c: SWAP1 0000136d: JUMP 0000136e: JUMPDEST 0000136f: POP 00001370: PUSH1 0x01 00001372: SWAP1 00001373: JUMP 00001374: JUMPDEST 00001375: PUSH1 0x00 00001377: DUP1 00001378: PUSH32 0x0000000000000000000000005f4ec3df9cbd43714fe2740f5e3616155c5b8419 00001399: PUSH1 0x01 0000139b: PUSH1 0x01 0000139d: PUSH1 0xa0 0000139f: SHL 000013a0: SUB 000013a1: AND 000013a2: PUSH4 0xfeaf968c 000013a7: PUSH1 0x40 000013a9: MLOAD 000013aa: DUP2 000013ab: PUSH4 0xffffffff 000013b0: AND 000013b1: PUSH1 0xe0 000013b3: SHL 000013b4: DUP2 000013b5: MSTORE 000013b6: PUSH1 0x04 000013b8: ADD 000013b9: PUSH1 0xa0 000013bb: PUSH1 0x40 000013bd: MLOAD 000013be: DUP1 000013bf: DUP4 000013c0: SUB 000013c1: DUP2 000013c2: DUP7 000013c3: DUP1 000013c4: EXTCODESIZE 000013c5: ISZERO 000013c6: DUP1 000013c7: ISZERO 000013c8: PUSH2 0x13d0 000013cb: JUMPI 000013cc: PUSH1 0x00 000013ce: DUP1 000013cf: REVERT 000013d0: JUMPDEST 000013d1: POP 000013d2: GAS 000013d3: STATICCALL 000013d4: ISZERO 000013d5: DUP1 000013d6: ISZERO 000013d7: PUSH2 0x13e4 000013da: JUMPI 000013db: RETURNDATASIZE 000013dc: PUSH1 0x00 000013de: DUP1 000013df: RETURNDATACOPY 000013e0: RETURNDATASIZE 000013e1: PUSH1 0x00 000013e3: REVERT 000013e4: JUMPDEST 000013e5: POP 000013e6: POP 000013e7: POP 000013e8: POP 000013e9: PUSH1 0x40 000013eb: MLOAD 000013ec: RETURNDATASIZE 000013ed: PUSH1 0x1f 000013ef: NOT 000013f0: PUSH1 0x1f 000013f2: DUP3 000013f3: ADD 000013f4: AND 000013f5: DUP3 000013f6: ADD 000013f7: DUP1 000013f8: PUSH1 0x40 000013fa: MSTORE 000013fb: POP 000013fc: DUP2 000013fd: ADD 000013fe: SWAP1 000013ff: PUSH2 0x1408 00001402: SWAP2 00001403: SWAP1 00001404: PUSH2 0x14f1 00001407: JUMP 00001408: JUMPDEST 00001409: POP 0000140a: POP 0000140b: POP 0000140c: SWAP2 0000140d: POP 0000140e: POP 0000140f: DUP1 00001410: PUSH5 0x02540be400 00001416: PUSH2 0x141f 00001419: SWAP2 0000141a: SWAP1 0000141b: PUSH2 0x15a1 0000141e: JUMP 0000141f: JUMPDEST 00001420: SWAP2 00001421: POP 00001422: POP 00001423: SWAP1 00001424: JUMP 00001425: JUMPDEST 00001426: DUP1 00001427: CALLDATALOAD 00001428: PUSH1 0x01 0000142a: PUSH1 0x01 0000142c: PUSH1 0xa0 0000142e: SHL 0000142f: SUB 00001430: DUP2 00001431: AND 00001432: DUP2 00001433: EQ 00001434: PUSH2 0x1138 00001437: JUMPI 00001438: PUSH1 0x00 0000143a: DUP1 0000143b: REVERT 0000143c: JUMPDEST 0000143d: DUP1 0000143e: MLOAD 0000143f: PUSH10 0xffffffffffffffffffff 0000144a: DUP2 0000144b: AND 0000144c: DUP2 0000144d: EQ 0000144e: PUSH2 0x1138 00001451: JUMPI 00001452: PUSH1 0x00 00001454: DUP1 00001455: REVERT 00001456: JUMPDEST 00001457: PUSH1 0x00 00001459: PUSH1 0x20 0000145b: DUP3 0000145c: DUP5 0000145d: SUB 0000145e: SLT 0000145f: ISZERO 00001460: PUSH2 0x1468 00001463: JUMPI 00001464: PUSH1 0x00 00001466: DUP1 00001467: REVERT 00001468: JUMPDEST 00001469: PUSH2 0x1171 0000146c: DUP3 0000146d: PUSH2 0x1425 00001470: JUMP 00001471: JUMPDEST 00001472: PUSH1 0x00 00001474: PUSH1 0x20 00001476: DUP3 00001477: DUP5 00001478: SUB 00001479: SLT 0000147a: ISZERO 0000147b: PUSH2 0x1483 0000147e: JUMPI 0000147f: PUSH1 0x00 00001481: DUP1 00001482: REVERT 00001483: JUMPDEST 00001484: DUP2 00001485: MLOAD 00001486: DUP1 00001487: ISZERO 00001488: ISZERO 00001489: DUP2 0000148a: EQ 0000148b: PUSH2 0x1171 0000148e: JUMPI 0000148f: PUSH1 0x00 00001491: DUP1 00001492: REVERT 00001493: JUMPDEST 00001494: PUSH1 0x00 00001496: PUSH1 0x20 00001498: DUP3 00001499: DUP5 0000149a: SUB 0000149b: SLT 0000149c: ISZERO 0000149d: PUSH2 0x14a5 000014a0: JUMPI 000014a1: PUSH1 0x00 000014a3: DUP1 000014a4: REVERT 000014a5: JUMPDEST 000014a6: POP 000014a7: CALLDATALOAD 000014a8: SWAP2 000014a9: SWAP1 000014aa: POP 000014ab: JUMP 000014ac: JUMPDEST 000014ad: PUSH1 0x00 000014af: PUSH1 0x20 000014b1: DUP3 000014b2: DUP5 000014b3: SUB 000014b4: SLT 000014b5: ISZERO 000014b6: PUSH2 0x14be 000014b9: JUMPI 000014ba: PUSH1 0x00 000014bc: DUP1 000014bd: REVERT 000014be: JUMPDEST 000014bf: POP 000014c0: MLOAD 000014c1: SWAP2 000014c2: SWAP1 000014c3: POP 000014c4: JUMP 000014c5: JUMPDEST 000014c6: PUSH1 0x00 000014c8: DUP1 000014c9: PUSH1 0x40 000014cb: DUP4 000014cc: DUP6 000014cd: SUB 000014ce: SLT 000014cf: ISZERO 000014d0: PUSH2 0x14d8 000014d3: JUMPI 000014d4: PUSH1 0x00 000014d6: DUP1 000014d7: REVERT 000014d8: JUMPDEST 000014d9: DUP3 000014da: CALLDATALOAD 000014db: SWAP2 000014dc: POP 000014dd: PUSH2 0x14e8 000014e0: PUSH1 0x20 000014e2: DUP5 000014e3: ADD 000014e4: PUSH2 0x1425 000014e7: JUMP 000014e8: JUMPDEST 000014e9: SWAP1 000014ea: POP 000014eb: SWAP3 000014ec: POP 000014ed: SWAP3 000014ee: SWAP1 000014ef: POP 000014f0: JUMP 000014f1: JUMPDEST 000014f2: PUSH1 0x00 000014f4: DUP1 000014f5: PUSH1 0x00 000014f7: DUP1 000014f8: PUSH1 0x00 000014fa: PUSH1 0xa0 000014fc: DUP7 000014fd: DUP9 000014fe: SUB 000014ff: SLT 00001500: ISZERO 00001501: PUSH2 0x1509 00001504: JUMPI 00001505: PUSH1 0x00 00001507: DUP1 00001508: REVERT 00001509: JUMPDEST 0000150a: PUSH2 0x1512 0000150d: DUP7 0000150e: PUSH2 0x143c 00001511: JUMP 00001512: JUMPDEST 00001513: SWAP5 00001514: POP 00001515: PUSH1 0x20 00001517: DUP7 00001518: ADD 00001519: MLOAD 0000151a: SWAP4 0000151b: POP 0000151c: PUSH1 0x40 0000151e: DUP7 0000151f: ADD 00001520: MLOAD 00001521: SWAP3 00001522: POP 00001523: PUSH1 0x60 00001525: DUP7 00001526: ADD 00001527: MLOAD 00001528: SWAP2 00001529: POP 0000152a: PUSH2 0x1535 0000152d: PUSH1 0x80 0000152f: DUP8 00001530: ADD 00001531: PUSH2 0x143c 00001534: JUMP 00001535: JUMPDEST 00001536: SWAP1 00001537: POP 00001538: SWAP3 00001539: SWAP6 0000153a: POP 0000153b: SWAP3 0000153c: SWAP6 0000153d: SWAP1 0000153e: SWAP4 0000153f: POP 00001540: JUMP 00001541: JUMPDEST 00001542: PUSH1 0x20 00001544: DUP1 00001545: DUP3 00001546: MSTORE 00001547: PUSH1 0x0c 00001549: SWAP1 0000154a: DUP3 0000154b: ADD 0000154c: MSTORE 0000154d: PUSH12 0x49434f4e6f74416374697665 0000155a: PUSH1 0xa0 0000155c: SHL 0000155d: PUSH1 0x40 0000155f: DUP3 00001560: ADD 00001561: MSTORE 00001562: PUSH1 0x60 00001564: ADD 00001565: SWAP1 00001566: JUMP 00001567: JUMPDEST 00001568: PUSH1 0x00 0000156a: DUP3 0000156b: NOT 0000156c: DUP3 0000156d: GT 0000156e: ISZERO 0000156f: PUSH2 0x157a 00001572: JUMPI 00001573: PUSH2 0x157a 00001576: PUSH2 0x165c 00001579: JUMP 0000157a: JUMPDEST 0000157b: POP 0000157c: ADD 0000157d: SWAP1 0000157e: JUMP 0000157f: JUMPDEST 00001580: PUSH1 0x00 00001582: DUP3 00001583: PUSH2 0x159c 00001586: JUMPI 00001587: PUSH4 0x4e487b71 0000158c: PUSH1 0xe0 0000158e: SHL 0000158f: PUSH1 0x00 00001591: MSTORE 00001592: PUSH1 0x12 00001594: PUSH1 0x04 00001596: MSTORE 00001597: PUSH1 0x24 00001599: PUSH1 0x00 0000159b: REVERT 0000159c: JUMPDEST 0000159d: POP 0000159e: DIV 0000159f: SWAP1 000015a0: JUMP 000015a1: JUMPDEST 000015a2: PUSH1 0x00 000015a4: PUSH1 0x01 000015a6: PUSH1 0x01 000015a8: PUSH1 0xff 000015aa: SHL 000015ab: SUB 000015ac: DUP2 000015ad: DUP5 000015ae: SGT 000015af: DUP3 000015b0: DUP5 000015b1: SGT 000015b2: DUP1 000015b3: DUP3 000015b4: AND 000015b5: DUP7 000015b6: DUP5 000015b7: DIV 000015b8: DUP7 000015b9: GT 000015ba: AND 000015bb: ISZERO 000015bc: PUSH2 0x15c7 000015bf: JUMPI 000015c0: PUSH2 0x15c7 000015c3: PUSH2 0x165c 000015c6: JUMP 000015c7: JUMPDEST 000015c8: PUSH1 0x01 000015ca: PUSH1 0xff 000015cc: SHL 000015cd: PUSH1 0x00 000015cf: DUP8 000015d0: SLT 000015d1: DUP3 000015d2: DUP2 000015d3: AND 000015d4: DUP8 000015d5: DUP4 000015d6: SDIV 000015d7: DUP10 000015d8: SLT 000015d9: AND 000015da: ISZERO 000015db: PUSH2 0x15e6 000015de: JUMPI 000015df: PUSH2 0x15e6 000015e2: PUSH2 0x165c 000015e5: JUMP 000015e6: JUMPDEST 000015e7: PUSH1 0x00 000015e9: DUP8 000015ea: SLT 000015eb: SWAP3 000015ec: POP 000015ed: DUP8 000015ee: DUP3 000015ef: SDIV 000015f0: DUP8 000015f1: SLT 000015f2: DUP5 000015f3: DUP5 000015f4: AND 000015f5: AND 000015f6: ISZERO 000015f7: PUSH2 0x1602 000015fa: JUMPI 000015fb: PUSH2 0x1602 000015fe: PUSH2 0x165c 00001601: JUMP 00001602: JUMPDEST 00001603: DUP8 00001604: DUP6 00001605: SDIV 00001606: DUP8 00001607: SLT 00001608: DUP2 00001609: DUP5 0000160a: AND 0000160b: AND 0000160c: ISZERO 0000160d: PUSH2 0x1618 00001610: JUMPI 00001611: PUSH2 0x1618 00001614: PUSH2 0x165c 00001617: JUMP 00001618: JUMPDEST 00001619: POP 0000161a: POP 0000161b: POP 0000161c: SWAP3 0000161d: SWAP1 0000161e: SWAP4 0000161f: MUL 00001620: SWAP4 00001621: SWAP3 00001622: POP 00001623: POP 00001624: POP 00001625: JUMP 00001626: JUMPDEST 00001627: PUSH1 0x00 00001629: DUP2 0000162a: PUSH1 0x00 0000162c: NOT 0000162d: DIV 0000162e: DUP4 0000162f: GT 00001630: DUP3 00001631: ISZERO 00001632: ISZERO 00001633: AND 00001634: ISZERO 00001635: PUSH2 0x1640 00001638: JUMPI 00001639: PUSH2 0x1640 0000163c: PUSH2 0x165c 0000163f: JUMP 00001640: JUMPDEST 00001641: POP 00001642: MUL 00001643: SWAP1 00001644: JUMP 00001645: JUMPDEST 00001646: PUSH1 0x00 00001648: DUP3 00001649: DUP3 0000164a: LT 0000164b: ISZERO 0000164c: PUSH2 0x1657 0000164f: JUMPI 00001650: PUSH2 0x1657 00001653: PUSH2 0x165c 00001656: JUMP 00001657: JUMPDEST 00001658: POP 00001659: SUB 0000165a: SWAP1 0000165b: JUMP 0000165c: JUMPDEST 0000165d: PUSH4 0x4e487b71 00001662: PUSH1 0xe0 00001664: SHL 00001665: PUSH1 0x00 00001667: MSTORE 00001668: PUSH1 0x11 0000166a: PUSH1 0x04 0000166c: MSTORE 0000166d: PUSH1 0x24 0000166f: PUSH1 0x00 00001671: REVERT 00001672: INVALID 00001673: LOG2 00001674: PUSH5 0x6970667358 0000167a: UNKNOWN(0x22) 0000167b: SLT 0000167c: KECCAK256 0000167d: UNKNOWN(0xB6) 0000167e: UNKNOWN(0xC6) 0000167f: ADDMOD 00001680: ADD 00001681: LOG4 00001682: UNKNOWN(0xD4) 00001683: SLT 00001684: SUB 00001685: UNKNOWN(0xE2) 00001686: MLOAD 00001687: STOP 00001688: UNKNOWN(0x21) 00001689: UNKNOWN(0xE6) 0000168a: PUSH2 0xcc99 0000168d: UNKNOWN(0xCC) 0000168e: RETURNDATASIZE 0000168f: UNKNOWN(0xCB) 00001690: PUSH5 0x6d8ab536e7 00001696: UNKNOWN(0xB1) 00001697: UNKNOWN(0x25) 00001698: PUSH23
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6fbf56ce48e215be05984f28a71ada82029bb7667e9733cb3ef5187c54ec626e
call_targets:
0x7488451db91df618759b8af15e36f70c0fdd529e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6fbf56ce48e215be05984f28a71ada82029bb7667e9733cb3ef5187c54ec626e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7488451db91df618759b8af15e36f70c0fdd529e"
],
"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": "0xf6933c7d",
"selector": "0xf6933c7d",
"calldata_variants": [
"0xf6933c7d",
"0xf6933c7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa70f538",
"selector": "0xfa70f538",
"calldata_variants": [
"0xfa70f538",
"0xfa70f5380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd20345b",
"selector": "0xfd20345b",
"calldata_variants": [
"0xfd20345b",
"0xfd20345b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe745748",
"selector": "0xfe745748",
"calldata_variants": [
"0xfe745748",
"0xfe7457480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3ca17b2",
"selector": "0xa3ca17b2",
"calldata_variants": [
"0xa3ca17b2",
"0xa3ca17b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2cc9aa5",
"selector": "0xc2cc9aa5",
"calldata_variants": [
"0xc2cc9aa5",
"0xc2cc9aa50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd33a1c2f",
"selector": "0xd33a1c2f",
"calldata_variants": [
"0xd33a1c2f",
"0xd33a1c2f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a22fe5d",
"selector": "0x5a22fe5d",
"calldata_variants": [
"0x5a22fe5d",
"0x5a22fe5d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1063,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1425,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1553,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6fbf56ce48e215be05984f28a71ada82029bb7667e9733cb3ef5187c54ec626e
call_targets:
0x7488451db91df618759b8af15e36f70c0fdd529e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6fbf56ce48e215be05984f28a71ada82029bb7667e9733cb3ef5187c54ec626e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7488451db91df618759b8af15e36f70c0fdd529e"
],
"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": "0xf6933c7d",
"selector": "0xf6933c7d",
"calldata_variants": [
"0xf6933c7d",
"0xf6933c7d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfa70f538",
"selector": "0xfa70f538",
"calldata_variants": [
"0xfa70f538",
"0xfa70f5380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfd20345b",
"selector": "0xfd20345b",
"calldata_variants": [
"0xfd20345b",
"0xfd20345b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe745748",
"selector": "0xfe745748",
"calldata_variants": [
"0xfe745748",
"0xfe7457480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3ca17b2",
"selector": "0xa3ca17b2",
"calldata_variants": [
"0xa3ca17b2",
"0xa3ca17b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc2cc9aa5",
"selector": "0xc2cc9aa5",
"calldata_variants": [
"0xc2cc9aa5",
"0xc2cc9aa50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd33a1c2f",
"selector": "0xd33a1c2f",
"calldata_variants": [
"0xd33a1c2f",
"0xd33a1c2f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a22fe5d",
"selector": "0x5a22fe5d",
"calldata_variants": [
"0x5a22fe5d",
"0x5a22fe5d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1063,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1425,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1553,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|