019b477e-bc1c-7348-bdb0-b79a1c775546
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 |
|---|---|---|---|---|
| 24017 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24018 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67218 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 67219 | capability.graph | complete | 1 / 3 | 1 week ago |
| 67220 | detector.run | complete | 1 / 3 | 1 week ago |
| 67221 | 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 0x01d1 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x78e97925 00000019: GT 0000001a: PUSH2 0x00f7 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9bb1dc8d 00000024: GT 00000025: PUSH2 0x0095 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xecb70fb7 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xecb70fb7 0000003a: EQ 0000003b: PUSH2 0x0482 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xee6a934c 00000045: EQ 00000046: PUSH2 0x0497 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x04b7 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xfc0c546a 0000005b: EQ 0000005c: PUSH2 0x04d7 0000005f: JUMPI 00000060: PUSH2 0x01d8 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x9bb1dc8d 0000006b: EQ 0000006c: PUSH2 0x041a 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xad7fadc5 00000076: EQ 00000077: PUSH2 0x043a 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xae22107f 00000081: EQ 00000082: PUSH2 0x044d 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe2c7f7ae 0000008c: EQ 0000008d: PUSH2 0x046d 00000090: JUMPI 00000091: PUSH2 0x01d8 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x8edb562e 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x8edb562e 000000a7: EQ 000000a8: PUSH2 0x03d0 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8fb6c6f6 000000b2: EQ 000000b3: PUSH2 0x03e5 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8fe47625 000000bd: EQ 000000be: PUSH2 0x03b0 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x94b5ed6d 000000c8: EQ 000000c9: PUSH2 0x0405 000000cc: JUMPI 000000cd: PUSH2 0x01d8 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x78e97925 000000d8: EQ 000000d9: PUSH2 0x037b 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x85d57858 000000e3: EQ 000000e4: PUSH2 0x0390 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x8a3ba197 000000ee: EQ 000000ef: PUSH2 0x03b0 000000f2: JUMPI 000000f3: PUSH2 0x01d8 000000f6: JUMP 000000f7: JUMPDEST 000000f8: DUP1 000000f9: PUSH4 0x3784f000 000000fe: GT 000000ff: PUSH2 0x016f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x56a4d219 00000109: GT 0000010a: PUSH2 0x013e 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x56a4d219 00000114: EQ 00000115: PUSH2 0x0311 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0x6786ed0e 0000011f: EQ 00000120: PUSH2 0x0326 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0x72f6c3b5 0000012a: EQ 0000012b: PUSH2 0x0346 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x76c6fc9a 00000135: EQ 00000136: PUSH2 0x035b 00000139: JUMPI 0000013a: PUSH2 0x01d8 0000013d: JUMP 0000013e: JUMPDEST 0000013f: DUP1 00000140: PUSH4 0x3784f000 00000145: EQ 00000146: PUSH2 0x02b2 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x4042b66f 00000150: EQ 00000151: PUSH2 0x02d2 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x4d683674 0000015b: EQ 0000015c: PUSH2 0x02e7 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x54f63ee5 00000166: EQ 00000167: PUSH2 0x02fc 0000016a: JUMPI 0000016b: PUSH2 0x01d8 0000016e: JUMP 0000016f: JUMPDEST 00000170: DUP1 00000171: PUSH4 0x1ad2ad1a 00000176: GT 00000177: PUSH2 0x01ab 0000017a: JUMPI 0000017b: DUP1 0000017c: PUSH4 0x1ad2ad1a 00000181: EQ 00000182: PUSH2 0x0251 00000185: JUMPI 00000186: DUP1 00000187: PUSH4 0x1e8f0d39 0000018c: EQ 0000018d: PUSH2 0x0266 00000190: JUMPI 00000191: DUP1 00000192: PUSH4 0x2c4e722e 00000197: EQ 00000198: PUSH2 0x027b 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x3197cbb6 000001a2: EQ 000001a3: PUSH2 0x029d 000001a6: JUMPI 000001a7: PUSH2 0x01d8 000001aa: JUMP 000001ab: JUMPDEST 000001ac: DUP1 000001ad: PUSH4 0x04c98b2b 000001b2: EQ 000001b3: PUSH2 0x01f1 000001b6: JUMPI 000001b7: DUP1 000001b8: PUSH4 0x070f5c09 000001bd: EQ 000001be: PUSH2 0x021c 000001c1: JUMPI 000001c2: DUP1 000001c3: PUSH4 0x16279055 000001c8: EQ 000001c9: PUSH2 0x0231 000001cc: JUMPI 000001cd: PUSH2 0x01d8 000001d0: JUMP 000001d1: JUMPDEST 000001d2: CALLDATASIZE 000001d3: PUSH2 0x01d8 000001d6: JUMPI 000001d7: STOP 000001d8: JUMPDEST 000001d9: PUSH1 0x00 000001db: SLOAD 000001dc: PUSH2 0x01ef 000001df: SWAP1 000001e0: CALLER 000001e1: SWAP1 000001e2: PUSH1 0x01 000001e4: PUSH1 0x01 000001e6: PUSH1 0xa0 000001e8: SHL 000001e9: SUB 000001ea: AND 000001eb: PUSH2 0x04f9 000001ee: JUMP 000001ef: JUMPDEST 000001f0: STOP 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x0206 00000202: PUSH2 0x07b1 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH1 0x40 00000209: MLOAD 0000020a: PUSH2 0x0213 0000020d: SWAP2 0000020e: SWAP1 0000020f: PUSH2 0x1124 00000212: JUMP 00000213: JUMPDEST 00000214: PUSH1 0x40 00000216: MLOAD 00000217: DUP1 00000218: SWAP2 00000219: SUB 0000021a: SWAP1 0000021b: RETURN 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: POP 0000022a: PUSH2 0x0206 0000022d: PUSH2 0x07dd 00000230: JUMP 00000231: JUMPDEST 00000232: CALLVALUE 00000233: DUP1 00000234: ISZERO 00000235: PUSH2 0x023d 00000238: JUMPI 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: REVERT 0000023d: JUMPDEST 0000023e: POP 0000023f: PUSH2 0x0206 00000242: PUSH2 0x024c 00000245: CALLDATASIZE 00000246: PUSH1 0x04 00000248: PUSH2 0x1073 0000024b: JUMP 0000024c: JUMPDEST 0000024d: PUSH2 0x0811 00000250: JUMP 00000251: JUMPDEST 00000252: CALLVALUE 00000253: DUP1 00000254: ISZERO 00000255: PUSH2 0x025d 00000258: JUMPI 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: REVERT 0000025d: JUMPDEST 0000025e: POP 0000025f: PUSH2 0x0206 00000262: PUSH2 0x081d 00000265: JUMP 00000266: JUMPDEST 00000267: CALLVALUE 00000268: DUP1 00000269: ISZERO 0000026a: PUSH2 0x0272 0000026d: JUMPI 0000026e: PUSH1 0x00 00000270: DUP1 00000271: REVERT 00000272: JUMPDEST 00000273: POP 00000274: PUSH2 0x0206 00000277: PUSH2 0x0849 0000027a: JUMP 0000027b: JUMPDEST 0000027c: CALLVALUE 0000027d: DUP1 0000027e: ISZERO 0000027f: PUSH2 0x0287 00000282: JUMPI 00000283: PUSH1 0x00 00000285: DUP1 00000286: REVERT 00000287: JUMPDEST 00000288: POP 00000289: PUSH2 0x0290 0000028c: PUSH2 0x0857 0000028f: JUMP 00000290: JUMPDEST 00000291: PUSH1 0x40 00000293: MLOAD 00000294: PUSH2 0x0213 00000297: SWAP2 00000298: SWAP1 00000299: PUSH2 0x12b3 0000029c: JUMP 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x0290 000002ae: PUSH2 0x085d 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH2 0x0206 000002c3: PUSH2 0x02cd 000002c6: CALLDATASIZE 000002c7: PUSH1 0x04 000002c9: PUSH2 0x10c7 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH2 0x0863 000002d1: JUMP 000002d2: JUMPDEST 000002d3: CALLVALUE 000002d4: DUP1 000002d5: ISZERO 000002d6: PUSH2 0x02de 000002d9: JUMPI 000002da: PUSH1 0x00 000002dc: DUP1 000002dd: REVERT 000002de: JUMPDEST 000002df: POP 000002e0: PUSH2 0x0290 000002e3: PUSH2 0x089f 000002e6: JUMP 000002e7: JUMPDEST 000002e8: CALLVALUE 000002e9: DUP1 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: POP 000002f5: PUSH2 0x0290 000002f8: PUSH2 0x08a5 000002fb: JUMP 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x0206 0000030d: PUSH2 0x08ab 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH2 0x0206 00000322: PUSH2 0x08dd 00000325: JUMP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x0206 00000337: PUSH2 0x0341 0000033a: CALLDATASIZE 0000033b: PUSH1 0x04 0000033d: PUSH2 0x10c7 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH2 0x08e6 00000345: JUMP 00000346: JUMPDEST 00000347: CALLVALUE 00000348: DUP1 00000349: ISZERO 0000034a: PUSH2 0x0352 0000034d: JUMPI 0000034e: PUSH1 0x00 00000350: DUP1 00000351: REVERT 00000352: JUMPDEST 00000353: POP 00000354: PUSH2 0x0290 00000357: PUSH2 0x0907 0000035a: JUMP 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: DUP1 0000035e: ISZERO 0000035f: PUSH2 0x0367 00000362: JUMPI 00000363: PUSH1 0x00 00000365: DUP1 00000366: REVERT 00000367: JUMPDEST 00000368: POP 00000369: PUSH2 0x0290 0000036c: PUSH2 0x0376 0000036f: CALLDATASIZE 00000370: PUSH1 0x04 00000372: PUSH2 0x1073 00000375: JUMP 00000376: JUMPDEST 00000377: PUSH2 0x090d 0000037a: JUMP 0000037b: JUMPDEST 0000037c: CALLVALUE 0000037d: DUP1 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: POP 00000389: PUSH2 0x0290 0000038c: PUSH2 0x0941 0000038f: JUMP 00000390: JUMPDEST 00000391: CALLVALUE 00000392: DUP1 00000393: ISZERO 00000394: PUSH2 0x039c 00000397: JUMPI 00000398: PUSH1 0x00 0000039a: DUP1 0000039b: REVERT 0000039c: JUMPDEST 0000039d: POP 0000039e: PUSH2 0x0290 000003a1: PUSH2 0x03ab 000003a4: CALLDATASIZE 000003a5: PUSH1 0x04 000003a7: PUSH2 0x1073 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH2 0x0947 000003af: JUMP 000003b0: JUMPDEST 000003b1: CALLVALUE 000003b2: DUP1 000003b3: ISZERO 000003b4: PUSH2 0x03bc 000003b7: JUMPI 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH2 0x0290 000003c1: PUSH2 0x03cb 000003c4: CALLDATASIZE 000003c5: PUSH1 0x04 000003c7: PUSH2 0x1073 000003ca: JUMP 000003cb: JUMPDEST 000003cc: PUSH2 0x0959 000003cf: JUMP 000003d0: JUMPDEST 000003d1: CALLVALUE 000003d2: DUP1 000003d3: ISZERO 000003d4: PUSH2 0x03dc 000003d7: JUMPI 000003d8: PUSH1 0x00 000003da: DUP1 000003db: REVERT 000003dc: JUMPDEST 000003dd: POP 000003de: PUSH2 0x0290 000003e1: PUSH2 0x09e8 000003e4: JUMP 000003e5: JUMPDEST 000003e6: CALLVALUE 000003e7: DUP1 000003e8: ISZERO 000003e9: PUSH2 0x03f1 000003ec: JUMPI 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: REVERT 000003f1: JUMPDEST 000003f2: POP 000003f3: PUSH2 0x0206 000003f6: PUSH2 0x0400 000003f9: CALLDATASIZE 000003fa: PUSH1 0x04 000003fc: PUSH2 0x10c7 000003ff: JUMP 00000400: JUMPDEST 00000401: PUSH2 0x09ee 00000404: JUMP 00000405: JUMPDEST 00000406: CALLVALUE 00000407: DUP1 00000408: ISZERO 00000409: PUSH2 0x0411 0000040c: JUMPI 0000040d: PUSH1 0x00 0000040f: DUP1 00000410: REVERT 00000411: JUMPDEST 00000412: POP 00000413: PUSH2 0x0290 00000416: PUSH2 0x0a0f 00000419: JUMP 0000041a: JUMPDEST 0000041b: CALLVALUE 0000041c: DUP1 0000041d: ISZERO 0000041e: PUSH2 0x0426 00000421: JUMPI 00000422: PUSH1 0x00 00000424: DUP1 00000425: REVERT 00000426: JUMPDEST 00000427: POP 00000428: PUSH2 0x0290 0000042b: PUSH2 0x0435 0000042e: CALLDATASIZE 0000042f: PUSH1 0x04 00000431: PUSH2 0x1073 00000434: JUMP 00000435: JUMPDEST 00000436: PUSH2 0x0a15 00000439: JUMP 0000043a: JUMPDEST 0000043b: PUSH2 0x01ef 0000043e: PUSH2 0x0448 00000441: CALLDATASIZE 00000442: PUSH1 0x04 00000444: PUSH2 0x108f 00000447: JUMP 00000448: JUMPDEST 00000449: PUSH2 0x04f9 0000044c: JUMP 0000044d: JUMPDEST 0000044e: CALLVALUE 0000044f: DUP1 00000450: ISZERO 00000451: PUSH2 0x0459 00000454: JUMPI 00000455: PUSH1 0x00 00000457: DUP1 00000458: REVERT 00000459: JUMPDEST 0000045a: POP 0000045b: PUSH2 0x01ef 0000045e: PUSH2 0x0468 00000461: CALLDATASIZE 00000462: PUSH1 0x04 00000464: PUSH2 0x1073 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH2 0x0a27 0000046c: JUMP 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: DUP1 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: POP 0000047b: PUSH2 0x0290 0000047e: PUSH2 0x0aeb 00000481: JUMP 00000482: JUMPDEST 00000483: CALLVALUE 00000484: DUP1 00000485: ISZERO 00000486: PUSH2 0x048e 00000489: JUMPI 0000048a: PUSH1 0x00 0000048c: DUP1 0000048d: REVERT 0000048e: JUMPDEST 0000048f: POP 00000490: PUSH2 0x0206 00000493: PUSH2 0x0af1 00000496: JUMP 00000497: JUMPDEST 00000498: CALLVALUE 00000499: DUP1 0000049a: ISZERO 0000049b: PUSH2 0x04a3 0000049e: JUMPI 0000049f: PUSH1 0x00 000004a1: DUP1 000004a2: REVERT 000004a3: JUMPDEST 000004a4: POP 000004a5: PUSH2 0x01ef 000004a8: PUSH2 0x04b2 000004ab: CALLDATASIZE 000004ac: PUSH1 0x04 000004ae: PUSH2 0x1073 000004b1: JUMP 000004b2: JUMPDEST 000004b3: PUSH2 0x0af9 000004b6: JUMP 000004b7: JUMPDEST 000004b8: CALLVALUE 000004b9: DUP1 000004ba: ISZERO 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH2 0x01ef 000004c8: PUSH2 0x04d2 000004cb: CALLDATASIZE 000004cc: PUSH1 0x04 000004ce: PUSH2 0x1073 000004d1: JUMP 000004d2: JUMPDEST 000004d3: PUSH2 0x0be1 000004d6: JUMP 000004d7: JUMPDEST 000004d8: CALLVALUE 000004d9: DUP1 000004da: ISZERO 000004db: PUSH2 0x04e3 000004de: JUMPI 000004df: PUSH1 0x00 000004e1: DUP1 000004e2: REVERT 000004e3: JUMPDEST 000004e4: POP 000004e5: PUSH2 0x04ec 000004e8: PUSH2 0x0c66 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: PUSH2 0x0213 000004f3: SWAP2 000004f4: SWAP1 000004f5: PUSH2 0x10f7 000004f8: JUMP 000004f9: JUMPDEST 000004fa: PUSH1 0x0d 000004fc: SLOAD 000004fd: PUSH1 0xff 000004ff: AND 00000500: ISZERO 00000501: ISZERO 00000502: PUSH1 0x01 00000504: EQ 00000505: ISZERO 00000506: PUSH2 0x052a 00000509: JUMPI 0000050a: PUSH1 0x40 0000050c: MLOAD 0000050d: PUSH3 0x461bcd 00000511: PUSH1 0xe5 00000513: SHL 00000514: DUP2 00000515: MSTORE 00000516: PUSH1 0x04 00000518: ADD 00000519: PUSH2 0x0521 0000051c: SWAP1 0000051d: PUSH2 0x1287 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x40 00000524: MLOAD 00000525: DUP1 00000526: SWAP2 00000527: SUB 00000528: SWAP1 00000529: REVERT 0000052a: JUMPDEST 0000052b: PUSH1 0x0d 0000052d: SLOAD 0000052e: PUSH1 0xff 00000530: PUSH2 0x0100 00000533: SWAP1 00000534: SWAP2 00000535: DIV 00000536: AND 00000537: ISZERO 00000538: ISZERO 00000539: PUSH1 0x01 0000053b: EQ 0000053c: ISZERO 0000053d: PUSH2 0x0558 00000540: JUMPI 00000541: PUSH1 0x40 00000543: MLOAD 00000544: PUSH3 0x461bcd 00000548: PUSH1 0xe5 0000054a: SHL 0000054b: DUP2 0000054c: MSTORE 0000054d: PUSH1 0x04 0000054f: ADD 00000550: PUSH2 0x0521 00000553: SWAP1 00000554: PUSH2 0x1166 00000557: JUMP 00000558: JUMPDEST 00000559: PUSH2 0x0561 0000055c: CALLER 0000055d: PUSH2 0x0811 00000560: JUMP 00000561: JUMPDEST 00000562: ISZERO 00000563: PUSH2 0x057e 00000566: JUMPI 00000567: PUSH1 0x40 00000569: MLOAD 0000056a: PUSH3 0x461bcd 0000056e: PUSH1 0xe5 00000570: SHL 00000571: DUP2 00000572: MSTORE 00000573: PUSH1 0x04 00000575: ADD 00000576: PUSH2 0x0521 00000579: SWAP1 0000057a: PUSH2 0x120f 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH1 0x01 00000581: PUSH1 0x01 00000583: PUSH1 0xa0 00000585: SHL 00000586: SUB 00000587: DUP3 00000588: AND 00000589: PUSH2 0x05a4 0000058c: JUMPI 0000058d: PUSH1 0x40 0000058f: MLOAD 00000590: PUSH3 0x461bcd 00000594: PUSH1 0xe5 00000596: SHL 00000597: DUP2 00000598: MSTORE 00000599: PUSH1 0x04 0000059b: ADD 0000059c: PUSH2 0x0521 0000059f: SWAP1 000005a0: PUSH2 0x1239 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH2 0x05ac 000005a8: PUSH2 0x0c7b 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH2 0x05c8 000005b0: JUMPI 000005b1: PUSH1 0x40 000005b3: MLOAD 000005b4: PUSH3 0x461bcd 000005b8: PUSH1 0xe5 000005ba: SHL 000005bb: DUP2 000005bc: MSTORE 000005bd: PUSH1 0x04 000005bf: ADD 000005c0: PUSH2 0x0521 000005c3: SWAP1 000005c4: PUSH2 0x112f 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x06 000005cb: SLOAD 000005cc: CALLER 000005cd: PUSH1 0x00 000005cf: SWAP1 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x04 000005d4: PUSH1 0x20 000005d6: MSTORE 000005d7: PUSH1 0x40 000005d9: SWAP1 000005da: KECCAK256 000005db: SLOAD 000005dc: LT 000005dd: PUSH2 0x05f8 000005e0: JUMPI 000005e1: PUSH1 0x40 000005e3: MLOAD 000005e4: PUSH3 0x461bcd 000005e8: PUSH1 0xe5 000005ea: SHL 000005eb: DUP2 000005ec: MSTORE 000005ed: PUSH1 0x04 000005ef: ADD 000005f0: PUSH2 0x0521 000005f3: SWAP1 000005f4: PUSH2 0x1191 000005f7: JUMP 000005f8: JUMPDEST 000005f9: CALLVALUE 000005fa: PUSH8 0x29a2241af62c0001 00000603: DUP2 00000604: LT 00000605: PUSH2 0x0620 00000608: JUMPI 00000609: PUSH1 0x40 0000060b: MLOAD 0000060c: PUSH3 0x461bcd 00000610: PUSH1 0xe5 00000612: SHL 00000613: DUP2 00000614: MSTORE 00000615: PUSH1 0x04 00000617: ADD 00000618: PUSH2 0x0521 0000061b: SWAP1 0000061c: PUSH2 0x11df 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x00 00000623: PUSH2 0x0637 00000626: PUSH1 0x0b 00000628: SLOAD 00000629: DUP4 0000062a: PUSH2 0x0ca8 0000062d: SWAP1 0000062e: SWAP2 0000062f: SWAP1 00000630: PUSH4 0xffffffff 00000635: AND 00000636: JUMP 00000637: JUMPDEST 00000638: SWAP1 00000639: POP 0000063a: PUSH1 0x00 0000063c: PUSH1 0x64 0000063e: PUSH1 0x0a 00000640: SLOAD 00000641: CALLVALUE 00000642: PUSH2 0x064b 00000645: SWAP2 00000646: SWAP1 00000647: PUSH2 0x12f6 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH2 0x0655 0000064f: SWAP2 00000650: SWAP1 00000651: PUSH2 0x12e2 00000654: JUMP 00000655: JUMPDEST 00000656: PUSH2 0x065f 00000659: SWAP1 0000065a: CALLVALUE 0000065b: PUSH2 0x1315 0000065e: JUMP 0000065f: JUMPDEST 00000660: SWAP1 00000661: POP 00000662: PUSH1 0x00 00000664: PUSH1 0x64 00000666: PUSH1 0x0a 00000668: SLOAD 00000669: CALLVALUE 0000066a: PUSH2 0x0673 0000066d: SWAP2 0000066e: SWAP1 0000066f: PUSH2 0x12f6 00000672: JUMP 00000673: JUMPDEST 00000674: PUSH2 0x067d 00000677: SWAP2 00000678: SWAP1 00000679: PUSH2 0x12e2 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH1 0x0c 00000680: SLOAD 00000681: SWAP1 00000682: SWAP2 00000683: POP 00000684: PUSH2 0x068d 00000687: SWAP1 00000688: DUP6 00000689: PUSH2 0x0ced 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH1 0x0c 00000690: SSTORE 00000691: PUSH2 0x069a 00000694: DUP6 00000695: DUP3 00000696: PUSH2 0x0d1a 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x0d 0000069d: SLOAD 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: PUSH4 0xa9059cbb 000006a6: PUSH1 0xe0 000006a8: SHL 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH3 0x010000 000006af: SWAP1 000006b0: SWAP2 000006b1: DIV 000006b2: PUSH1 0x01 000006b4: PUSH1 0x01 000006b6: PUSH1 0xa0 000006b8: SHL 000006b9: SUB 000006ba: AND 000006bb: SWAP1 000006bc: PUSH4 0xa9059cbb 000006c1: SWAP1 000006c2: PUSH2 0x06d1 000006c5: SWAP1 000006c6: DUP10 000006c7: SWAP1 000006c8: DUP8 000006c9: SWAP1 000006ca: PUSH1 0x04 000006cc: ADD 000006cd: PUSH2 0x110b 000006d0: JUMP 000006d1: JUMPDEST 000006d2: PUSH1 0x00 000006d4: PUSH1 0x40 000006d6: MLOAD 000006d7: DUP1 000006d8: DUP4 000006d9: SUB 000006da: DUP2 000006db: PUSH1 0x00 000006dd: DUP8 000006de: DUP1 000006df: EXTCODESIZE 000006e0: ISZERO 000006e1: DUP1 000006e2: ISZERO 000006e3: PUSH2 0x06eb 000006e6: JUMPI 000006e7: PUSH1 0x00 000006e9: DUP1 000006ea: REVERT 000006eb: JUMPDEST 000006ec: POP 000006ed: GAS 000006ee: CALL 000006ef: ISZERO 000006f0: DUP1 000006f1: ISZERO 000006f2: PUSH2 0x06ff 000006f5: JUMPI 000006f6: RETURNDATASIZE 000006f7: PUSH1 0x00 000006f9: DUP1 000006fa: RETURNDATACOPY 000006fb: RETURNDATASIZE 000006fc: PUSH1 0x00 000006fe: REVERT 000006ff: JUMPDEST 00000700: POP 00000701: POP 00000702: POP 00000703: POP 00000704: PUSH1 0x00 00000706: PUSH2 0x071a 00000709: PUSH1 0x09 0000070b: SLOAD 0000070c: DUP6 0000070d: PUSH2 0x0ca8 00000710: SWAP1 00000711: SWAP2 00000712: SWAP1 00000713: PUSH4 0xffffffff 00000718: AND 00000719: JUMP 0000071a: JUMPDEST 0000071b: SWAP1 0000071c: POP 0000071d: PUSH2 0x0727 00000720: DUP2 00000721: PUSH1 0x64 00000723: PUSH2 0x0da0 00000726: JUMP 00000727: JUMPDEST 00000728: CALLER 00000729: PUSH1 0x00 0000072b: SWAP1 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x04 00000730: PUSH1 0x20 00000732: MSTORE 00000733: PUSH1 0x40 00000735: SWAP1 00000736: KECCAK256 00000737: SLOAD 00000738: SWAP1 00000739: SWAP2 0000073a: POP 0000073b: PUSH2 0x0744 0000073e: SWAP1 0000073f: CALLVALUE 00000740: PUSH2 0x0ced 00000743: JUMP 00000744: JUMPDEST 00000745: CALLER 00000746: PUSH1 0x00 00000748: DUP2 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x04 0000074d: PUSH1 0x20 0000074f: MSTORE 00000750: PUSH1 0x40 00000752: SWAP1 00000753: DUP2 00000754: SWAP1 00000755: KECCAK256 00000756: SWAP3 00000757: SWAP1 00000758: SWAP3 00000759: SSTORE 0000075a: SWAP1 0000075b: MLOAD 0000075c: PUSH1 0x01 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: SHL 00000763: SUB 00000764: DUP10 00000765: AND 00000766: SWAP2 00000767: SWAP1 00000768: PUSH32 0x623b3804fa71d67900d064613da8f94b9617215ee90799290593e1745087ad18 00000789: SWAP1 0000078a: PUSH2 0x0796 0000078d: SWAP1 0000078e: DUP10 0000078f: SWAP1 00000790: DUP10 00000791: SWAP1 00000792: PUSH2 0x12bc 00000795: JUMP 00000796: JUMPDEST 00000797: PUSH1 0x40 00000799: MLOAD 0000079a: DUP1 0000079b: SWAP2 0000079c: SUB 0000079d: SWAP1 0000079e: LOG3 0000079f: PUSH2 0x07a8 000007a2: DUP2 000007a3: DUP5 000007a4: PUSH2 0x0e07 000007a7: JUMP 000007a8: JUMPDEST 000007a9: POP 000007aa: POP 000007ab: POP 000007ac: POP 000007ad: POP 000007ae: POP 000007af: POP 000007b0: JUMP 000007b1: JUMPDEST 000007b2: PUSH1 0x00 000007b4: DUP1 000007b5: SLOAD 000007b6: PUSH1 0x01 000007b8: PUSH1 0x01 000007ba: PUSH1 0xa0 000007bc: SHL 000007bd: SUB 000007be: AND 000007bf: CALLER 000007c0: EQ 000007c1: PUSH2 0x07c9 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: POP 000007cb: PUSH1 0x0d 000007cd: DUP1 000007ce: SLOAD 000007cf: PUSH1 0xff 000007d1: NOT 000007d2: AND 000007d3: SWAP1 000007d4: SSTORE 000007d5: TIMESTAMP 000007d6: PUSH1 0x01 000007d8: SWAP1 000007d9: DUP2 000007da: SSTORE 000007db: SWAP1 000007dc: JUMP 000007dd: JUMPDEST 000007de: PUSH1 0x00 000007e0: DUP1 000007e1: SLOAD 000007e2: PUSH1 0x01 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: SHL 000007e9: SUB 000007ea: AND 000007eb: CALLER 000007ec: EQ 000007ed: PUSH2 0x07f5 000007f0: JUMPI 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: REVERT 000007f5: JUMPDEST 000007f6: POP 000007f7: PUSH1 0x0d 000007f9: DUP1 000007fa: SLOAD 000007fb: PUSH2 0xff00 000007fe: NOT 000007ff: AND 00000800: PUSH2 0x0100 00000803: SWAP1 00000804: DUP2 00000805: OR 00000806: SWAP2 00000807: DUP3 00000808: SWAP1 00000809: SSTORE 0000080a: SWAP1 0000080b: DIV 0000080c: PUSH1 0xff 0000080e: AND 0000080f: SWAP1 00000810: JUMP 00000811: JUMPDEST 00000812: EXTCODESIZE 00000813: PUSH4 0xffffffff 00000818: AND 00000819: ISZERO 0000081a: ISZERO 0000081b: SWAP1 0000081c: JUMP 0000081d: JUMPDEST 0000081e: PUSH1 0x00 00000820: DUP1 00000821: SLOAD 00000822: PUSH1 0x01 00000824: PUSH1 0x01 00000826: PUSH1 0xa0 00000828: SHL 00000829: SUB 0000082a: AND 0000082b: CALLER 0000082c: EQ 0000082d: PUSH2 0x0835 00000830: JUMPI 00000831: PUSH1 0x00 00000833: DUP1 00000834: REVERT 00000835: JUMPDEST 00000836: POP 00000837: PUSH1 0x0d 00000839: DUP1 0000083a: SLOAD 0000083b: PUSH1 0xff 0000083d: NOT 0000083e: AND 0000083f: PUSH1 0x01 00000841: SWAP1 00000842: DUP2 00000843: OR 00000844: SWAP1 00000845: SWAP2 00000846: SSTORE 00000847: SWAP1 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH1 0x0d 0000084c: SLOAD 0000084d: PUSH2 0x0100 00000850: SWAP1 00000851: DIV 00000852: PUSH1 0xff 00000854: AND 00000855: DUP2 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x0b 0000085a: SLOAD 0000085b: DUP2 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH1 0x02 00000860: SLOAD 00000861: DUP2 00000862: JUMP 00000863: JUMPDEST 00000864: PUSH1 0x00 00000866: DUP1 00000867: SLOAD 00000868: PUSH1 0x01 0000086a: PUSH1 0x01 0000086c: PUSH1 0xa0 0000086e: SHL 0000086f: SUB 00000870: AND 00000871: CALLER 00000872: EQ 00000873: PUSH2 0x087b 00000876: JUMPI 00000877: PUSH1 0x00 00000879: DUP1 0000087a: REVERT 0000087b: JUMPDEST 0000087c: PUSH2 0x0888 0000087f: DUP3 00000880: PUSH3 0x015180 00000884: PUSH2 0x12f6 00000887: JUMP 00000888: JUMPDEST 00000889: SWAP2 0000088a: POP 0000088b: PUSH2 0x0894 0000088e: DUP3 0000088f: TIMESTAMP 00000890: PUSH2 0x12ca 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x02 00000897: SSTORE 00000898: POP 00000899: PUSH1 0x01 0000089b: SWAP2 0000089c: SWAP1 0000089d: POP 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH1 0x0c 000008a2: SLOAD 000008a3: DUP2 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x0a 000008a8: SLOAD 000008a9: DUP2 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH1 0x00 000008ae: DUP1 000008af: SLOAD 000008b0: PUSH1 0x01 000008b2: PUSH1 0x01 000008b4: PUSH1 0xa0 000008b6: SHL 000008b7: SUB 000008b8: AND 000008b9: CALLER 000008ba: EQ 000008bb: PUSH2 0x08c3 000008be: JUMPI 000008bf: PUSH1 0x00 000008c1: DUP1 000008c2: REVERT 000008c3: JUMPDEST 000008c4: POP 000008c5: PUSH1 0x0d 000008c7: DUP1 000008c8: SLOAD 000008c9: PUSH2 0xff00 000008cc: NOT 000008cd: AND 000008ce: SWAP1 000008cf: DUP2 000008d0: SWAP1 000008d1: SSTORE 000008d2: PUSH2 0x0100 000008d5: SWAP1 000008d6: DIV 000008d7: PUSH1 0xff 000008d9: AND 000008da: ISZERO 000008db: SWAP1 000008dc: JUMP 000008dd: JUMPDEST 000008de: PUSH1 0x0d 000008e0: SLOAD 000008e1: PUSH1 0xff 000008e3: AND 000008e4: DUP2 000008e5: JUMP 000008e6: JUMPDEST 000008e7: PUSH1 0x00 000008e9: DUP1 000008ea: SLOAD 000008eb: PUSH1 0x01 000008ed: PUSH1 0x01 000008ef: PUSH1 0xa0 000008f1: SHL 000008f2: SUB 000008f3: AND 000008f4: CALLER 000008f5: EQ 000008f6: PUSH2 0x08fe 000008f9: JUMPI 000008fa: PUSH1 0x00 000008fc: DUP1 000008fd: REVERT 000008fe: JUMPDEST 000008ff: POP 00000900: PUSH1 0x0b 00000902: SSTORE 00000903: PUSH1 0x01 00000905: SWAP1 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x09 0000090a: SLOAD 0000090b: DUP2 0000090c: JUMP 0000090d: JUMPDEST 0000090e: PUSH1 0x00 00000910: DUP1 00000911: SLOAD 00000912: PUSH1 0x01 00000914: PUSH1 0x01 00000916: PUSH1 0xa0 00000918: SHL 00000919: SUB 0000091a: AND 0000091b: CALLER 0000091c: EQ 0000091d: PUSH2 0x0925 00000920: JUMPI 00000921: PUSH1 0x00 00000923: DUP1 00000924: REVERT 00000925: JUMPDEST 00000926: POP 00000927: PUSH1 0x01 00000929: PUSH1 0x01 0000092b: PUSH1 0xa0 0000092d: SHL 0000092e: SUB 0000092f: AND 00000930: PUSH1 0x00 00000932: SWAP1 00000933: DUP2 00000934: MSTORE 00000935: PUSH1 0x03 00000937: PUSH1 0x20 00000939: MSTORE 0000093a: PUSH1 0x40 0000093c: SWAP1 0000093d: KECCAK256 0000093e: SLOAD 0000093f: SWAP1 00000940: JUMP 00000941: JUMPDEST 00000942: PUSH1 0x01 00000944: SLOAD 00000945: DUP2 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH1 0x04 0000094a: PUSH1 0x20 0000094c: MSTORE 0000094d: PUSH1 0x00 0000094f: SWAP1 00000950: DUP2 00000951: MSTORE 00000952: PUSH1 0x40 00000954: SWAP1 00000955: KECCAK256 00000956: SLOAD 00000957: DUP2 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH1 0x0d 0000095c: SLOAD 0000095d: PUSH1 0x40 0000095f: MLOAD 00000960: PUSH4 0x70a08231 00000965: PUSH1 0xe0 00000967: SHL 00000968: DUP2 00000969: MSTORE 0000096a: PUSH1 0x00 0000096c: SWAP2 0000096d: PUSH3 0x010000 00000971: SWAP1 00000972: DIV 00000973: PUSH1 0x01 00000975: PUSH1 0x01 00000977: PUSH1 0xa0 00000979: SHL 0000097a: SUB 0000097b: AND 0000097c: SWAP1 0000097d: PUSH4 0x70a08231 00000982: SWAP1 00000983: PUSH2 0x0990 00000986: SWAP1 00000987: DUP6 00000988: SWAP1 00000989: PUSH1 0x04 0000098b: ADD 0000098c: PUSH2 0x10f7 0000098f: JUMP 00000990: JUMPDEST 00000991: PUSH1 0x20 00000993: PUSH1 0x40 00000995: MLOAD 00000996: DUP1 00000997: DUP4 00000998: SUB 00000999: DUP2 0000099a: PUSH1 0x00 0000099c: DUP8 0000099d: DUP1 0000099e: EXTCODESIZE 0000099f: ISZERO 000009a0: DUP1 000009a1: ISZERO 000009a2: PUSH2 0x09aa 000009a5: JUMPI 000009a6: PUSH1 0x00 000009a8: DUP1 000009a9: REVERT 000009aa: JUMPDEST 000009ab: POP 000009ac: GAS 000009ad: CALL 000009ae: ISZERO 000009af: DUP1 000009b0: ISZERO 000009b1: PUSH2 0x09be 000009b4: JUMPI 000009b5: RETURNDATASIZE 000009b6: PUSH1 0x00 000009b8: DUP1 000009b9: RETURNDATACOPY 000009ba: RETURNDATASIZE 000009bb: PUSH1 0x00 000009bd: REVERT 000009be: JUMPDEST 000009bf: POP 000009c0: POP 000009c1: POP 000009c2: POP 000009c3: PUSH1 0x40 000009c5: MLOAD 000009c6: RETURNDATASIZE 000009c7: PUSH1 0x1f 000009c9: NOT 000009ca: PUSH1 0x1f 000009cc: DUP3 000009cd: ADD 000009ce: AND 000009cf: DUP3 000009d0: ADD 000009d1: DUP1 000009d2: PUSH1 0x40 000009d4: MSTORE 000009d5: POP 000009d6: DUP2 000009d7: ADD 000009d8: SWAP1 000009d9: PUSH2 0x09e2 000009dc: SWAP2 000009dd: SWAP1 000009de: PUSH2 0x10df 000009e1: JUMP 000009e2: JUMPDEST 000009e3: SWAP3 000009e4: SWAP2 000009e5: POP 000009e6: POP 000009e7: JUMP 000009e8: JUMPDEST 000009e9: PUSH1 0x06 000009eb: SLOAD 000009ec: DUP2 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH1 0x00 000009f1: DUP1 000009f2: SLOAD 000009f3: PUSH1 0x01 000009f5: PUSH1 0x01 000009f7: PUSH1 0xa0 000009f9: SHL 000009fa: SUB 000009fb: AND 000009fc: CALLER 000009fd: EQ 000009fe: PUSH2 0x0a06 00000a01: JUMPI 00000a02: PUSH1 0x00 00000a04: DUP1 00000a05: REVERT 00000a06: JUMPDEST 00000a07: POP 00000a08: PUSH1 0x0a 00000a0a: SSTORE 00000a0b: PUSH1 0x01 00000a0d: SWAP1 00000a0e: JUMP 00000a0f: JUMPDEST 00000a10: PUSH1 0x08 00000a12: SLOAD 00000a13: DUP2 00000a14: JUMP 00000a15: JUMPDEST 00000a16: PUSH1 0x03 00000a18: PUSH1 0x20 00000a1a: MSTORE 00000a1b: PUSH1 0x00 00000a1d: SWAP1 00000a1e: DUP2 00000a1f: MSTORE 00000a20: PUSH1 0x40 00000a22: SWAP1 00000a23: KECCAK256 00000a24: SLOAD 00000a25: DUP2 00000a26: JUMP 00000a27: JUMPDEST 00000a28: PUSH1 0x00 00000a2a: SLOAD 00000a2b: PUSH1 0x01 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0xa0 00000a31: SHL 00000a32: SUB 00000a33: AND 00000a34: CALLER 00000a35: EQ 00000a36: PUSH2 0x0a3e 00000a39: JUMPI 00000a3a: PUSH1 0x00 00000a3c: DUP1 00000a3d: REVERT 00000a3e: JUMPDEST 00000a3f: PUSH1 0x01 00000a41: PUSH1 0x01 00000a43: PUSH1 0xa0 00000a45: SHL 00000a46: SUB 00000a47: DUP2 00000a48: AND 00000a49: PUSH2 0x0a51 00000a4c: JUMPI 00000a4d: PUSH1 0x00 00000a4f: DUP1 00000a50: REVERT 00000a51: JUMPDEST 00000a52: PUSH1 0x01 00000a54: PUSH1 0x01 00000a56: PUSH1 0xa0 00000a58: SHL 00000a59: SUB 00000a5a: DUP2 00000a5b: AND 00000a5c: PUSH1 0x00 00000a5e: SWAP1 00000a5f: DUP2 00000a60: MSTORE 00000a61: PUSH1 0x03 00000a63: PUSH1 0x20 00000a65: MSTORE 00000a66: PUSH1 0x40 00000a68: SWAP1 00000a69: KECCAK256 00000a6a: SLOAD 00000a6b: PUSH1 0x3c 00000a6d: GT 00000a6e: ISZERO 00000a6f: PUSH2 0x0a77 00000a72: JUMPI 00000a73: PUSH1 0x00 00000a75: DUP1 00000a76: REVERT 00000a77: JUMPDEST 00000a78: PUSH1 0x00 00000a7a: DUP1 00000a7b: SLOAD 00000a7c: PUSH1 0x01 00000a7e: PUSH1 0x01 00000a80: PUSH1 0xa0 00000a82: SHL 00000a83: SUB 00000a84: AND 00000a85: DUP2 00000a86: MSTORE 00000a87: PUSH1 0x03 00000a89: PUSH1 0x20 00000a8b: MSTORE 00000a8c: PUSH1 0x40 00000a8e: SWAP1 00000a8f: KECCAK256 00000a90: SLOAD 00000a91: PUSH1 0x28 00000a93: LT 00000a94: ISZERO 00000a95: PUSH2 0x0a9d 00000a98: JUMPI 00000a99: PUSH1 0x00 00000a9b: DUP1 00000a9c: REVERT 00000a9d: JUMPDEST 00000a9e: PUSH1 0x01 00000aa0: PUSH1 0x01 00000aa2: PUSH1 0xa0 00000aa4: SHL 00000aa5: SUB 00000aa6: DUP1 00000aa7: DUP3 00000aa8: AND 00000aa9: PUSH1 0x00 00000aab: SWAP1 00000aac: DUP2 00000aad: MSTORE 00000aae: PUSH1 0x03 00000ab0: PUSH1 0x20 00000ab2: MSTORE 00000ab3: PUSH1 0x40 00000ab5: DUP1 00000ab6: DUP3 00000ab7: KECCAK256 00000ab8: DUP3 00000ab9: SWAP1 00000aba: SSTORE 00000abb: DUP2 00000abc: SLOAD 00000abd: SWAP1 00000abe: SWAP3 00000abf: AND 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: KECCAK256 00000ac3: SLOAD 00000ac4: PUSH2 0x0ace 00000ac7: DUP2 00000ac8: PUSH1 0x3c 00000aca: PUSH2 0x0ced 00000acd: JUMP 00000ace: JUMPDEST 00000acf: PUSH1 0x00 00000ad1: DUP1 00000ad2: SLOAD 00000ad3: PUSH1 0x01 00000ad5: PUSH1 0x01 00000ad7: PUSH1 0xa0 00000ad9: SHL 00000ada: SUB 00000adb: AND 00000adc: DUP2 00000add: MSTORE 00000ade: PUSH1 0x03 00000ae0: PUSH1 0x20 00000ae2: MSTORE 00000ae3: PUSH1 0x40 00000ae5: SWAP1 00000ae6: KECCAK256 00000ae7: SSTORE 00000ae8: POP 00000ae9: POP 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH1 0x07 00000aee: SLOAD 00000aef: DUP2 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH1 0x02 00000af4: SLOAD 00000af5: TIMESTAMP 00000af6: GT 00000af7: SWAP1 00000af8: JUMP 00000af9: JUMPDEST 00000afa: PUSH1 0x00 00000afc: SLOAD 00000afd: PUSH1 0x01 00000aff: PUSH1 0x01 00000b01: PUSH1 0xa0 00000b03: SHL 00000b04: SUB 00000b05: AND 00000b06: CALLER 00000b07: EQ 00000b08: PUSH2 0x0b10 00000b0b: JUMPI 00000b0c: PUSH1 0x00 00000b0e: DUP1 00000b0f: REVERT 00000b10: JUMPDEST 00000b11: PUSH1 0x01 00000b13: PUSH1 0x01 00000b15: PUSH1 0xa0 00000b17: SHL 00000b18: SUB 00000b19: DUP2 00000b1a: AND 00000b1b: PUSH2 0x0b23 00000b1e: JUMPI 00000b1f: PUSH1 0x00 00000b21: DUP1 00000b22: REVERT 00000b23: JUMPDEST 00000b24: PUSH1 0x00 00000b26: DUP1 00000b27: SLOAD 00000b28: PUSH1 0x01 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0xa0 00000b2e: SHL 00000b2f: SUB 00000b30: AND 00000b31: DUP2 00000b32: MSTORE 00000b33: PUSH1 0x03 00000b35: PUSH1 0x20 00000b37: MSTORE 00000b38: PUSH1 0x40 00000b3a: SWAP1 00000b3b: KECCAK256 00000b3c: SLOAD 00000b3d: PUSH1 0x28 00000b3f: GT 00000b40: ISZERO 00000b41: PUSH2 0x0b49 00000b44: JUMPI 00000b45: PUSH1 0x00 00000b47: DUP1 00000b48: REVERT 00000b49: JUMPDEST 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0x01 00000b4e: PUSH1 0xa0 00000b50: SHL 00000b51: SUB 00000b52: DUP2 00000b53: AND 00000b54: PUSH1 0x00 00000b56: SWAP1 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x03 00000b5b: PUSH1 0x20 00000b5d: MSTORE 00000b5e: PUSH1 0x40 00000b60: SWAP1 00000b61: KECCAK256 00000b62: SLOAD 00000b63: ISZERO 00000b64: PUSH2 0x0b6c 00000b67: JUMPI 00000b68: PUSH1 0x00 00000b6a: DUP1 00000b6b: REVERT 00000b6c: JUMPDEST 00000b6d: PUSH1 0x05 00000b6f: DUP1 00000b70: SLOAD 00000b71: PUSH1 0x01 00000b73: DUP2 00000b74: ADD 00000b75: SWAP1 00000b76: SWAP2 00000b77: SSTORE 00000b78: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 00000b99: ADD 00000b9a: DUP1 00000b9b: SLOAD 00000b9c: PUSH1 0x01 00000b9e: PUSH1 0x01 00000ba0: PUSH1 0xa0 00000ba2: SHL 00000ba3: SUB 00000ba4: NOT 00000ba5: AND 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0x01 00000baa: PUSH1 0xa0 00000bac: SHL 00000bad: SUB 00000bae: DUP4 00000baf: DUP2 00000bb0: AND 00000bb1: SWAP2 00000bb2: DUP3 00000bb3: OR 00000bb4: SWAP1 00000bb5: SWAP3 00000bb6: SSTORE 00000bb7: PUSH1 0x00 00000bb9: SWAP1 00000bba: DUP2 00000bbb: MSTORE 00000bbc: PUSH1 0x03 00000bbe: PUSH1 0x20 00000bc0: MSTORE 00000bc1: PUSH1 0x40 00000bc3: DUP1 00000bc4: DUP3 00000bc5: KECCAK256 00000bc6: PUSH1 0x3c 00000bc8: SWAP1 00000bc9: DUP2 00000bca: SWAP1 00000bcb: SSTORE 00000bcc: DUP3 00000bcd: SLOAD 00000bce: SWAP1 00000bcf: SWAP4 00000bd0: AND 00000bd1: DUP3 00000bd2: MSTORE 00000bd3: SWAP1 00000bd4: KECCAK256 00000bd5: SLOAD 00000bd6: SWAP1 00000bd7: PUSH2 0x0ace 00000bda: SWAP1 00000bdb: DUP3 00000bdc: SWAP1 00000bdd: PUSH2 0x1049 00000be0: JUMP 00000be1: JUMPDEST 00000be2: PUSH1 0x00 00000be4: SLOAD 00000be5: PUSH1 0x01 00000be7: PUSH1 0x01 00000be9: PUSH1 0xa0 00000beb: SHL 00000bec: SUB 00000bed: AND 00000bee: CALLER 00000bef: EQ 00000bf0: PUSH2 0x0bf8 00000bf3: JUMPI 00000bf4: PUSH1 0x00 00000bf6: DUP1 00000bf7: REVERT 00000bf8: JUMPDEST 00000bf9: PUSH1 0x01 00000bfb: PUSH1 0x01 00000bfd: PUSH1 0xa0 00000bff: SHL 00000c00: SUB 00000c01: DUP2 00000c02: AND 00000c03: PUSH2 0x0c0b 00000c06: JUMPI 00000c07: PUSH1 0x00 00000c09: DUP1 00000c0a: REVERT 00000c0b: JUMPDEST 00000c0c: PUSH1 0x00 00000c0e: DUP1 00000c0f: SLOAD 00000c10: PUSH1 0x40 00000c12: MLOAD 00000c13: PUSH1 0x01 00000c15: PUSH1 0x01 00000c17: PUSH1 0xa0 00000c19: SHL 00000c1a: SUB 00000c1b: DUP1 00000c1c: DUP6 00000c1d: AND 00000c1e: SWAP4 00000c1f: SWAP3 00000c20: AND 00000c21: SWAP2 00000c22: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000c43: SWAP2 00000c44: LOG3 00000c45: PUSH1 0x00 00000c47: DUP1 00000c48: SLOAD 00000c49: PUSH1 0x01 00000c4b: PUSH1 0x01 00000c4d: PUSH1 0xa0 00000c4f: SHL 00000c50: SUB 00000c51: NOT 00000c52: AND 00000c53: PUSH1 0x01 00000c55: PUSH1 0x01 00000c57: PUSH1 0xa0 00000c59: SHL 00000c5a: SUB 00000c5b: SWAP3 00000c5c: SWAP1 00000c5d: SWAP3 00000c5e: AND 00000c5f: SWAP2 00000c60: SWAP1 00000c61: SWAP2 00000c62: OR 00000c63: SWAP1 00000c64: SSTORE 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH1 0x0d 00000c69: SLOAD 00000c6a: PUSH3 0x010000 00000c6e: SWAP1 00000c6f: DIV 00000c70: PUSH1 0x01 00000c72: PUSH1 0x01 00000c74: PUSH1 0xa0 00000c76: SHL 00000c77: SUB 00000c78: AND 00000c79: DUP2 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: PUSH1 0x00 00000c7e: DUP1 00000c7f: PUSH1 0x01 00000c81: SLOAD 00000c82: TIMESTAMP 00000c83: LT 00000c84: ISZERO 00000c85: DUP1 00000c86: ISZERO 00000c87: PUSH2 0x0c92 00000c8a: JUMPI 00000c8b: POP 00000c8c: PUSH1 0x02 00000c8e: SLOAD 00000c8f: TIMESTAMP 00000c90: GT 00000c91: ISZERO 00000c92: JUMPDEST 00000c93: SWAP1 00000c94: POP 00000c95: CALLVALUE 00000c96: ISZERO 00000c97: ISZERO 00000c98: DUP2 00000c99: DUP1 00000c9a: ISZERO 00000c9b: PUSH2 0x0ca1 00000c9e: JUMPI 00000c9f: POP 00000ca0: DUP1 00000ca1: JUMPDEST 00000ca2: SWAP3 00000ca3: POP 00000ca4: POP 00000ca5: POP 00000ca6: SWAP1 00000ca7: JUMP 00000ca8: JUMPDEST 00000ca9: PUSH1 0x00 00000cab: DUP1 00000cac: PUSH2 0x0cb5 00000caf: DUP4 00000cb0: DUP6 00000cb1: PUSH2 0x12f6 00000cb4: JUMP 00000cb5: JUMPDEST 00000cb6: SWAP1 00000cb7: POP 00000cb8: DUP4 00000cb9: ISZERO 00000cba: DUP1 00000cbb: PUSH2 0x0ccc 00000cbe: JUMPI 00000cbf: POP 00000cc0: DUP3 00000cc1: PUSH2 0x0cca 00000cc4: DUP6 00000cc5: DUP4 00000cc6: PUSH2 0x12e2 00000cc9: JUMP 00000cca: JUMPDEST 00000ccb: EQ 00000ccc: JUMPDEST 00000ccd: PUSH2 0x0ce6 00000cd0: JUMPI 00000cd1: PUSH4 0x4e487b71 00000cd6: PUSH1 0xe0 00000cd8: SHL 00000cd9: PUSH1 0x00 00000cdb: MSTORE 00000cdc: PUSH1 0x01 00000cde: PUSH1 0x04 00000ce0: MSTORE 00000ce1: PUSH1 0x24 00000ce3: PUSH1 0x00 00000ce5: REVERT 00000ce6: JUMPDEST 00000ce7: SWAP4 00000ce8: SWAP3 00000ce9: POP 00000cea: POP 00000ceb: POP 00000cec: JUMP 00000ced: JUMPDEST 00000cee: PUSH1 0x00 00000cf0: DUP1 00000cf1: PUSH2 0x0cfa 00000cf4: DUP4 00000cf5: DUP6 00000cf6: PUSH2 0x12ca 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: SWAP1 00000cfc: POP 00000cfd: DUP4 00000cfe: DUP2 00000cff: LT 00000d00: ISZERO 00000d01: PUSH2 0x0ce6 00000d04: JUMPI 00000d05: PUSH4 0x4e487b71 00000d0a: PUSH1 0xe0 00000d0c: SHL 00000d0d: PUSH1 0x00 00000d0f: MSTORE 00000d10: PUSH1 0x01 00000d12: PUSH1 0x04 00000d14: MSTORE 00000d15: PUSH1 0x24 00000d17: PUSH1 0x00 00000d19: REVERT 00000d1a: JUMPDEST 00000d1b: PUSH1 0x40 00000d1d: MLOAD 00000d1e: PUSH1 0x01 00000d20: PUSH1 0x01 00000d22: PUSH1 0xa0 00000d24: SHL 00000d25: SUB 00000d26: DUP4 00000d27: AND 00000d28: SWAP1 00000d29: DUP3 00000d2a: ISZERO 00000d2b: PUSH2 0x08fc 00000d2e: MUL 00000d2f: SWAP1 00000d30: DUP4 00000d31: SWAP1 00000d32: PUSH1 0x00 00000d34: DUP2 00000d35: DUP2 00000d36: DUP2 00000d37: DUP6 00000d38: DUP9 00000d39: DUP9 00000d3a: CALL 00000d3b: SWAP4 00000d3c: POP 00000d3d: POP 00000d3e: POP 00000d3f: POP 00000d40: ISZERO 00000d41: DUP1 00000d42: ISZERO 00000d43: PUSH2 0x0d50 00000d46: JUMPI 00000d47: RETURNDATASIZE 00000d48: PUSH1 0x00 00000d4a: DUP1 00000d4b: RETURNDATACOPY 00000d4c: RETURNDATASIZE 00000d4d: PUSH1 0x00 00000d4f: REVERT 00000d50: JUMPDEST 00000d51: POP 00000d52: DUP2 00000d53: PUSH1 0x01 00000d55: PUSH1 0x01 00000d57: PUSH1 0xa0 00000d59: SHL 00000d5a: SUB 00000d5b: AND 00000d5c: CALLER 00000d5d: PUSH1 0x01 00000d5f: PUSH1 0x01 00000d61: PUSH1 0xa0 00000d63: SHL 00000d64: SUB 00000d65: AND 00000d66: PUSH32 0x8930ac7bcb101f94c05b13845098ae74383bfb9e348e73061b730040945cbb82 00000d87: DUP4 00000d88: PUSH1 0x40 00000d8a: MLOAD 00000d8b: PUSH2 0x0d94 00000d8e: SWAP2 00000d8f: SWAP1 00000d90: PUSH2 0x12b3 00000d93: JUMP 00000d94: JUMPDEST 00000d95: PUSH1 0x40 00000d97: MLOAD 00000d98: DUP1 00000d99: SWAP2 00000d9a: SUB 00000d9b: SWAP1 00000d9c: LOG3 00000d9d: POP 00000d9e: POP 00000d9f: JUMP 00000da0: JUMPDEST 00000da1: PUSH1 0x00 00000da3: DUP1 00000da4: DUP3 00000da5: GT 00000da6: PUSH2 0x0dbf 00000da9: JUMPI 00000daa: PUSH4 0x4e487b71 00000daf: PUSH1 0xe0 00000db1: SHL 00000db2: PUSH1 0x00 00000db4: MSTORE 00000db5: PUSH1 0x01 00000db7: PUSH1 0x04 00000db9: MSTORE 00000dba: PUSH1 0x24 00000dbc: PUSH1 0x00 00000dbe: REVERT 00000dbf: JUMPDEST 00000dc0: PUSH1 0x00 00000dc2: PUSH2 0x0dcb 00000dc5: DUP4 00000dc6: DUP6 00000dc7: PUSH2 0x12e2 00000dca: JUMP 00000dcb: JUMPDEST 00000dcc: SWAP1 00000dcd: POP 00000dce: PUSH2 0x0dd7 00000dd1: DUP4 00000dd2: DUP6 00000dd3: PUSH2 0x1347 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH2 0x0de1 00000ddb: DUP3 00000ddc: DUP6 00000ddd: PUSH2 0x12f6 00000de0: JUMP 00000de1: JUMPDEST 00000de2: PUSH2 0x0deb 00000de5: SWAP2 00000de6: SWAP1 00000de7: PUSH2 0x12ca 00000dea: JUMP 00000deb: JUMPDEST 00000dec: DUP5 00000ded: EQ 00000dee: PUSH2 0x0ce6 00000df1: JUMPI 00000df2: PUSH4 0x4e487b71 00000df7: PUSH1 0xe0 00000df9: SHL 00000dfa: PUSH1 0x00 00000dfc: MSTORE 00000dfd: PUSH1 0x01 00000dff: PUSH1 0x04 00000e01: MSTORE 00000e02: PUSH1 0x24 00000e04: PUSH1 0x00 00000e06: REVERT 00000e07: JUMPDEST 00000e08: PUSH1 0x00 00000e0a: JUMPDEST 00000e0b: PUSH1 0x05 00000e0d: SLOAD 00000e0e: DUP2 00000e0f: LT 00000e10: ISZERO 00000e11: PUSH2 0x1044 00000e14: JUMPI 00000e15: PUSH1 0x00 00000e17: PUSH1 0x03 00000e19: PUSH1 0x00 00000e1b: PUSH1 0x05 00000e1d: DUP5 00000e1e: DUP2 00000e1f: SLOAD 00000e20: DUP2 00000e21: LT 00000e22: PUSH2 0x0e3b 00000e25: JUMPI 00000e26: PUSH4 0x4e487b71 00000e2b: PUSH1 0xe0 00000e2d: SHL 00000e2e: PUSH1 0x00 00000e30: MSTORE 00000e31: PUSH1 0x32 00000e33: PUSH1 0x04 00000e35: MSTORE 00000e36: PUSH1 0x24 00000e38: PUSH1 0x00 00000e3a: REVERT 00000e3b: JUMPDEST 00000e3c: PUSH1 0x00 00000e3e: SWAP2 00000e3f: DUP3 00000e40: MSTORE 00000e41: PUSH1 0x20 00000e43: DUP1 00000e44: DUP4 00000e45: KECCAK256 00000e46: SWAP1 00000e47: SWAP2 00000e48: ADD 00000e49: SLOAD 00000e4a: PUSH1 0x01 00000e4c: PUSH1 0x01 00000e4e: PUSH1 0xa0 00000e50: SHL 00000e51: SUB 00000e52: AND 00000e53: DUP4 00000e54: MSTORE 00000e55: DUP3 00000e56: ADD 00000e57: SWAP3 00000e58: SWAP1 00000e59: SWAP3 00000e5a: MSTORE 00000e5b: PUSH1 0x40 00000e5d: ADD 00000e5e: DUP2 00000e5f: KECCAK256 00000e60: SLOAD 00000e61: SWAP2 00000e62: POP 00000e63: PUSH2 0x0e6c 00000e66: DUP5 00000e67: DUP4 00000e68: PUSH2 0x0ca8 00000e6b: JUMP 00000e6c: JUMPDEST 00000e6d: SWAP1 00000e6e: POP 00000e6f: PUSH2 0x0e79 00000e72: DUP2 00000e73: PUSH1 0x64 00000e75: PUSH2 0x0da0 00000e78: JUMP 00000e79: JUMPDEST 00000e7a: SWAP1 00000e7b: POP 00000e7c: PUSH1 0x05 00000e7e: DUP4 00000e7f: DUP2 00000e80: SLOAD 00000e81: DUP2 00000e82: LT 00000e83: PUSH2 0x0e9c 00000e86: JUMPI 00000e87: PUSH4 0x4e487b71 00000e8c: PUSH1 0xe0 00000e8e: SHL 00000e8f: PUSH1 0x00 00000e91: MSTORE 00000e92: PUSH1 0x32 00000e94: PUSH1 0x04 00000e96: MSTORE 00000e97: PUSH1 0x24 00000e99: PUSH1 0x00 00000e9b: REVERT 00000e9c: JUMPDEST 00000e9d: PUSH1 0x00 00000e9f: SWAP2 00000ea0: DUP3 00000ea1: MSTORE 00000ea2: PUSH1 0x20 00000ea4: DUP3 00000ea5: KECCAK256 00000ea6: ADD 00000ea7: SLOAD 00000ea8: PUSH1 0x40 00000eaa: MLOAD 00000eab: PUSH1 0x01 00000ead: PUSH1 0x01 00000eaf: PUSH1 0xa0 00000eb1: SHL 00000eb2: SUB 00000eb3: SWAP1 00000eb4: SWAP2 00000eb5: AND 00000eb6: SWAP2 00000eb7: DUP4 00000eb8: ISZERO 00000eb9: PUSH2 0x08fc 00000ebc: MUL 00000ebd: SWAP2 00000ebe: DUP5 00000ebf: SWAP2 00000ec0: DUP2 00000ec1: DUP2 00000ec2: DUP2 00000ec3: DUP6 00000ec4: DUP9 00000ec5: DUP9 00000ec6: CALL 00000ec7: SWAP4 00000ec8: POP 00000ec9: POP 00000eca: POP 00000ecb: POP 00000ecc: ISZERO 00000ecd: DUP1 00000ece: ISZERO 00000ecf: PUSH2 0x0edc 00000ed2: JUMPI 00000ed3: RETURNDATASIZE 00000ed4: PUSH1 0x00 00000ed6: DUP1 00000ed7: RETURNDATACOPY 00000ed8: RETURNDATASIZE 00000ed9: PUSH1 0x00 00000edb: REVERT 00000edc: JUMPDEST 00000edd: POP 00000ede: PUSH1 0x00 00000ee0: SLOAD 00000ee1: PUSH1 0x05 00000ee3: DUP1 00000ee4: SLOAD 00000ee5: PUSH1 0x01 00000ee7: PUSH1 0x01 00000ee9: PUSH1 0xa0 00000eeb: SHL 00000eec: SUB 00000eed: SWAP1 00000eee: SWAP3 00000eef: AND 00000ef0: SWAP2 00000ef1: DUP6 00000ef2: SWAP1 00000ef3: DUP2 00000ef4: LT 00000ef5: PUSH2 0x0f0e 00000ef8: JUMPI 00000ef9: PUSH4 0x4e487b71 00000efe: PUSH1 0xe0 00000f00: SHL 00000f01: PUSH1 0x00 00000f03: MSTORE 00000f04: PUSH1 0x32 00000f06: PUSH1 0x04 00000f08: MSTORE 00000f09: PUSH1 0x24 00000f0b: PUSH1 0x00 00000f0d: REVERT 00000f0e: JUMPDEST 00000f0f: PUSH1 0x00 00000f11: SWAP2 00000f12: DUP3 00000f13: MSTORE 00000f14: PUSH1 0x20 00000f16: SWAP1 00000f17: SWAP2 00000f18: KECCAK256 00000f19: ADD 00000f1a: SLOAD 00000f1b: PUSH1 0x01 00000f1d: PUSH1 0x01 00000f1f: PUSH1 0xa0 00000f21: SHL 00000f22: SUB 00000f23: AND 00000f24: EQ 00000f25: DUP1 00000f26: ISZERO 00000f27: SWAP1 00000f28: PUSH2 0x0f7a 00000f2b: JUMPI 00000f2c: POP 00000f2d: PUSH1 0x00 00000f2f: PUSH1 0x03 00000f31: PUSH1 0x00 00000f33: PUSH1 0x05 00000f35: DUP7 00000f36: DUP2 00000f37: SLOAD 00000f38: DUP2 00000f39: LT 00000f3a: PUSH2 0x0f53 00000f3d: JUMPI 00000f3e: PUSH4 0x4e487b71 00000f43: PUSH1 0xe0 00000f45: SHL 00000f46: PUSH1 0x00 00000f48: MSTORE 00000f49: PUSH1 0x32 00000f4b: PUSH1 0x04 00000f4d: MSTORE 00000f4e: PUSH1 0x24 00000f50: PUSH1 0x00 00000f52: REVERT 00000f53: JUMPDEST 00000f54: PUSH1 0x00 00000f56: SWAP2 00000f57: DUP3 00000f58: MSTORE 00000f59: PUSH1 0x20 00000f5b: DUP1 00000f5c: DUP4 00000f5d: KECCAK256 00000f5e: SWAP1 00000f5f: SWAP2 00000f60: ADD 00000f61: SLOAD 00000f62: PUSH1 0x01 00000f64: PUSH1 0x01 00000f66: PUSH1 0xa0 00000f68: SHL 00000f69: SUB 00000f6a: AND 00000f6b: DUP4 00000f6c: MSTORE 00000f6d: DUP3 00000f6e: ADD 00000f6f: SWAP3 00000f70: SWAP1 00000f71: SWAP3 00000f72: MSTORE 00000f73: PUSH1 0x40 00000f75: ADD 00000f76: SWAP1 00000f77: KECCAK256 00000f78: SLOAD 00000f79: GT 00000f7a: JUMPDEST 00000f7b: ISZERO 00000f7c: PUSH2 0x102f 00000f7f: JUMPI 00000f80: PUSH1 0x0d 00000f82: PUSH1 0x02 00000f84: SWAP1 00000f85: SLOAD 00000f86: SWAP1 00000f87: PUSH2 0x0100 00000f8a: EXP 00000f8b: SWAP1 00000f8c: DIV 00000f8d: PUSH1 0x01 00000f8f: PUSH1 0x01 00000f91: PUSH1 0xa0 00000f93: SHL 00000f94: SUB 00000f95: AND 00000f96: PUSH1 0x01 00000f98: PUSH1 0x01 00000f9a: PUSH1 0xa0 00000f9c: SHL 00000f9d: SUB 00000f9e: AND 00000f9f: PUSH4 0xa9059cbb 00000fa4: PUSH1 0x05 00000fa6: DUP6 00000fa7: DUP2 00000fa8: SLOAD 00000fa9: DUP2 00000faa: LT 00000fab: PUSH2 0x0fc4 00000fae: JUMPI 00000faf: PUSH4 0x4e487b71 00000fb4: PUSH1 0xe0 00000fb6: SHL 00000fb7: PUSH1 0x00 00000fb9: MSTORE 00000fba: PUSH1 0x32 00000fbc: PUSH1 0x04 00000fbe: MSTORE 00000fbf: PUSH1 0x24 00000fc1: PUSH1 0x00 00000fc3: REVERT 00000fc4: JUMPDEST 00000fc5: PUSH1 0x00 00000fc7: SWAP2 00000fc8: DUP3 00000fc9: MSTORE 00000fca: PUSH1 0x20 00000fcc: SWAP1 00000fcd: SWAP2 00000fce: KECCAK256 00000fcf: ADD 00000fd0: SLOAD 00000fd1: PUSH1 0x40 00000fd3: MLOAD 00000fd4: PUSH1 0x01 00000fd6: PUSH1 0x01 00000fd8: PUSH1 0xe0 00000fda: SHL 00000fdb: SUB 00000fdc: NOT 00000fdd: PUSH1 0xe0 00000fdf: DUP5 00000fe0: SWAP1 00000fe1: SHL 00000fe2: AND 00000fe3: DUP2 00000fe4: MSTORE 00000fe5: PUSH2 0x0ffc 00000fe8: SWAP2 00000fe9: PUSH1 0x01 00000feb: PUSH1 0x01 00000fed: PUSH1 0xa0 00000fef: SHL 00000ff0: SUB 00000ff1: AND 00000ff2: SWAP1 00000ff3: DUP10 00000ff4: SWAP1 00000ff5: PUSH1 0x04 00000ff7: ADD 00000ff8: PUSH2 0x110b 00000ffb: JUMP 00000ffc: JUMPDEST 00000ffd: PUSH1 0x00 00000fff: PUSH1 0x40 00001001: MLOAD 00001002: DUP1 00001003: DUP4 00001004: SUB 00001005: DUP2 00001006: PUSH1 0x00 00001008: DUP8 00001009: DUP1 0000100a: EXTCODESIZE 0000100b: ISZERO 0000100c: DUP1 0000100d: ISZERO 0000100e: PUSH2 0x1016 00001011: JUMPI 00001012: PUSH1 0x00 00001014: DUP1 00001015: REVERT 00001016: JUMPDEST 00001017: POP 00001018: GAS 00001019: CALL 0000101a: ISZERO 0000101b: DUP1 0000101c: ISZERO 0000101d: PUSH2 0x102a 00001020: JUMPI 00001021: RETURNDATASIZE 00001022: PUSH1 0x00 00001024: DUP1 00001025: RETURNDATACOPY 00001026: RETURNDATASIZE 00001027: PUSH1 0x00 00001029: REVERT 0000102a: JUMPDEST 0000102b: POP 0000102c: POP 0000102d: POP 0000102e: POP 0000102f: JUMPDEST 00001030: POP 00001031: POP 00001032: DUP1 00001033: DUP1 00001034: PUSH2 0x103c 00001037: SWAP1 00001038: PUSH2 0x132c 0000103b: JUMP 0000103c: JUMPDEST 0000103d: SWAP2 0000103e: POP 0000103f: POP 00001040: PUSH2 0x0e0a 00001043: JUMP 00001044: JUMPDEST 00001045: POP 00001046: POP 00001047: POP 00001048: JUMP 00001049: JUMPDEST 0000104a: PUSH1 0x00 0000104c: DUP3 0000104d: DUP3 0000104e: GT 0000104f: ISZERO 00001050: PUSH2 0x1069 00001053: JUMPI 00001054: PUSH4 0x4e487b71 00001059: PUSH1 0xe0 0000105b: SHL 0000105c: PUSH1 0x00 0000105e: MSTORE 0000105f: PUSH1 0x01 00001061: PUSH1 0x04 00001063: MSTORE 00001064: PUSH1 0x24 00001066: PUSH1 0x00 00001068: REVERT 00001069: JUMPDEST 0000106a: PUSH2 0x0ce6 0000106d: DUP3 0000106e: DUP5 0000106f: PUSH2 0x1315 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH1 0x00 00001076: PUSH1 0x20 00001078: DUP3 00001079: DUP5 0000107a: SUB 0000107b: SLT 0000107c: ISZERO 0000107d: PUSH2 0x1084 00001080: JUMPI 00001081: DUP1 00001082: DUP2 00001083: REVERT 00001084: JUMPDEST 00001085: DUP2 00001086: CALLDATALOAD 00001087: PUSH2 0x0ce6 0000108a: DUP2 0000108b: PUSH2 0x1387 0000108e: JUMP 0000108f: JUMPDEST 00001090: PUSH1 0x00 00001092: DUP1 00001093: PUSH1 0x40 00001095: DUP4 00001096: DUP6 00001097: SUB 00001098: SLT 00001099: ISZERO 0000109a: PUSH2 0x10a1 0000109d: JUMPI 0000109e: DUP1 0000109f: DUP2 000010a0: REVERT 000010a1: JUMPDEST 000010a2: DUP3 000010a3: CALLDATALOAD 000010a4: PUSH2 0x10ac 000010a7: DUP2 000010a8: PUSH2 0x1387 000010ab: JUMP 000010ac: JUMPDEST 000010ad: SWAP2 000010ae: POP 000010af: PUSH1 0x20 000010b1: DUP4 000010b2: ADD 000010b3: CALLDATALOAD 000010b4: PUSH2 0x10bc 000010b7: DUP2 000010b8: PUSH2 0x1387 000010bb: JUMP 000010bc: JUMPDEST 000010bd: DUP1 000010be: SWAP2 000010bf: POP 000010c0: POP 000010c1: SWAP3 000010c2: POP 000010c3: SWAP3 000010c4: SWAP1 000010c5: POP 000010c6: JUMP 000010c7: JUMPDEST 000010c8: PUSH1 0x00 000010ca: PUSH1 0x20 000010cc: DUP3 000010cd: DUP5 000010ce: SUB 000010cf: SLT 000010d0: ISZERO 000010d1: PUSH2 0x10d8 000010d4: JUMPI 000010d5: DUP1 000010d6: DUP2 000010d7: REVERT 000010d8: JUMPDEST 000010d9: POP 000010da: CALLDATALOAD 000010db: SWAP2 000010dc: SWAP1 000010dd: POP 000010de: JUMP 000010df: JUMPDEST 000010e0: PUSH1 0x00 000010e2: PUSH1 0x20 000010e4: DUP3 000010e5: DUP5 000010e6: SUB 000010e7: SLT 000010e8: ISZERO 000010e9: PUSH2 0x10f0 000010ec: JUMPI 000010ed: DUP1 000010ee: DUP2 000010ef: REVERT 000010f0: JUMPDEST 000010f1: POP 000010f2: MLOAD 000010f3: SWAP2 000010f4: SWAP1 000010f5: POP 000010f6: JUMP 000010f7: JUMPDEST 000010f8: PUSH1 0x01 000010fa: PUSH1 0x01 000010fc: PUSH1 0xa0 000010fe: SHL 000010ff: SUB 00001100: SWAP2 00001101: SWAP1 00001102: SWAP2 00001103: AND 00001104: DUP2 00001105: MSTORE 00001106: PUSH1 0x20 00001108: ADD 00001109: SWAP1 0000110a: JUMP 0000110b: JUMPDEST 0000110c: PUSH1 0x01 0000110e: PUSH1 0x01 00001110: PUSH1 0xa0 00001112: SHL 00001113: SUB 00001114: SWAP3 00001115: SWAP1 00001116: SWAP3 00001117: AND 00001118: DUP3 00001119: MSTORE 0000111a: PUSH1 0x20 0000111c: DUP3 0000111d: ADD 0000111e: MSTORE 0000111f: PUSH1 0x40 00001121: ADD 00001122: SWAP1 00001123: JUMP 00001124: JUMPDEST 00001125: SWAP1 00001126: ISZERO 00001127: ISZERO 00001128: DUP2 00001129: MSTORE 0000112a: PUSH1 0x20 0000112c: ADD 0000112d: SWAP1 0000112e: JUMP 0000112f: JUMPDEST 00001130: PUSH1 0x20 00001132: DUP1 00001133: DUP3 00001134: MSTORE 00001135: PUSH1 0x18 00001137: SWAP1 00001138: DUP3 00001139: ADD 0000113a: MSTORE 0000113b: PUSH32 0x697473206e6f7420612076616c69642070757263686173650000000000000000 0000115c: PUSH1 0x40 0000115e: DUP3 0000115f: ADD 00001160: MSTORE 00001161: PUSH1 0x60 00001163: ADD 00001164: SWAP1 00001165: JUMP 00001166: JUMPDEST 00001167: PUSH1 0x20 00001169: DUP1 0000116a: DUP3 0000116b: MSTORE 0000116c: PUSH1 0x11 0000116e: SWAP1 0000116f: DUP3 00001170: ADD 00001171: MSTORE 00001172: PUSH17 0x141c995cd85b19481a5cc81c185d5cd959 00001184: PUSH1 0x7a 00001186: SHL 00001187: PUSH1 0x40 00001189: DUP3 0000118a: ADD 0000118b: MSTORE 0000118c: PUSH1 0x60 0000118e: ADD 0000118f: SWAP1 00001190: JUMP 00001191: JUMPDEST 00001192: PUSH1 0x20 00001194: DUP1 00001195: DUP3 00001196: MSTORE 00001197: PUSH1 0x2e 00001199: SWAP1 0000119a: DUP3 0000119b: ADD 0000119c: MSTORE 0000119d: PUSH32 0x4d41585f4255595f4c494d495420416368696576656420616c72656164792066 000011be: PUSH1 0x40 000011c0: DUP3 000011c1: ADD 000011c2: MSTORE 000011c3: PUSH14 0x1bdc881d1a1a5cc81dd85b1b195d 000011d2: PUSH1 0x92 000011d4: SHL 000011d5: PUSH1 0x60 000011d7: DUP3 000011d8: ADD 000011d9: MSTORE 000011da: PUSH1 0x80 000011dc: ADD 000011dd: SWAP1 000011de: JUMP 000011df: JUMPDEST 000011e0: PUSH1 0x20 000011e2: DUP1 000011e3: DUP3 000011e4: MSTORE 000011e5: PUSH1 0x16 000011e7: SWAP1 000011e8: DUP3 000011e9: ADD 000011ea: MSTORE 000011eb: PUSH22 0x09a82b0be84aab2be98929a92a840d2e64066408aa89 00001202: PUSH1 0x53 00001204: SHL 00001205: PUSH1 0x40 00001207: DUP3 00001208: ADD 00001209: MSTORE 0000120a: PUSH1 0x60 0000120c: ADD 0000120d: SWAP1 0000120e: JUMP 0000120f: JUMPDEST 00001210: PUSH1 0x20 00001212: DUP1 00001213: DUP3 00001214: MSTORE 00001215: PUSH1 0x10 00001217: SWAP1 00001218: DUP3 00001219: ADD 0000121a: MSTORE 0000121b: PUSH16 0x109bdd1cc81b9bdd08185b1b1bddd959 0000122c: PUSH1 0x82 0000122e: SHL 0000122f: PUSH1 0x40 00001231: DUP3 00001232: ADD 00001233: MSTORE 00001234: PUSH1 0x60 00001236: ADD 00001237: SWAP1 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH1 0x20 0000123c: DUP1 0000123d: DUP3 0000123e: MSTORE 0000123f: PUSH1 0x2e 00001241: SWAP1 00001242: DUP3 00001243: ADD 00001244: MSTORE 00001245: PUSH32 0x757365722061736b696e6720666f7220746f6b656e732073656e7420746f2062 00001266: PUSH1 0x40 00001268: DUP3 00001269: ADD 0000126a: MSTORE 0000126b: PUSH14 0x65206f6e20302061646472657373 0000127a: PUSH1 0x90 0000127c: SHL 0000127d: PUSH1 0x60 0000127f: DUP3 00001280: ADD 00001281: MSTORE 00001282: PUSH1 0x80 00001284: ADD 00001285: SWAP1 00001286: JUMP 00001287: JUMPDEST 00001288: PUSH1 0x20 0000128a: DUP1 0000128b: DUP3 0000128c: MSTORE 0000128d: PUSH1 0x12 0000128f: SWAP1 00001290: DUP3 00001291: ADD 00001292: MSTORE 00001293: PUSH18 0x141c995cd85b19481a5cc81cdd1bdc1c1959 000012a6: PUSH1 0x72 000012a8: SHL 000012a9: PUSH1 0x40 000012ab: DUP3 000012ac: ADD 000012ad: MSTORE 000012ae: PUSH1 0x60 000012b0: ADD 000012b1: SWAP1 000012b2: JUMP 000012b3: JUMPDEST 000012b4: SWAP1 000012b5: DUP2 000012b6: MSTORE 000012b7: PUSH1 0x20 000012b9: ADD 000012ba: SWAP1 000012bb: JUMP 000012bc: JUMPDEST 000012bd: SWAP2 000012be: DUP3 000012bf: MSTORE 000012c0: PUSH1 0x20 000012c2: DUP3 000012c3: ADD 000012c4: MSTORE 000012c5: PUSH1 0x40 000012c7: ADD 000012c8: SWAP1 000012c9: JUMP 000012ca: JUMPDEST 000012cb: PUSH1 0x00 000012cd: DUP3 000012ce: NOT 000012cf: DUP3 000012d0: GT 000012d1: ISZERO 000012d2: PUSH2 0x12dd 000012d5: JUMPI 000012d6: PUSH2 0x12dd 000012d9: PUSH2 0x135b 000012dc: JUMP 000012dd: JUMPDEST 000012de: POP 000012df: ADD 000012e0: SWAP1 000012e1: JUMP 000012e2: JUMPDEST 000012e3: PUSH1 0x00 000012e5: DUP3 000012e6: PUSH2 0x12f1 000012e9: JUMPI 000012ea: PUSH2 0x12f1 000012ed: PUSH2 0x1371 000012f0: JUMP 000012f1: JUMPDEST 000012f2: POP 000012f3: DIV 000012f4: SWAP1 000012f5: JUMP 000012f6: JUMPDEST 000012f7: PUSH1 0x00 000012f9: DUP2 000012fa: PUSH1 0x00 000012fc: NOT 000012fd: DIV 000012fe: DUP4 000012ff: GT 00001300: DUP3 00001301: ISZERO 00001302: ISZERO 00001303: AND 00001304: ISZERO 00001305: PUSH2 0x1310 00001308: JUMPI 00001309: PUSH2 0x1310 0000130c: PUSH2 0x135b 0000130f: JUMP 00001310: JUMPDEST 00001311: POP 00001312: MUL 00001313: SWAP1 00001314: JUMP 00001315: JUMPDEST 00001316: PUSH1 0x00 00001318: DUP3 00001319: DUP3 0000131a: LT 0000131b: ISZERO 0000131c: PUSH2 0x1327 0000131f: JUMPI 00001320: PUSH2 0x1327 00001323: PUSH2 0x135b 00001326: JUMP 00001327: JUMPDEST 00001328: POP 00001329: SUB 0000132a: SWAP1 0000132b: JUMP 0000132c: JUMPDEST 0000132d: PUSH1 0x00 0000132f: PUSH1 0x00 00001331: NOT 00001332: DUP3 00001333: EQ 00001334: ISZERO 00001335: PUSH2 0x1340 00001338: JUMPI 00001339: PUSH2 0x1340 0000133c: PUSH2 0x135b 0000133f: JUMP 00001340: JUMPDEST 00001341: POP 00001342: PUSH1 0x01 00001344: ADD 00001345: SWAP1 00001346: JUMP 00001347: JUMPDEST 00001348: PUSH1 0x00 0000134a: DUP3 0000134b: PUSH2 0x1356 0000134e: JUMPI 0000134f: PUSH2 0x1356 00001352: PUSH2 0x1371 00001355: JUMP 00001356: JUMPDEST 00001357: POP 00001358: MOD 00001359: SWAP1 0000135a: JUMP 0000135b: JUMPDEST 0000135c: PUSH4 0x4e487b71 00001361: PUSH1 0xe0 00001363: SHL 00001364: PUSH1 0x00 00001366: MSTORE 00001367: PUSH1 0x11 00001369: PUSH1 0x04 0000136b: MSTORE 0000136c: PUSH1 0x24 0000136e: PUSH1 0x00 00001370: REVERT 00001371: JUMPDEST 00001372: PUSH4 0x4e487b71 00001377: PUSH1 0xe0 00001379: SHL 0000137a: PUSH1 0x00 0000137c: MSTORE 0000137d: PUSH1 0x12 0000137f: PUSH1 0x04 00001381: MSTORE 00001382: PUSH1 0x24 00001384: PUSH1 0x00 00001386: REVERT 00001387: JUMPDEST 00001388: PUSH1 0x01 0000138a: PUSH1 0x01 0000138c: PUSH1 0xa0 0000138e: SHL 0000138f: SUB 00001390: DUP2 00001391: AND 00001392: DUP2 00001393: EQ 00001394: PUSH2 0x139c 00001397: JUMPI 00001398: PUSH1 0x00 0000139a: DUP1 0000139b: REVERT 0000139c: JUMPDEST 0000139d: POP 0000139e: JUMP 0000139f: INVALID 000013a0: LOG2 000013a1: PUSH5 0x6970667358 000013a7: UNKNOWN(0x22) 000013a8: SLT 000013a9: KECCAK256 000013aa: BLOBBASEFEE 000013ab: UNKNOWN(0xD9) 000013ac: SELFBALANCE 000013ad: UNKNOWN(0x2E) 000013ae: UNKNOWN(0x29) 000013af: TSTORE 000013b0: UNKNOWN(0xFB) 000013b1: UNKNOWN(0xC1) 000013b2: CALLER 000013b3: SAR 000013b4: UNKNOWN(0xE8) 000013b5: UNKNOWN(0x21) 000013b6: UNKNOWN(0xA7) 000013b7: UNKNOWN(0xEB) 000013b8: SDIV 000013b9: MOD 000013ba: LOG4 000013bb: UNKNOWN(0x4C) 000013bc: SWAP12 000013bd: UNKNOWN(0xE0) 000013be: CHAINID 000013bf: TIMESTAMP 000013c0: CODECOPY 000013c1: UNKNOWN(0x28) 000013c2: UNKNOWN(0x28) 000013c3: DELEGATECALL 000013c4: UNKNOWN(0xBC) 000013c5: UNKNOWN(0xA8) 000013c6: UNKNOWN(0xE5) 000013c7: DUP2 000013c8: UNKNOWN(0xC4) 000013c9: UNKNOWN(0xB9) 000013ca: PUSH5 0x736f6c6343 000013d0: STOP 000013d1: ADDMOD 000013d2: STOP 000013d3: STOP 000013d4: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x9a8b119a24f57e05fa36600204777be0d918318b2edbd1a877c845c877677b3c
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x9a8b119a24f57e05fa36600204777be0d918318b2edbd1a877c845c877677b3c",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xecb70fb7",
"selector": "0xecb70fb7",
"calldata_variants": [
"0xecb70fb7",
"0xecb70fb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee6a934c",
"selector": "0xee6a934c",
"calldata_variants": [
"0xee6a934c",
"0xee6a934c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9bb1dc8d",
"selector": "0x9bb1dc8d",
"calldata_variants": [
"0x9bb1dc8d",
"0x9bb1dc8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad7fadc5",
"selector": "0xad7fadc5",
"calldata_variants": [
"0xad7fadc5",
"0xad7fadc50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae22107f",
"selector": "0xae22107f",
"calldata_variants": [
"0xae22107f",
"0xae22107f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2c7f7ae",
"selector": "0xe2c7f7ae",
"calldata_variants": [
"0xe2c7f7ae",
"0xe2c7f7ae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5059,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x802503d820350927e499dc7d54761a17b136c71d8a7e5f58286e1582426a2649
call_targets:
0x26bce5a154aebb28adc114d5d57395cd578894ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x802503d820350927e499dc7d54761a17b136c71d8a7e5f58286e1582426a2649",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x26bce5a154aebb28adc114d5d57395cd578894ba"
],
"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": "0xecb70fb7",
"selector": "0xecb70fb7",
"calldata_variants": [
"0xecb70fb7",
"0xecb70fb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee6a934c",
"selector": "0xee6a934c",
"calldata_variants": [
"0xee6a934c",
"0xee6a934c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9bb1dc8d",
"selector": "0x9bb1dc8d",
"calldata_variants": [
"0x9bb1dc8d",
"0x9bb1dc8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad7fadc5",
"selector": "0xad7fadc5",
"calldata_variants": [
"0xad7fadc5",
"0xad7fadc50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae22107f",
"selector": "0xae22107f",
"calldata_variants": [
"0xae22107f",
"0xae22107f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2c7f7ae",
"selector": "0xe2c7f7ae",
"calldata_variants": [
"0xe2c7f7ae",
"0xe2c7f7ae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1774,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2477,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x802503d820350927e499dc7d54761a17b136c71d8a7e5f58286e1582426a2649
call_targets:
0x26bce5a154aebb28adc114d5d57395cd578894ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x802503d820350927e499dc7d54761a17b136c71d8a7e5f58286e1582426a2649",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x26bce5a154aebb28adc114d5d57395cd578894ba"
],
"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": "0xecb70fb7",
"selector": "0xecb70fb7",
"calldata_variants": [
"0xecb70fb7",
"0xecb70fb70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xee6a934c",
"selector": "0xee6a934c",
"calldata_variants": [
"0xee6a934c",
"0xee6a934c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9bb1dc8d",
"selector": "0x9bb1dc8d",
"calldata_variants": [
"0x9bb1dc8d",
"0x9bb1dc8d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xad7fadc5",
"selector": "0xad7fadc5",
"calldata_variants": [
"0xad7fadc5",
"0xad7fadc50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xae22107f",
"selector": "0xae22107f",
"calldata_variants": [
"0xae22107f",
"0xae22107f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe2c7f7ae",
"selector": "0xe2c7f7ae",
"calldata_variants": [
"0xe2c7f7ae",
"0xe2c7f7ae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1774,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2477,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|