019b477e-bbbd-7183-bdf3-5eb64cb43023
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 |
|---|---|---|---|---|
| 23959 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23960 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67110 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67111 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67112 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67113 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00ab 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x02c4 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa51fe113 0000002f: EQ 00000030: PUSH2 0x031b 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb52a5851 0000003a: EQ 0000003b: PUSH2 0x0380 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xec4cd0cf 00000045: EQ 00000046: PUSH2 0x0397 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x03c6 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf4163340 0000005b: EQ 0000005c: PUSH2 0x0417 0000005f: JUMPI 00000060: PUSH2 0x01b9 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x07da68f5 0000006b: EQ 0000006c: PUSH2 0x01be 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x21df0da7 00000076: EQ 00000077: PUSH2 0x01d5 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x22f3e2d4 00000081: EQ 00000082: PUSH2 0x022c 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x2e1a7d4d 0000008c: EQ 0000008d: PUSH2 0x025b 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x590e1ae3 00000097: EQ 00000098: PUSH2 0x0296 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x715018a6 000000a2: EQ 000000a3: PUSH2 0x02ad 000000a6: JUMPI 000000a7: PUSH2 0x01b9 000000aa: JUMP 000000ab: JUMPDEST 000000ac: CALLDATASIZE 000000ad: PUSH2 0x01b9 000000b0: JUMPI 000000b1: PUSH8 0x02c68af0bb140000 000000ba: CALLVALUE 000000bb: LT 000000bc: ISZERO 000000bd: PUSH2 0x012e 000000c0: JUMPI 000000c1: PUSH1 0x40 000000c3: MLOAD 000000c4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000e5: DUP2 000000e6: MSTORE 000000e7: PUSH1 0x04 000000e9: ADD 000000ea: DUP1 000000eb: DUP1 000000ec: PUSH1 0x20 000000ee: ADD 000000ef: DUP3 000000f0: DUP2 000000f1: SUB 000000f2: DUP3 000000f3: MSTORE 000000f4: PUSH1 0x0b 000000f6: DUP2 000000f7: MSTORE 000000f8: PUSH1 0x20 000000fa: ADD 000000fb: DUP1 000000fc: PUSH32 0x4d696e20302e3220657468000000000000000000000000000000000000000000 0000011d: DUP2 0000011e: MSTORE 0000011f: POP 00000120: PUSH1 0x20 00000122: ADD 00000123: SWAP2 00000124: POP 00000125: POP 00000126: PUSH1 0x40 00000128: MLOAD 00000129: DUP1 0000012a: SWAP2 0000012b: SUB 0000012c: SWAP1 0000012d: REVERT 0000012e: JUMPDEST 0000012f: PUSH9 0x01158e460913d00000 00000139: CALLVALUE 0000013a: GT 0000013b: ISZERO 0000013c: PUSH2 0x01ad 0000013f: JUMPI 00000140: PUSH1 0x40 00000142: MLOAD 00000143: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000164: DUP2 00000165: MSTORE 00000166: PUSH1 0x04 00000168: ADD 00000169: DUP1 0000016a: DUP1 0000016b: PUSH1 0x20 0000016d: ADD 0000016e: DUP3 0000016f: DUP2 00000170: SUB 00000171: DUP3 00000172: MSTORE 00000173: PUSH1 0x0a 00000175: DUP2 00000176: MSTORE 00000177: PUSH1 0x20 00000179: ADD 0000017a: DUP1 0000017b: PUSH32 0x4d61782032302065746800000000000000000000000000000000000000000000 0000019c: DUP2 0000019d: MSTORE 0000019e: POP 0000019f: PUSH1 0x20 000001a1: ADD 000001a2: SWAP2 000001a3: POP 000001a4: POP 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: DUP1 000001a9: SWAP2 000001aa: SUB 000001ab: SWAP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: PUSH2 0x01b7 000001b1: CALLER 000001b2: CALLVALUE 000001b3: PUSH2 0x0446 000001b6: JUMP 000001b7: JUMPDEST 000001b8: STOP 000001b9: JUMPDEST 000001ba: PUSH1 0x00 000001bc: DUP1 000001bd: REVERT 000001be: JUMPDEST 000001bf: CALLVALUE 000001c0: DUP1 000001c1: ISZERO 000001c2: PUSH2 0x01ca 000001c5: JUMPI 000001c6: PUSH1 0x00 000001c8: DUP1 000001c9: REVERT 000001ca: JUMPDEST 000001cb: POP 000001cc: PUSH2 0x01d3 000001cf: PUSH2 0x0891 000001d2: JUMP 000001d3: JUMPDEST 000001d4: STOP 000001d5: JUMPDEST 000001d6: CALLVALUE 000001d7: DUP1 000001d8: ISZERO 000001d9: PUSH2 0x01e1 000001dc: JUMPI 000001dd: PUSH1 0x00 000001df: DUP1 000001e0: REVERT 000001e1: JUMPDEST 000001e2: POP 000001e3: PUSH2 0x01ea 000001e6: PUSH2 0x09cc 000001e9: JUMP 000001ea: JUMPDEST 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: DUP1 000001ef: DUP3 000001f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000205: AND 00000206: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021b: AND 0000021c: DUP2 0000021d: MSTORE 0000021e: PUSH1 0x20 00000220: ADD 00000221: SWAP2 00000222: POP 00000223: POP 00000224: PUSH1 0x40 00000226: MLOAD 00000227: DUP1 00000228: SWAP2 00000229: SUB 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: CALLVALUE 0000022e: DUP1 0000022f: ISZERO 00000230: PUSH2 0x0238 00000233: JUMPI 00000234: PUSH1 0x00 00000236: DUP1 00000237: REVERT 00000238: JUMPDEST 00000239: POP 0000023a: PUSH2 0x0241 0000023d: PUSH2 0x09f6 00000240: JUMP 00000241: JUMPDEST 00000242: PUSH1 0x40 00000244: MLOAD 00000245: DUP1 00000246: DUP3 00000247: ISZERO 00000248: ISZERO 00000249: ISZERO 0000024a: ISZERO 0000024b: DUP2 0000024c: MSTORE 0000024d: PUSH1 0x20 0000024f: ADD 00000250: SWAP2 00000251: POP 00000252: POP 00000253: PUSH1 0x40 00000255: MLOAD 00000256: DUP1 00000257: SWAP2 00000258: SUB 00000259: SWAP1 0000025a: RETURN 0000025b: JUMPDEST 0000025c: CALLVALUE 0000025d: DUP1 0000025e: ISZERO 0000025f: PUSH2 0x0267 00000262: JUMPI 00000263: PUSH1 0x00 00000265: DUP1 00000266: REVERT 00000267: JUMPDEST 00000268: POP 00000269: PUSH2 0x0294 0000026c: PUSH1 0x04 0000026e: DUP1 0000026f: CALLDATASIZE 00000270: SUB 00000271: PUSH1 0x20 00000273: DUP2 00000274: LT 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: DUP2 00000280: ADD 00000281: SWAP1 00000282: DUP1 00000283: DUP1 00000284: CALLDATALOAD 00000285: SWAP1 00000286: PUSH1 0x20 00000288: ADD 00000289: SWAP1 0000028a: SWAP3 0000028b: SWAP2 0000028c: SWAP1 0000028d: POP 0000028e: POP 0000028f: POP 00000290: PUSH2 0x0a37 00000293: JUMP 00000294: JUMPDEST 00000295: STOP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x02ab 000002a7: PUSH2 0x0c97 000002aa: JUMP 000002ab: JUMPDEST 000002ac: STOP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x02c2 000002be: PUSH2 0x0efa 000002c1: JUMP 000002c2: JUMPDEST 000002c3: STOP 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: DUP1 000002c7: ISZERO 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: POP 000002d2: PUSH2 0x02d9 000002d5: PUSH2 0x1085 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x40 000002dc: MLOAD 000002dd: DUP1 000002de: DUP3 000002df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f4: AND 000002f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000030a: AND 0000030b: DUP2 0000030c: MSTORE 0000030d: PUSH1 0x20 0000030f: ADD 00000310: SWAP2 00000311: POP 00000312: POP 00000313: PUSH1 0x40 00000315: MLOAD 00000316: DUP1 00000317: SWAP2 00000318: SUB 00000319: SWAP1 0000031a: RETURN 0000031b: JUMPDEST 0000031c: CALLVALUE 0000031d: DUP1 0000031e: ISZERO 0000031f: PUSH2 0x0327 00000322: JUMPI 00000323: PUSH1 0x00 00000325: DUP1 00000326: REVERT 00000327: JUMPDEST 00000328: POP 00000329: PUSH2 0x037e 0000032c: PUSH1 0x04 0000032e: DUP1 0000032f: CALLDATASIZE 00000330: SUB 00000331: PUSH1 0x60 00000333: DUP2 00000334: LT 00000335: ISZERO 00000336: PUSH2 0x033e 00000339: JUMPI 0000033a: PUSH1 0x00 0000033c: DUP1 0000033d: REVERT 0000033e: JUMPDEST 0000033f: DUP2 00000340: ADD 00000341: SWAP1 00000342: DUP1 00000343: DUP1 00000344: CALLDATALOAD 00000345: SWAP1 00000346: PUSH1 0x20 00000348: ADD 00000349: SWAP1 0000034a: SWAP3 0000034b: SWAP2 0000034c: SWAP1 0000034d: DUP1 0000034e: CALLDATALOAD 0000034f: SWAP1 00000350: PUSH1 0x20 00000352: ADD 00000353: SWAP1 00000354: SWAP3 00000355: SWAP2 00000356: SWAP1 00000357: DUP1 00000358: CALLDATALOAD 00000359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036e: AND 0000036f: SWAP1 00000370: PUSH1 0x20 00000372: ADD 00000373: SWAP1 00000374: SWAP3 00000375: SWAP2 00000376: SWAP1 00000377: POP 00000378: POP 00000379: POP 0000037a: PUSH2 0x10af 0000037d: JUMP 0000037e: JUMPDEST 0000037f: STOP 00000380: JUMPDEST 00000381: CALLVALUE 00000382: DUP1 00000383: ISZERO 00000384: PUSH2 0x038c 00000387: JUMPI 00000388: PUSH1 0x00 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: POP 0000038e: PUSH2 0x0395 00000391: PUSH2 0x1262 00000394: JUMP 00000395: JUMPDEST 00000396: STOP 00000397: JUMPDEST 00000398: CALLVALUE 00000399: DUP1 0000039a: ISZERO 0000039b: PUSH2 0x03a3 0000039e: JUMPI 0000039f: PUSH1 0x00 000003a1: DUP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: POP 000003a5: PUSH2 0x03ac 000003a8: PUSH2 0x1548 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: DUP3 000003b2: ISZERO 000003b3: ISZERO 000003b4: ISZERO 000003b5: ISZERO 000003b6: DUP2 000003b7: MSTORE 000003b8: PUSH1 0x20 000003ba: ADD 000003bb: SWAP2 000003bc: POP 000003bd: POP 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP1 000003c2: SWAP2 000003c3: SUB 000003c4: SWAP1 000003c5: RETURN 000003c6: JUMPDEST 000003c7: CALLVALUE 000003c8: DUP1 000003c9: ISZERO 000003ca: PUSH2 0x03d2 000003cd: JUMPI 000003ce: PUSH1 0x00 000003d0: DUP1 000003d1: REVERT 000003d2: JUMPDEST 000003d3: POP 000003d4: PUSH2 0x0415 000003d7: PUSH1 0x04 000003d9: DUP1 000003da: CALLDATASIZE 000003db: SUB 000003dc: PUSH1 0x20 000003de: DUP2 000003df: LT 000003e0: ISZERO 000003e1: PUSH2 0x03e9 000003e4: JUMPI 000003e5: PUSH1 0x00 000003e7: DUP1 000003e8: REVERT 000003e9: JUMPDEST 000003ea: DUP2 000003eb: ADD 000003ec: SWAP1 000003ed: DUP1 000003ee: DUP1 000003ef: CALLDATALOAD 000003f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000405: AND 00000406: SWAP1 00000407: PUSH1 0x20 00000409: ADD 0000040a: SWAP1 0000040b: SWAP3 0000040c: SWAP2 0000040d: SWAP1 0000040e: POP 0000040f: POP 00000410: POP 00000411: PUSH2 0x1574 00000414: JUMP 00000415: JUMPDEST 00000416: STOP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x042c 00000428: PUSH2 0x1784 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: DUP3 00000432: ISZERO 00000433: ISZERO 00000434: ISZERO 00000435: ISZERO 00000436: DUP2 00000437: MSTORE 00000438: PUSH1 0x20 0000043a: ADD 0000043b: SWAP2 0000043c: POP 0000043d: POP 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: SWAP2 00000443: SUB 00000444: SWAP1 00000445: RETURN 00000446: JUMPDEST 00000447: PUSH1 0x02 00000449: PUSH1 0x00 0000044b: SLOAD 0000044c: EQ 0000044d: ISZERO 0000044e: PUSH2 0x04bf 00000451: JUMPI 00000452: PUSH1 0x40 00000454: MLOAD 00000455: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000476: DUP2 00000477: MSTORE 00000478: PUSH1 0x04 0000047a: ADD 0000047b: DUP1 0000047c: DUP1 0000047d: PUSH1 0x20 0000047f: ADD 00000480: DUP3 00000481: DUP2 00000482: SUB 00000483: DUP3 00000484: MSTORE 00000485: PUSH1 0x1f 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x20 0000048b: ADD 0000048c: DUP1 0000048d: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000004ae: DUP2 000004af: MSTORE 000004b0: POP 000004b1: PUSH1 0x20 000004b3: ADD 000004b4: SWAP2 000004b5: POP 000004b6: POP 000004b7: PUSH1 0x40 000004b9: MLOAD 000004ba: DUP1 000004bb: SWAP2 000004bc: SUB 000004bd: SWAP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: PUSH1 0x02 000004c2: PUSH1 0x00 000004c4: DUP2 000004c5: SWAP1 000004c6: SSTORE 000004c7: POP 000004c8: PUSH1 0x0b 000004ca: PUSH1 0x00 000004cc: SWAP1 000004cd: SLOAD 000004ce: SWAP1 000004cf: PUSH2 0x0100 000004d2: EXP 000004d3: SWAP1 000004d4: DIV 000004d5: PUSH1 0xff 000004d7: AND 000004d8: PUSH2 0x04e0 000004db: JUMPI 000004dc: PUSH1 0x00 000004de: DUP1 000004df: REVERT 000004e0: JUMPDEST 000004e1: PUSH1 0x0b 000004e3: PUSH1 0x01 000004e5: SWAP1 000004e6: SLOAD 000004e7: SWAP1 000004e8: PUSH2 0x0100 000004eb: EXP 000004ec: SWAP1 000004ed: DIV 000004ee: PUSH1 0xff 000004f0: AND 000004f1: ISZERO 000004f2: PUSH2 0x04fa 000004f5: JUMPI 000004f6: PUSH1 0x00 000004f8: DUP1 000004f9: REVERT 000004fa: JUMPDEST 000004fb: PUSH2 0x0502 000004fe: PUSH2 0x09f6 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH2 0x050b 00000506: JUMPI 00000507: PUSH1 0x00 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: PUSH1 0x00 0000050e: PUSH2 0x0522 00000511: DUP3 00000512: PUSH1 0x0c 00000514: SLOAD 00000515: PUSH2 0x17b8 00000518: SWAP1 00000519: SWAP2 0000051a: SWAP1 0000051b: PUSH4 0xffffffff 00000520: AND 00000521: JUMP 00000522: JUMPDEST 00000523: SWAP1 00000524: POP 00000525: DUP1 00000526: PUSH1 0x05 00000528: SLOAD 00000529: LT 0000052a: ISZERO 0000052b: PUSH2 0x05c2 0000052e: JUMPI 0000052f: PUSH1 0x00 00000531: PUSH2 0x0545 00000534: PUSH1 0x05 00000536: SLOAD 00000537: DUP4 00000538: PUSH2 0x1840 0000053b: SWAP1 0000053c: SWAP2 0000053d: SWAP1 0000053e: PUSH4 0xffffffff 00000543: AND 00000544: JUMP 00000545: JUMPDEST 00000546: SWAP1 00000547: POP 00000548: PUSH1 0x00 0000054a: PUSH2 0x055c 0000054d: DUP3 0000054e: DUP6 0000054f: PUSH2 0x1840 00000552: SWAP1 00000553: SWAP2 00000554: SWAP1 00000555: PUSH4 0xffffffff 0000055a: AND 0000055b: JUMP 0000055c: JUMPDEST 0000055d: SWAP1 0000055e: POP 0000055f: DUP5 00000560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000575: AND 00000576: PUSH2 0x08fc 00000579: DUP4 0000057a: SWAP1 0000057b: DUP2 0000057c: ISZERO 0000057d: MUL 0000057e: SWAP1 0000057f: PUSH1 0x40 00000581: MLOAD 00000582: PUSH1 0x00 00000584: PUSH1 0x40 00000586: MLOAD 00000587: DUP1 00000588: DUP4 00000589: SUB 0000058a: DUP2 0000058b: DUP6 0000058c: DUP9 0000058d: DUP9 0000058e: CALL 0000058f: SWAP4 00000590: POP 00000591: POP 00000592: POP 00000593: POP 00000594: ISZERO 00000595: DUP1 00000596: ISZERO 00000597: PUSH2 0x05a4 0000059a: JUMPI 0000059b: RETURNDATASIZE 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: RETURNDATACOPY 000005a0: RETURNDATASIZE 000005a1: PUSH1 0x00 000005a3: REVERT 000005a4: JUMPDEST 000005a5: POP 000005a6: DUP1 000005a7: SWAP4 000005a8: POP 000005a9: PUSH2 0x05bd 000005ac: DUP5 000005ad: PUSH1 0x0c 000005af: SLOAD 000005b0: PUSH2 0x17b8 000005b3: SWAP1 000005b4: SWAP2 000005b5: SWAP1 000005b6: PUSH4 0xffffffff 000005bb: AND 000005bc: JUMP 000005bd: JUMPDEST 000005be: SWAP3 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: JUMPDEST 000005c3: PUSH1 0x00 000005c5: PUSH2 0x05ed 000005c8: PUSH1 0x07 000005ca: SLOAD 000005cb: PUSH2 0x05df 000005ce: PUSH1 0x03 000005d0: SLOAD 000005d1: DUP7 000005d2: PUSH2 0x188a 000005d5: SWAP1 000005d6: SWAP2 000005d7: SWAP1 000005d8: PUSH4 0xffffffff 000005dd: AND 000005de: JUMP 000005df: JUMPDEST 000005e0: PUSH2 0x18d4 000005e3: SWAP1 000005e4: SWAP2 000005e5: SWAP1 000005e6: PUSH4 0xffffffff 000005eb: AND 000005ec: JUMP 000005ed: JUMPDEST 000005ee: SWAP1 000005ef: POP 000005f0: PUSH1 0x06 000005f2: PUSH1 0x00 000005f4: SWAP1 000005f5: SLOAD 000005f6: SWAP1 000005f7: PUSH2 0x0100 000005fa: EXP 000005fb: SWAP1 000005fc: DIV 000005fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000612: AND 00000613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000628: AND 00000629: PUSH4 0xa9059cbb 0000062e: DUP6 0000062f: DUP4 00000630: PUSH1 0x40 00000632: MLOAD 00000633: DUP4 00000634: PUSH4 0xffffffff 00000639: AND 0000063a: PUSH1 0xe0 0000063c: SHL 0000063d: DUP2 0000063e: MSTORE 0000063f: PUSH1 0x04 00000641: ADD 00000642: DUP1 00000643: DUP4 00000644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000659: AND 0000065a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066f: AND 00000670: DUP2 00000671: MSTORE 00000672: PUSH1 0x20 00000674: ADD 00000675: DUP3 00000676: DUP2 00000677: MSTORE 00000678: PUSH1 0x20 0000067a: ADD 0000067b: SWAP3 0000067c: POP 0000067d: POP 0000067e: POP 0000067f: PUSH1 0x20 00000681: PUSH1 0x40 00000683: MLOAD 00000684: DUP1 00000685: DUP4 00000686: SUB 00000687: DUP2 00000688: PUSH1 0x00 0000068a: DUP8 0000068b: DUP1 0000068c: EXTCODESIZE 0000068d: ISZERO 0000068e: DUP1 0000068f: ISZERO 00000690: PUSH2 0x0698 00000693: JUMPI 00000694: PUSH1 0x00 00000696: DUP1 00000697: REVERT 00000698: JUMPDEST 00000699: POP 0000069a: GAS 0000069b: CALL 0000069c: ISZERO 0000069d: DUP1 0000069e: ISZERO 0000069f: PUSH2 0x06ac 000006a2: JUMPI 000006a3: RETURNDATASIZE 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: RETURNDATACOPY 000006a8: RETURNDATASIZE 000006a9: PUSH1 0x00 000006ab: REVERT 000006ac: JUMPDEST 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: PUSH1 0x40 000006b3: MLOAD 000006b4: RETURNDATASIZE 000006b5: PUSH1 0x20 000006b7: DUP2 000006b8: LT 000006b9: ISZERO 000006ba: PUSH2 0x06c2 000006bd: JUMPI 000006be: PUSH1 0x00 000006c0: DUP1 000006c1: REVERT 000006c2: JUMPDEST 000006c3: DUP2 000006c4: ADD 000006c5: SWAP1 000006c6: DUP1 000006c7: DUP1 000006c8: MLOAD 000006c9: SWAP1 000006ca: PUSH1 0x20 000006cc: ADD 000006cd: SWAP1 000006ce: SWAP3 000006cf: SWAP2 000006d0: SWAP1 000006d1: POP 000006d2: POP 000006d3: POP 000006d4: PUSH2 0x0745 000006d7: JUMPI 000006d8: PUSH1 0x40 000006da: MLOAD 000006db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006fc: DUP2 000006fd: MSTORE 000006fe: PUSH1 0x04 00000700: ADD 00000701: DUP1 00000702: DUP1 00000703: PUSH1 0x20 00000705: ADD 00000706: DUP3 00000707: DUP2 00000708: SUB 00000709: DUP3 0000070a: MSTORE 0000070b: PUSH1 0x11 0000070d: DUP2 0000070e: MSTORE 0000070f: PUSH1 0x20 00000711: ADD 00000712: DUP1 00000713: PUSH32 0x4572726f72207472616e73666572696e67000000000000000000000000000000 00000734: DUP2 00000735: MSTORE 00000736: POP 00000737: PUSH1 0x20 00000739: ADD 0000073a: SWAP2 0000073b: POP 0000073c: POP 0000073d: PUSH1 0x40 0000073f: MLOAD 00000740: DUP1 00000741: SWAP2 00000742: SUB 00000743: SWAP1 00000744: REVERT 00000745: JUMPDEST 00000746: PUSH32 0xa8ff15eb642b39da3ab82bb74a87b76cc3e1aef2b82b70bc2a35458386db29aa 00000767: DUP5 00000768: DUP3 00000769: DUP6 0000076a: PUSH1 0x40 0000076c: MLOAD 0000076d: DUP1 0000076e: DUP5 0000076f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000784: AND 00000785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079a: AND 0000079b: DUP2 0000079c: MSTORE 0000079d: PUSH1 0x20 0000079f: ADD 000007a0: DUP4 000007a1: DUP2 000007a2: MSTORE 000007a3: PUSH1 0x20 000007a5: ADD 000007a6: DUP3 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x20 000007ab: ADD 000007ac: SWAP4 000007ad: POP 000007ae: POP 000007af: POP 000007b0: POP 000007b1: PUSH1 0x40 000007b3: MLOAD 000007b4: DUP1 000007b5: SWAP2 000007b6: SUB 000007b7: SWAP1 000007b8: LOG1 000007b9: PUSH2 0x080a 000007bc: DUP4 000007bd: PUSH1 0x02 000007bf: PUSH1 0x00 000007c1: DUP8 000007c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d7: AND 000007d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ed: AND 000007ee: DUP2 000007ef: MSTORE 000007f0: PUSH1 0x20 000007f2: ADD 000007f3: SWAP1 000007f4: DUP2 000007f5: MSTORE 000007f6: PUSH1 0x20 000007f8: ADD 000007f9: PUSH1 0x00 000007fb: KECCAK256 000007fc: SLOAD 000007fd: PUSH2 0x17b8 00000800: SWAP1 00000801: SWAP2 00000802: SWAP1 00000803: PUSH4 0xffffffff 00000808: AND 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH1 0x02 0000080d: PUSH1 0x00 0000080f: DUP7 00000810: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000825: AND 00000826: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083b: AND 0000083c: DUP2 0000083d: MSTORE 0000083e: PUSH1 0x20 00000840: ADD 00000841: SWAP1 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x20 00000846: ADD 00000847: PUSH1 0x00 00000849: KECCAK256 0000084a: DUP2 0000084b: SWAP1 0000084c: SSTORE 0000084d: POP 0000084e: PUSH2 0x0862 00000851: DUP4 00000852: PUSH1 0x0c 00000854: SLOAD 00000855: PUSH2 0x17b8 00000858: SWAP1 00000859: SWAP2 0000085a: SWAP1 0000085b: PUSH4 0xffffffff 00000860: AND 00000861: JUMP 00000862: JUMPDEST 00000863: PUSH1 0x0c 00000865: DUP2 00000866: SWAP1 00000867: SSTORE 00000868: POP 00000869: PUSH2 0x087d 0000086c: DUP2 0000086d: PUSH1 0x0d 0000086f: SLOAD 00000870: PUSH2 0x17b8 00000873: SWAP1 00000874: SWAP2 00000875: SWAP1 00000876: PUSH4 0xffffffff 0000087b: AND 0000087c: JUMP 0000087d: JUMPDEST 0000087e: PUSH1 0x0d 00000880: DUP2 00000881: SWAP1 00000882: SSTORE 00000883: POP 00000884: POP 00000885: POP 00000886: PUSH1 0x01 00000888: PUSH1 0x00 0000088a: DUP2 0000088b: SWAP1 0000088c: SSTORE 0000088d: POP 0000088e: POP 0000088f: POP 00000890: JUMP 00000891: JUMPDEST 00000892: PUSH2 0x0899 00000895: PUSH2 0x195a 00000898: JUMP 00000899: JUMPDEST 0000089a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008af: AND 000008b0: PUSH1 0x01 000008b2: PUSH1 0x00 000008b4: SWAP1 000008b5: SLOAD 000008b6: SWAP1 000008b7: PUSH2 0x0100 000008ba: EXP 000008bb: SWAP1 000008bc: DIV 000008bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d2: AND 000008d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e8: AND 000008e9: EQ 000008ea: PUSH2 0x095b 000008ed: JUMPI 000008ee: PUSH1 0x40 000008f0: MLOAD 000008f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000912: DUP2 00000913: MSTORE 00000914: PUSH1 0x04 00000916: ADD 00000917: DUP1 00000918: DUP1 00000919: PUSH1 0x20 0000091b: ADD 0000091c: DUP3 0000091d: DUP2 0000091e: SUB 0000091f: DUP3 00000920: MSTORE 00000921: PUSH1 0x20 00000923: DUP2 00000924: MSTORE 00000925: PUSH1 0x20 00000927: ADD 00000928: DUP1 00000929: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000094a: DUP2 0000094b: MSTORE 0000094c: POP 0000094d: PUSH1 0x20 0000094f: ADD 00000950: SWAP2 00000951: POP 00000952: POP 00000953: PUSH1 0x40 00000955: MLOAD 00000956: DUP1 00000957: SWAP2 00000958: SUB 00000959: SWAP1 0000095a: REVERT 0000095b: JUMPDEST 0000095c: PUSH1 0x0b 0000095e: PUSH1 0x01 00000960: SWAP1 00000961: SLOAD 00000962: SWAP1 00000963: PUSH2 0x0100 00000966: EXP 00000967: SWAP1 00000968: DIV 00000969: PUSH1 0xff 0000096b: AND 0000096c: ISZERO 0000096d: PUSH2 0x0975 00000970: JUMPI 00000971: PUSH1 0x00 00000973: DUP1 00000974: REVERT 00000975: JUMPDEST 00000976: PUSH1 0x0b 00000978: PUSH1 0x00 0000097a: SWAP1 0000097b: SLOAD 0000097c: SWAP1 0000097d: PUSH2 0x0100 00000980: EXP 00000981: SWAP1 00000982: DIV 00000983: PUSH1 0xff 00000985: AND 00000986: ISZERO 00000987: PUSH2 0x09af 0000098a: JUMPI 0000098b: PUSH2 0x0992 0000098e: PUSH2 0x1784 00000991: JUMP 00000992: JUMPDEST 00000993: ISZERO 00000994: PUSH2 0x099c 00000997: JUMPI 00000998: PUSH1 0x00 0000099a: DUP1 0000099b: REVERT 0000099c: JUMPDEST 0000099d: PUSH2 0x09a4 000009a0: PUSH2 0x1548 000009a3: JUMP 000009a4: JUMPDEST 000009a5: ISZERO 000009a6: PUSH2 0x09ae 000009a9: JUMPI 000009aa: PUSH1 0x00 000009ac: DUP1 000009ad: REVERT 000009ae: JUMPDEST 000009af: JUMPDEST 000009b0: PUSH1 0x01 000009b2: PUSH1 0x0b 000009b4: PUSH1 0x01 000009b6: PUSH2 0x0100 000009b9: EXP 000009ba: DUP2 000009bb: SLOAD 000009bc: DUP2 000009bd: PUSH1 0xff 000009bf: MUL 000009c0: NOT 000009c1: AND 000009c2: SWAP1 000009c3: DUP4 000009c4: ISZERO 000009c5: ISZERO 000009c6: MUL 000009c7: OR 000009c8: SWAP1 000009c9: SSTORE 000009ca: POP 000009cb: JUMP 000009cc: JUMPDEST 000009cd: PUSH1 0x00 000009cf: PUSH1 0x06 000009d1: PUSH1 0x00 000009d3: SWAP1 000009d4: SLOAD 000009d5: SWAP1 000009d6: PUSH2 0x0100 000009d9: EXP 000009da: SWAP1 000009db: DIV 000009dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009f1: AND 000009f2: SWAP1 000009f3: POP 000009f4: SWAP1 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH1 0x00 000009f9: PUSH1 0x0b 000009fb: PUSH1 0x00 000009fd: SWAP1 000009fe: SLOAD 000009ff: SWAP1 00000a00: PUSH2 0x0100 00000a03: EXP 00000a04: SWAP1 00000a05: DIV 00000a06: PUSH1 0xff 00000a08: AND 00000a09: DUP1 00000a0a: ISZERO 00000a0b: PUSH2 0x0a17 00000a0e: JUMPI 00000a0f: POP 00000a10: PUSH1 0x05 00000a12: SLOAD 00000a13: PUSH1 0x0c 00000a15: SLOAD 00000a16: LT 00000a17: JUMPDEST 00000a18: DUP1 00000a19: ISZERO 00000a1a: PUSH2 0x0a25 00000a1d: JUMPI 00000a1e: POP 00000a1f: PUSH1 0x09 00000a21: SLOAD 00000a22: TIMESTAMP 00000a23: LT 00000a24: ISZERO 00000a25: JUMPDEST 00000a26: DUP1 00000a27: ISZERO 00000a28: PUSH2 0x0a32 00000a2b: JUMPI 00000a2c: POP 00000a2d: PUSH1 0x0a 00000a2f: SLOAD 00000a30: TIMESTAMP 00000a31: LT 00000a32: JUMPDEST 00000a33: SWAP1 00000a34: POP 00000a35: SWAP1 00000a36: JUMP 00000a37: JUMPDEST 00000a38: PUSH1 0x02 00000a3a: PUSH1 0x00 00000a3c: SLOAD 00000a3d: EQ 00000a3e: ISZERO 00000a3f: PUSH2 0x0ab0 00000a42: JUMPI 00000a43: PUSH1 0x40 00000a45: MLOAD 00000a46: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a67: DUP2 00000a68: MSTORE 00000a69: PUSH1 0x04 00000a6b: ADD 00000a6c: DUP1 00000a6d: DUP1 00000a6e: PUSH1 0x20 00000a70: ADD 00000a71: DUP3 00000a72: DUP2 00000a73: SUB 00000a74: DUP3 00000a75: MSTORE 00000a76: PUSH1 0x1f 00000a78: DUP2 00000a79: MSTORE 00000a7a: PUSH1 0x20 00000a7c: ADD 00000a7d: DUP1 00000a7e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000a9f: DUP2 00000aa0: MSTORE 00000aa1: POP 00000aa2: PUSH1 0x20 00000aa4: ADD 00000aa5: SWAP2 00000aa6: POP 00000aa7: POP 00000aa8: PUSH1 0x40 00000aaa: MLOAD 00000aab: DUP1 00000aac: SWAP2 00000aad: SUB 00000aae: SWAP1 00000aaf: REVERT 00000ab0: JUMPDEST 00000ab1: PUSH1 0x02 00000ab3: PUSH1 0x00 00000ab5: DUP2 00000ab6: SWAP1 00000ab7: SSTORE 00000ab8: POP 00000ab9: PUSH2 0x0ac0 00000abc: PUSH2 0x195a 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ad6: AND 00000ad7: PUSH1 0x01 00000ad9: PUSH1 0x00 00000adb: SWAP1 00000adc: SLOAD 00000add: SWAP1 00000ade: PUSH2 0x0100 00000ae1: EXP 00000ae2: SWAP1 00000ae3: DIV 00000ae4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af9: AND 00000afa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b0f: AND 00000b10: EQ 00000b11: PUSH2 0x0b82 00000b14: JUMPI 00000b15: PUSH1 0x40 00000b17: MLOAD 00000b18: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b39: DUP2 00000b3a: MSTORE 00000b3b: PUSH1 0x04 00000b3d: ADD 00000b3e: DUP1 00000b3f: DUP1 00000b40: PUSH1 0x20 00000b42: ADD 00000b43: DUP3 00000b44: DUP2 00000b45: SUB 00000b46: DUP3 00000b47: MSTORE 00000b48: PUSH1 0x20 00000b4a: DUP2 00000b4b: MSTORE 00000b4c: PUSH1 0x20 00000b4e: ADD 00000b4f: DUP1 00000b50: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b71: DUP2 00000b72: MSTORE 00000b73: POP 00000b74: PUSH1 0x20 00000b76: ADD 00000b77: SWAP2 00000b78: POP 00000b79: POP 00000b7a: PUSH1 0x40 00000b7c: MLOAD 00000b7d: DUP1 00000b7e: SWAP2 00000b7f: SUB 00000b80: SWAP1 00000b81: REVERT 00000b82: JUMPDEST 00000b83: PUSH1 0x0b 00000b85: PUSH1 0x01 00000b87: SWAP1 00000b88: SLOAD 00000b89: SWAP1 00000b8a: PUSH2 0x0100 00000b8d: EXP 00000b8e: SWAP1 00000b8f: DIV 00000b90: PUSH1 0xff 00000b92: AND 00000b93: ISZERO 00000b94: PUSH2 0x0b9c 00000b97: JUMPI 00000b98: PUSH1 0x00 00000b9a: DUP1 00000b9b: REVERT 00000b9c: JUMPDEST 00000b9d: PUSH2 0x0ba4 00000ba0: PUSH2 0x1548 00000ba3: JUMP 00000ba4: JUMPDEST 00000ba5: PUSH2 0x0bad 00000ba8: JUMPI 00000ba9: PUSH1 0x00 00000bab: DUP1 00000bac: REVERT 00000bad: JUMPDEST 00000bae: SELFBALANCE 00000baf: DUP2 00000bb0: GT 00000bb1: ISZERO 00000bb2: PUSH2 0x0c23 00000bb5: JUMPI 00000bb6: PUSH1 0x40 00000bb8: MLOAD 00000bb9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bda: DUP2 00000bdb: MSTORE 00000bdc: PUSH1 0x04 00000bde: ADD 00000bdf: DUP1 00000be0: DUP1 00000be1: PUSH1 0x20 00000be3: ADD 00000be4: DUP3 00000be5: DUP2 00000be6: SUB 00000be7: DUP3 00000be8: MSTORE 00000be9: PUSH1 0x10 00000beb: DUP2 00000bec: MSTORE 00000bed: PUSH1 0x20 00000bef: ADD 00000bf0: DUP1 00000bf1: PUSH32 0x4e6f7420656e6f7567682066756e647300000000000000000000000000000000 00000c12: DUP2 00000c13: MSTORE 00000c14: POP 00000c15: PUSH1 0x20 00000c17: ADD 00000c18: SWAP2 00000c19: POP 00000c1a: POP 00000c1b: PUSH1 0x40 00000c1d: MLOAD 00000c1e: DUP1 00000c1f: SWAP2 00000c20: SUB 00000c21: SWAP1 00000c22: REVERT 00000c23: JUMPDEST 00000c24: PUSH1 0x08 00000c26: PUSH1 0x00 00000c28: SWAP1 00000c29: SLOAD 00000c2a: SWAP1 00000c2b: PUSH2 0x0100 00000c2e: EXP 00000c2f: SWAP1 00000c30: DIV 00000c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c46: AND 00000c47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c5c: AND 00000c5d: PUSH2 0x08fc 00000c60: DUP3 00000c61: SWAP1 00000c62: DUP2 00000c63: ISZERO 00000c64: MUL 00000c65: SWAP1 00000c66: PUSH1 0x40 00000c68: MLOAD 00000c69: PUSH1 0x00 00000c6b: PUSH1 0x40 00000c6d: MLOAD 00000c6e: DUP1 00000c6f: DUP4 00000c70: SUB 00000c71: DUP2 00000c72: DUP6 00000c73: DUP9 00000c74: DUP9 00000c75: CALL 00000c76: SWAP4 00000c77: POP 00000c78: POP 00000c79: POP 00000c7a: POP 00000c7b: ISZERO 00000c7c: DUP1 00000c7d: ISZERO 00000c7e: PUSH2 0x0c8b 00000c81: JUMPI 00000c82: RETURNDATASIZE 00000c83: PUSH1 0x00 00000c85: DUP1 00000c86: RETURNDATACOPY 00000c87: RETURNDATASIZE 00000c88: PUSH1 0x00 00000c8a: REVERT 00000c8b: JUMPDEST 00000c8c: POP 00000c8d: PUSH1 0x01 00000c8f: PUSH1 0x00 00000c91: DUP2 00000c92: SWAP1 00000c93: SSTORE 00000c94: POP 00000c95: POP 00000c96: JUMP 00000c97: JUMPDEST 00000c98: PUSH1 0x02 00000c9a: PUSH1 0x00 00000c9c: SLOAD 00000c9d: EQ 00000c9e: ISZERO 00000c9f: PUSH2 0x0d10 00000ca2: JUMPI 00000ca3: PUSH1 0x40 00000ca5: MLOAD 00000ca6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cc7: DUP2 00000cc8: MSTORE 00000cc9: PUSH1 0x04 00000ccb: ADD 00000ccc: DUP1 00000ccd: DUP1 00000cce: PUSH1 0x20 00000cd0: ADD 00000cd1: DUP3 00000cd2: DUP2 00000cd3: SUB 00000cd4: DUP3 00000cd5: MSTORE 00000cd6: PUSH1 0x1f 00000cd8: DUP2 00000cd9: MSTORE 00000cda: PUSH1 0x20 00000cdc: ADD 00000cdd: DUP1 00000cde: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000cff: DUP2 00000d00: MSTORE 00000d01: POP 00000d02: PUSH1 0x20 00000d04: ADD 00000d05: SWAP2 00000d06: POP 00000d07: POP 00000d08: PUSH1 0x40 00000d0a: MLOAD 00000d0b: DUP1 00000d0c: SWAP2 00000d0d: SUB 00000d0e: SWAP1 00000d0f: REVERT 00000d10: JUMPDEST 00000d11: PUSH1 0x02 00000d13: PUSH1 0x00 00000d15: DUP2 00000d16: SWAP1 00000d17: SSTORE 00000d18: POP 00000d19: PUSH1 0x0b 00000d1b: PUSH1 0x01 00000d1d: SWAP1 00000d1e: SLOAD 00000d1f: SWAP1 00000d20: PUSH2 0x0100 00000d23: EXP 00000d24: SWAP1 00000d25: DIV 00000d26: PUSH1 0xff 00000d28: AND 00000d29: DUP1 00000d2a: PUSH2 0x0d37 00000d2d: JUMPI 00000d2e: POP 00000d2f: PUSH2 0x0d36 00000d32: PUSH2 0x1784 00000d35: JUMP 00000d36: JUMPDEST 00000d37: JUMPDEST 00000d38: PUSH2 0x0da9 00000d3b: JUMPI 00000d3c: PUSH1 0x40 00000d3e: MLOAD 00000d3f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d60: DUP2 00000d61: MSTORE 00000d62: PUSH1 0x04 00000d64: ADD 00000d65: DUP1 00000d66: DUP1 00000d67: PUSH1 0x20 00000d69: ADD 00000d6a: DUP3 00000d6b: DUP2 00000d6c: SUB 00000d6d: DUP3 00000d6e: MSTORE 00000d6f: PUSH1 0x17 00000d71: DUP2 00000d72: MSTORE 00000d73: PUSH1 0x20 00000d75: ADD 00000d76: DUP1 00000d77: PUSH32 0x4e6f742063616e63656c6c6564206f72206661696c6564000000000000000000 00000d98: DUP2 00000d99: MSTORE 00000d9a: POP 00000d9b: PUSH1 0x20 00000d9d: ADD 00000d9e: SWAP2 00000d9f: POP 00000da0: POP 00000da1: PUSH1 0x40 00000da3: MLOAD 00000da4: DUP1 00000da5: SWAP2 00000da6: SUB 00000da7: SWAP1 00000da8: REVERT 00000da9: JUMPDEST 00000daa: PUSH1 0x00 00000dac: PUSH1 0x02 00000dae: PUSH1 0x00 00000db0: CALLER 00000db1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc6: AND 00000dc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ddc: AND 00000ddd: DUP2 00000dde: MSTORE 00000ddf: PUSH1 0x20 00000de1: ADD 00000de2: SWAP1 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x20 00000de7: ADD 00000de8: PUSH1 0x00 00000dea: KECCAK256 00000deb: SLOAD 00000dec: SWAP1 00000ded: POP 00000dee: PUSH1 0x00 00000df0: DUP2 00000df1: GT 00000df2: PUSH2 0x0e63 00000df5: JUMPI 00000df6: PUSH1 0x40 00000df8: MLOAD 00000df9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e1a: DUP2 00000e1b: MSTORE 00000e1c: PUSH1 0x04 00000e1e: ADD 00000e1f: DUP1 00000e20: DUP1 00000e21: PUSH1 0x20 00000e23: ADD 00000e24: DUP3 00000e25: DUP2 00000e26: SUB 00000e27: DUP3 00000e28: MSTORE 00000e29: PUSH1 0x09 00000e2b: DUP2 00000e2c: MSTORE 00000e2d: PUSH1 0x20 00000e2f: ADD 00000e30: DUP1 00000e31: PUSH32 0x4f6e6c79206f6e63650000000000000000000000000000000000000000000000 00000e52: DUP2 00000e53: MSTORE 00000e54: POP 00000e55: PUSH1 0x20 00000e57: ADD 00000e58: SWAP2 00000e59: POP 00000e5a: POP 00000e5b: PUSH1 0x40 00000e5d: MLOAD 00000e5e: DUP1 00000e5f: SWAP2 00000e60: SUB 00000e61: SWAP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: PUSH1 0x00 00000e66: PUSH1 0x02 00000e68: PUSH1 0x00 00000e6a: CALLER 00000e6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e80: AND 00000e81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e96: AND 00000e97: DUP2 00000e98: MSTORE 00000e99: PUSH1 0x20 00000e9b: ADD 00000e9c: SWAP1 00000e9d: DUP2 00000e9e: MSTORE 00000e9f: PUSH1 0x20 00000ea1: ADD 00000ea2: PUSH1 0x00 00000ea4: KECCAK256 00000ea5: DUP2 00000ea6: SWAP1 00000ea7: SSTORE 00000ea8: POP 00000ea9: CALLER 00000eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ebf: AND 00000ec0: PUSH2 0x08fc 00000ec3: DUP3 00000ec4: SWAP1 00000ec5: DUP2 00000ec6: ISZERO 00000ec7: MUL 00000ec8: SWAP1 00000ec9: PUSH1 0x40 00000ecb: MLOAD 00000ecc: PUSH1 0x00 00000ece: PUSH1 0x40 00000ed0: MLOAD 00000ed1: DUP1 00000ed2: DUP4 00000ed3: SUB 00000ed4: DUP2 00000ed5: DUP6 00000ed6: DUP9 00000ed7: DUP9 00000ed8: CALL 00000ed9: SWAP4 00000eda: POP 00000edb: POP 00000edc: POP 00000edd: POP 00000ede: ISZERO 00000edf: DUP1 00000ee0: ISZERO 00000ee1: PUSH2 0x0eee 00000ee4: JUMPI 00000ee5: RETURNDATASIZE 00000ee6: PUSH1 0x00 00000ee8: DUP1 00000ee9: RETURNDATACOPY 00000eea: RETURNDATASIZE 00000eeb: PUSH1 0x00 00000eed: REVERT 00000eee: JUMPDEST 00000eef: POP 00000ef0: POP 00000ef1: PUSH1 0x01 00000ef3: PUSH1 0x00 00000ef5: DUP2 00000ef6: SWAP1 00000ef7: SSTORE 00000ef8: POP 00000ef9: JUMP 00000efa: JUMPDEST 00000efb: PUSH2 0x0f02 00000efe: PUSH2 0x195a 00000f01: JUMP 00000f02: JUMPDEST 00000f03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f18: AND 00000f19: PUSH1 0x01 00000f1b: PUSH1 0x00 00000f1d: SWAP1 00000f1e: SLOAD 00000f1f: SWAP1 00000f20: PUSH2 0x0100 00000f23: EXP 00000f24: SWAP1 00000f25: DIV 00000f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3b: AND 00000f3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f51: AND 00000f52: EQ 00000f53: PUSH2 0x0fc4 00000f56: JUMPI 00000f57: PUSH1 0x40 00000f59: MLOAD 00000f5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f7b: DUP2 00000f7c: MSTORE 00000f7d: PUSH1 0x04 00000f7f: ADD 00000f80: DUP1 00000f81: DUP1 00000f82: PUSH1 0x20 00000f84: ADD 00000f85: DUP3 00000f86: DUP2 00000f87: SUB 00000f88: DUP3 00000f89: MSTORE 00000f8a: PUSH1 0x20 00000f8c: DUP2 00000f8d: MSTORE 00000f8e: PUSH1 0x20 00000f90: ADD 00000f91: DUP1 00000f92: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000fb3: DUP2 00000fb4: MSTORE 00000fb5: POP 00000fb6: PUSH1 0x20 00000fb8: ADD 00000fb9: SWAP2 00000fba: POP 00000fbb: POP 00000fbc: PUSH1 0x40 00000fbe: MLOAD 00000fbf: DUP1 00000fc0: SWAP2 00000fc1: SUB 00000fc2: SWAP1 00000fc3: REVERT 00000fc4: JUMPDEST 00000fc5: PUSH1 0x00 00000fc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdc: AND 00000fdd: PUSH1 0x01 00000fdf: PUSH1 0x00 00000fe1: SWAP1 00000fe2: SLOAD 00000fe3: SWAP1 00000fe4: PUSH2 0x0100 00000fe7: EXP 00000fe8: SWAP1 00000fe9: DIV 00000fea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fff: AND 00001000: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001015: AND 00001016: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001037: PUSH1 0x40 00001039: MLOAD 0000103a: PUSH1 0x40 0000103c: MLOAD 0000103d: DUP1 0000103e: SWAP2 0000103f: SUB 00001040: SWAP1 00001041: LOG3 00001042: PUSH1 0x00 00001044: PUSH1 0x01 00001046: PUSH1 0x00 00001048: PUSH2 0x0100 0000104b: EXP 0000104c: DUP2 0000104d: SLOAD 0000104e: DUP2 0000104f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001064: MUL 00001065: NOT 00001066: AND 00001067: SWAP1 00001068: DUP4 00001069: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000107e: AND 0000107f: MUL 00001080: OR 00001081: SWAP1 00001082: SSTORE 00001083: POP 00001084: JUMP 00001085: JUMPDEST 00001086: PUSH1 0x00 00001088: PUSH1 0x01 0000108a: PUSH1 0x00 0000108c: SWAP1 0000108d: SLOAD 0000108e: SWAP1 0000108f: PUSH2 0x0100 00001092: EXP 00001093: SWAP1 00001094: DIV 00001095: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010aa: AND 000010ab: SWAP1 000010ac: POP 000010ad: SWAP1 000010ae: JUMP 000010af: JUMPDEST 000010b0: PUSH2 0x10b7 000010b3: PUSH2 0x195a 000010b6: JUMP 000010b7: JUMPDEST 000010b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010cd: AND 000010ce: PUSH1 0x01 000010d0: PUSH1 0x00 000010d2: SWAP1 000010d3: SLOAD 000010d4: SWAP1 000010d5: PUSH2 0x0100 000010d8: EXP 000010d9: SWAP1 000010da: DIV 000010db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f0: AND 000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001106: AND 00001107: EQ 00001108: PUSH2 0x1179 0000110b: JUMPI 0000110c: PUSH1 0x40 0000110e: MLOAD 0000110f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001130: DUP2 00001131: MSTORE 00001132: PUSH1 0x04 00001134: ADD 00001135: DUP1 00001136: DUP1 00001137: PUSH1 0x20 00001139: ADD 0000113a: DUP3 0000113b: DUP2 0000113c: SUB 0000113d: DUP3 0000113e: MSTORE 0000113f: PUSH1 0x20 00001141: DUP2 00001142: MSTORE 00001143: PUSH1 0x20 00001145: ADD 00001146: DUP1 00001147: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001168: DUP2 00001169: MSTORE 0000116a: POP 0000116b: PUSH1 0x20 0000116d: ADD 0000116e: SWAP2 0000116f: POP 00001170: POP 00001171: PUSH1 0x40 00001173: MLOAD 00001174: DUP1 00001175: SWAP2 00001176: SUB 00001177: SWAP1 00001178: REVERT 00001179: JUMPDEST 0000117a: PUSH1 0x0b 0000117c: PUSH1 0x00 0000117e: SWAP1 0000117f: SLOAD 00001180: SWAP1 00001181: PUSH2 0x0100 00001184: EXP 00001185: SWAP1 00001186: DIV 00001187: PUSH1 0xff 00001189: AND 0000118a: ISZERO 0000118b: PUSH2 0x1193 0000118e: JUMPI 0000118f: PUSH1 0x00 00001191: DUP1 00001192: REVERT 00001193: JUMPDEST 00001194: PUSH1 0x0b 00001196: PUSH1 0x01 00001198: SWAP1 00001199: SLOAD 0000119a: SWAP1 0000119b: PUSH2 0x0100 0000119e: EXP 0000119f: SWAP1 000011a0: DIV 000011a1: PUSH1 0xff 000011a3: AND 000011a4: ISZERO 000011a5: PUSH2 0x11ad 000011a8: JUMPI 000011a9: PUSH1 0x00 000011ab: DUP1 000011ac: REVERT 000011ad: JUMPDEST 000011ae: PUSH1 0x00 000011b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011c5: AND 000011c6: DUP2 000011c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011dc: AND 000011dd: EQ 000011de: ISZERO 000011df: PUSH2 0x11e7 000011e2: JUMPI 000011e3: PUSH1 0x00 000011e5: DUP1 000011e6: REVERT 000011e7: JUMPDEST 000011e8: DUP3 000011e9: DUP3 000011ea: GT 000011eb: PUSH2 0x11f3 000011ee: JUMPI 000011ef: PUSH1 0x00 000011f1: DUP1 000011f2: REVERT 000011f3: JUMPDEST 000011f4: DUP3 000011f5: PUSH1 0x09 000011f7: DUP2 000011f8: SWAP1 000011f9: SSTORE 000011fa: POP 000011fb: DUP2 000011fc: PUSH1 0x0a 000011fe: DUP2 000011ff: SWAP1 00001200: SSTORE 00001201: POP 00001202: DUP1 00001203: PUSH1 0x08 00001205: PUSH1 0x00 00001207: PUSH2 0x0100 0000120a: EXP 0000120b: DUP2 0000120c: SLOAD 0000120d: DUP2 0000120e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001223: MUL 00001224: NOT 00001225: AND 00001226: SWAP1 00001227: DUP4 00001228: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123d: AND 0000123e: MUL 0000123f: OR 00001240: SWAP1 00001241: SSTORE 00001242: POP 00001243: PUSH1 0x01 00001245: PUSH1 0x0b 00001247: PUSH1 0x00 00001249: PUSH2 0x0100 0000124c: EXP 0000124d: DUP2 0000124e: SLOAD 0000124f: DUP2 00001250: PUSH1 0xff 00001252: MUL 00001253: NOT 00001254: AND 00001255: SWAP1 00001256: DUP4 00001257: ISZERO 00001258: ISZERO 00001259: MUL 0000125a: OR 0000125b: SWAP1 0000125c: SSTORE 0000125d: POP 0000125e: POP 0000125f: POP 00001260: POP 00001261: JUMP 00001262: JUMPDEST 00001263: PUSH1 0x02 00001265: PUSH1 0x00 00001267: SLOAD 00001268: EQ 00001269: ISZERO 0000126a: PUSH2 0x12db 0000126d: JUMPI 0000126e: PUSH1 0x40 00001270: MLOAD 00001271: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001292: DUP2 00001293: MSTORE 00001294: PUSH1 0x04 00001296: ADD 00001297: DUP1 00001298: DUP1 00001299: PUSH1 0x20 0000129b: ADD 0000129c: DUP3 0000129d: DUP2 0000129e: SUB 0000129f: DUP3 000012a0: MSTORE 000012a1: PUSH1 0x1f 000012a3: DUP2 000012a4: MSTORE 000012a5: PUSH1 0x20 000012a7: ADD 000012a8: DUP1 000012a9: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000012ca: DUP2 000012cb: MSTORE 000012cc: POP 000012cd: PUSH1 0x20 000012cf: ADD 000012d0: SWAP2 000012d1: POP 000012d2: POP 000012d3: PUSH1 0x40 000012d5: MLOAD 000012d6: DUP1 000012d7: SWAP2 000012d8: SUB 000012d9: SWAP1 000012da: REVERT 000012db: JUMPDEST 000012dc: PUSH1 0x02 000012de: PUSH1 0x00 000012e0: DUP2 000012e1: SWAP1 000012e2: SSTORE 000012e3: POP 000012e4: PUSH2 0x12eb 000012e7: PUSH2 0x195a 000012ea: JUMP 000012eb: JUMPDEST 000012ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001301: AND 00001302: PUSH1 0x01 00001304: PUSH1 0x00 00001306: SWAP1 00001307: SLOAD 00001308: SWAP1 00001309: PUSH2 0x0100 0000130c: EXP 0000130d: SWAP1 0000130e: DIV 0000130f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001324: AND 00001325: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133a: AND 0000133b: EQ 0000133c: PUSH2 0x13ad 0000133f: JUMPI 00001340: PUSH1 0x40 00001342: MLOAD 00001343: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x04 00001368: ADD 00001369: DUP1 0000136a: DUP1 0000136b: PUSH1 0x20 0000136d: ADD 0000136e: DUP3 0000136f: DUP2 00001370: SUB 00001371: DUP3 00001372: MSTORE 00001373: PUSH1 0x20 00001375: DUP2 00001376: MSTORE 00001377: PUSH1 0x20 00001379: ADD 0000137a: DUP1 0000137b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000139c: DUP2 0000139d: MSTORE 0000139e: POP 0000139f: PUSH1 0x20 000013a1: ADD 000013a2: SWAP2 000013a3: POP 000013a4: POP 000013a5: PUSH1 0x40 000013a7: MLOAD 000013a8: DUP1 000013a9: SWAP2 000013aa: SUB 000013ab: SWAP1 000013ac: REVERT 000013ad: JUMPDEST 000013ae: PUSH1 0x0b 000013b0: PUSH1 0x01 000013b2: SWAP1 000013b3: SLOAD 000013b4: SWAP1 000013b5: PUSH2 0x0100 000013b8: EXP 000013b9: SWAP1 000013ba: DIV 000013bb: PUSH1 0xff 000013bd: AND 000013be: ISZERO 000013bf: PUSH2 0x13c7 000013c2: JUMPI 000013c3: PUSH1 0x00 000013c5: DUP1 000013c6: REVERT 000013c7: JUMPDEST 000013c8: PUSH2 0x13cf 000013cb: PUSH2 0x1548 000013ce: JUMP 000013cf: JUMPDEST 000013d0: PUSH2 0x13d8 000013d3: JUMPI 000013d4: PUSH1 0x00 000013d6: DUP1 000013d7: REVERT 000013d8: JUMPDEST 000013d9: PUSH1 0x06 000013db: PUSH1 0x00 000013dd: SWAP1 000013de: SLOAD 000013df: SWAP1 000013e0: PUSH2 0x0100 000013e3: EXP 000013e4: SWAP1 000013e5: DIV 000013e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013fb: AND 000013fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001411: AND 00001412: PUSH4 0x42966c68 00001417: PUSH1 0x06 00001419: PUSH1 0x00 0000141b: SWAP1 0000141c: SLOAD 0000141d: SWAP1 0000141e: PUSH2 0x0100 00001421: EXP 00001422: SWAP1 00001423: DIV 00001424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001439: AND 0000143a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000144f: AND 00001450: PUSH4 0x70a08231 00001455: ADDRESS 00001456: PUSH1 0x40 00001458: MLOAD 00001459: DUP3 0000145a: PUSH4 0xffffffff 0000145f: AND 00001460: PUSH1 0xe0 00001462: SHL 00001463: DUP2 00001464: MSTORE 00001465: PUSH1 0x04 00001467: ADD 00001468: DUP1 00001469: DUP3 0000146a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000147f: AND 00001480: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001495: AND 00001496: DUP2 00001497: MSTORE 00001498: PUSH1 0x20 0000149a: ADD 0000149b: SWAP2 0000149c: POP 0000149d: POP 0000149e: PUSH1 0x20 000014a0: PUSH1 0x40 000014a2: MLOAD 000014a3: DUP1 000014a4: DUP4 000014a5: SUB 000014a6: DUP2 000014a7: DUP7 000014a8: DUP1 000014a9: EXTCODESIZE 000014aa: ISZERO 000014ab: DUP1 000014ac: ISZERO 000014ad: PUSH2 0x14b5 000014b0: JUMPI 000014b1: PUSH1 0x00 000014b3: DUP1 000014b4: REVERT 000014b5: JUMPDEST 000014b6: POP 000014b7: GAS 000014b8: STATICCALL 000014b9: ISZERO 000014ba: DUP1 000014bb: ISZERO 000014bc: PUSH2 0x14c9 000014bf: JUMPI 000014c0: RETURNDATASIZE 000014c1: PUSH1 0x00 000014c3: DUP1 000014c4: RETURNDATACOPY 000014c5: RETURNDATASIZE 000014c6: PUSH1 0x00 000014c8: REVERT 000014c9: JUMPDEST 000014ca: POP 000014cb: POP 000014cc: POP 000014cd: POP 000014ce: PUSH1 0x40 000014d0: MLOAD 000014d1: RETURNDATASIZE 000014d2: PUSH1 0x20 000014d4: DUP2 000014d5: LT 000014d6: ISZERO 000014d7: PUSH2 0x14df 000014da: JUMPI 000014db: PUSH1 0x00 000014dd: DUP1 000014de: REVERT 000014df: JUMPDEST 000014e0: DUP2 000014e1: ADD 000014e2: SWAP1 000014e3: DUP1 000014e4: DUP1 000014e5: MLOAD 000014e6: SWAP1 000014e7: PUSH1 0x20 000014e9: ADD 000014ea: SWAP1 000014eb: SWAP3 000014ec: SWAP2 000014ed: SWAP1 000014ee: POP 000014ef: POP 000014f0: POP 000014f1: PUSH1 0x40 000014f3: MLOAD 000014f4: DUP3 000014f5: PUSH4 0xffffffff 000014fa: AND 000014fb: PUSH1 0xe0 000014fd: SHL 000014fe: DUP2 000014ff: MSTORE 00001500: PUSH1 0x04 00001502: ADD 00001503: DUP1 00001504: DUP3 00001505: DUP2 00001506: MSTORE 00001507: PUSH1 0x20 00001509: ADD 0000150a: SWAP2 0000150b: POP 0000150c: POP 0000150d: PUSH1 0x00 0000150f: PUSH1 0x40 00001511: MLOAD 00001512: DUP1 00001513: DUP4 00001514: SUB 00001515: DUP2 00001516: PUSH1 0x00 00001518: DUP8 00001519: DUP1 0000151a: EXTCODESIZE 0000151b: ISZERO 0000151c: DUP1 0000151d: ISZERO 0000151e: PUSH2 0x1526 00001521: JUMPI 00001522: PUSH1 0x00 00001524: DUP1 00001525: REVERT 00001526: JUMPDEST 00001527: POP 00001528: GAS 00001529: CALL 0000152a: ISZERO 0000152b: DUP1 0000152c: ISZERO 0000152d: PUSH2 0x153a 00001530: JUMPI 00001531: RETURNDATASIZE 00001532: PUSH1 0x00 00001534: DUP1 00001535: RETURNDATACOPY 00001536: RETURNDATASIZE 00001537: PUSH1 0x00 00001539: REVERT 0000153a: JUMPDEST 0000153b: POP 0000153c: POP 0000153d: POP 0000153e: POP 0000153f: PUSH1 0x01 00001541: PUSH1 0x00 00001543: DUP2 00001544: SWAP1 00001545: SSTORE 00001546: POP 00001547: JUMP 00001548: JUMPDEST 00001549: PUSH1 0x00 0000154b: PUSH1 0x05 0000154d: SLOAD 0000154e: PUSH1 0x0c 00001550: SLOAD 00001551: LT 00001552: ISZERO 00001553: DUP1 00001554: PUSH2 0x156f 00001557: JUMPI 00001558: POP 00001559: PUSH1 0x0a 0000155b: SLOAD 0000155c: TIMESTAMP 0000155d: LT 0000155e: ISZERO 0000155f: DUP1 00001560: ISZERO 00001561: PUSH2 0x156e 00001564: JUMPI 00001565: POP 00001566: PUSH1 0x04 00001568: SLOAD 00001569: PUSH1 0x0c 0000156b: SLOAD 0000156c: LT 0000156d: ISZERO 0000156e: JUMPDEST 0000156f: JUMPDEST 00001570: SWAP1 00001571: POP 00001572: SWAP1 00001573: JUMP 00001574: JUMPDEST 00001575: PUSH2 0x157c 00001578: PUSH2 0x195a 0000157b: JUMP 0000157c: JUMPDEST 0000157d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001592: AND 00001593: PUSH1 0x01 00001595: PUSH1 0x00 00001597: SWAP1 00001598: SLOAD 00001599: SWAP1 0000159a: PUSH2 0x0100 0000159d: EXP 0000159e: SWAP1 0000159f: DIV 000015a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015b5: AND 000015b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015cb: AND 000015cc: EQ 000015cd: PUSH2 0x163e 000015d0: JUMPI 000015d1: PUSH1 0x40 000015d3: MLOAD 000015d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000015f5: DUP2 000015f6: MSTORE 000015f7: PUSH1 0x04 000015f9: ADD 000015fa: DUP1 000015fb: DUP1 000015fc: PUSH1 0x20 000015fe: ADD 000015ff: DUP3 00001600: DUP2 00001601: SUB 00001602: DUP3 00001603: MSTORE 00001604: PUSH1 0x20 00001606: DUP2 00001607: MSTORE 00001608: PUSH1 0x20 0000160a: ADD 0000160b: DUP1 0000160c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000162d: DUP2 0000162e: MSTORE 0000162f: POP 00001630: PUSH1 0x20 00001632: ADD 00001633: SWAP2 00001634: POP 00001635: POP 00001636: PUSH1 0x40 00001638: MLOAD 00001639: DUP1 0000163a: SWAP2 0000163b: SUB 0000163c: SWAP1 0000163d: REVERT 0000163e: JUMPDEST 0000163f: PUSH1 0x00 00001641: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001656: AND 00001657: DUP2 00001658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000166d: AND 0000166e: EQ 0000166f: ISZERO 00001670: PUSH2 0x16c4 00001673: JUMPI 00001674: PUSH1 0x40 00001676: MLOAD 00001677: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001698: DUP2 00001699: MSTORE 0000169a: PUSH1 0x04 0000169c: ADD 0000169d: DUP1 0000169e: DUP1 0000169f: PUSH1 0x20 000016a1: ADD 000016a2: DUP3 000016a3: DUP2 000016a4: SUB 000016a5: DUP3 000016a6: MSTORE 000016a7: PUSH1 0x26 000016a9: DUP2 000016aa: MSTORE 000016ab: PUSH1 0x20 000016ad: ADD 000016ae: DUP1 000016af: PUSH2 0x1ae9 000016b2: PUSH1 0x26 000016b4: SWAP2 000016b5: CODECOPY 000016b6: PUSH1 0x40 000016b8: ADD 000016b9: SWAP2 000016ba: POP 000016bb: POP 000016bc: PUSH1 0x40 000016be: MLOAD 000016bf: DUP1 000016c0: SWAP2 000016c1: SUB 000016c2: SWAP1 000016c3: REVERT 000016c4: JUMPDEST 000016c5: DUP1 000016c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016db: AND 000016dc: PUSH1 0x01 000016de: PUSH1 0x00 000016e0: SWAP1 000016e1: SLOAD 000016e2: SWAP1 000016e3: PUSH2 0x0100 000016e6: EXP 000016e7: SWAP1 000016e8: DIV 000016e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016fe: AND 000016ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001714: AND 00001715: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001736: PUSH1 0x40 00001738: MLOAD 00001739: PUSH1 0x40 0000173b: MLOAD 0000173c: DUP1 0000173d: SWAP2 0000173e: SUB 0000173f: SWAP1 00001740: LOG3 00001741: DUP1 00001742: PUSH1 0x01 00001744: PUSH1 0x00 00001746: PUSH2 0x0100 00001749: EXP 0000174a: DUP2 0000174b: SLOAD 0000174c: DUP2 0000174d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001762: MUL 00001763: NOT 00001764: AND 00001765: SWAP1 00001766: DUP4 00001767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000177c: AND 0000177d: MUL 0000177e: OR 0000177f: SWAP1 00001780: SSTORE 00001781: POP 00001782: POP 00001783: JUMP 00001784: JUMPDEST 00001785: PUSH1 0x00 00001787: PUSH1 0x0b 00001789: PUSH1 0x00 0000178b: SWAP1 0000178c: SLOAD 0000178d: SWAP1 0000178e: PUSH2 0x0100 00001791: EXP 00001792: SWAP1 00001793: DIV 00001794: PUSH1 0xff 00001796: AND 00001797: DUP1 00001798: ISZERO 00001799: PUSH2 0x17a4 0000179c: JUMPI 0000179d: POP 0000179e: PUSH1 0x0a 000017a0: SLOAD 000017a1: TIMESTAMP 000017a2: LT 000017a3: ISZERO 000017a4: JUMPDEST 000017a5: DUP1 000017a6: ISZERO 000017a7: PUSH2 0x17b3 000017aa: JUMPI 000017ab: POP 000017ac: PUSH1 0x04 000017ae: SLOAD 000017af: PUSH1 0x0c 000017b1: SLOAD 000017b2: LT 000017b3: JUMPDEST 000017b4: SWAP1 000017b5: POP 000017b6: SWAP1 000017b7: JUMP 000017b8: JUMPDEST 000017b9: PUSH1 0x00 000017bb: DUP1 000017bc: DUP3 000017bd: DUP5 000017be: ADD 000017bf: SWAP1 000017c0: POP 000017c1: DUP4 000017c2: DUP2 000017c3: LT 000017c4: ISZERO 000017c5: PUSH2 0x1836 000017c8: JUMPI 000017c9: PUSH1 0x40 000017cb: MLOAD 000017cc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000017ed: DUP2 000017ee: MSTORE 000017ef: PUSH1 0x04 000017f1: ADD 000017f2: DUP1 000017f3: DUP1 000017f4: PUSH1 0x20 000017f6: ADD 000017f7: DUP3 000017f8: DUP2 000017f9: SUB 000017fa: DUP3 000017fb: MSTORE 000017fc: PUSH1 0x1b 000017fe: DUP2 000017ff: MSTORE 00001800: PUSH1 0x20 00001802: ADD 00001803: DUP1 00001804: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00001825: DUP2 00001826: MSTORE 00001827: POP 00001828: PUSH1 0x20 0000182a: ADD 0000182b: SWAP2 0000182c: POP 0000182d: POP 0000182e: PUSH1 0x40 00001830: MLOAD 00001831: DUP1 00001832: SWAP2 00001833: SUB 00001834: SWAP1 00001835: REVERT 00001836: JUMPDEST 00001837: DUP1 00001838: SWAP2 00001839: POP 0000183a: POP 0000183b: SWAP3 0000183c: SWAP2 0000183d: POP 0000183e: POP 0000183f: JUMP 00001840: JUMPDEST 00001841: PUSH1 0x00 00001843: PUSH2 0x1882 00001846: DUP4 00001847: DUP4 00001848: PUSH1 0x40 0000184a: MLOAD 0000184b: DUP1 0000184c: PUSH1 0x40 0000184e: ADD 0000184f: PUSH1 0x40 00001851: MSTORE 00001852: DUP1 00001853: PUSH1 0x1e 00001855: DUP2 00001856: MSTORE 00001857: PUSH1 0x20 00001859: ADD 0000185a: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 0000187b: DUP2 0000187c: MSTORE 0000187d: POP 0000187e: PUSH2 0x1962 00001881: JUMP 00001882: JUMPDEST 00001883: SWAP1 00001884: POP 00001885: SWAP3 00001886: SWAP2 00001887: POP 00001888: POP 00001889: JUMP 0000188a: JUMPDEST 0000188b: PUSH1 0x00 0000188d: PUSH2 0x18cc 00001890: DUP4 00001891: DUP4 00001892: PUSH1 0x40 00001894: MLOAD 00001895: DUP1 00001896: PUSH1 0x40 00001898: ADD 00001899: PUSH1 0x40 0000189b: MSTORE 0000189c: DUP1 0000189d: PUSH1 0x1a 0000189f: DUP2 000018a0: MSTORE 000018a1: PUSH1 0x20 000018a3: ADD 000018a4: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 000018c5: DUP2 000018c6: MSTORE 000018c7: POP 000018c8: PUSH2 0x1a22 000018cb: JUMP 000018cc: JUMPDEST 000018cd: SWAP1 000018ce: POP 000018cf: SWAP3 000018d0: SWAP2 000018d1: POP 000018d2: POP 000018d3: JUMP 000018d4: JUMPDEST 000018d5: PUSH1 0x00 000018d7: DUP1 000018d8: DUP4 000018d9: EQ 000018da: ISZERO 000018db: PUSH2 0x18e7 000018de: JUMPI 000018df: PUSH1 0x00 000018e1: SWAP1 000018e2: POP 000018e3: PUSH2 0x1954 000018e6: JUMP 000018e7: JUMPDEST 000018e8: PUSH1 0x00 000018ea: DUP3 000018eb: DUP5 000018ec: MUL 000018ed: SWAP1 000018ee: POP 000018ef: DUP3 000018f0: DUP5 000018f1: DUP3 000018f2: DUP2 000018f3: PUSH2 0x18f8 000018f6: JUMPI 000018f7: INVALID 000018f8: JUMPDEST 000018f9: DIV 000018fa: EQ 000018fb: PUSH2 0x194f 000018fe: JUMPI 000018ff: PUSH1 0x40 00001901: MLOAD 00001902: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001923: DUP2 00001924: MSTORE 00001925: PUSH1 0x04 00001927: ADD 00001928: DUP1 00001929: DUP1 0000192a: PUSH1 0x20 0000192c: ADD 0000192d: DUP3 0000192e: DUP2 0000192f: SUB 00001930: DUP3 00001931: MSTORE 00001932: PUSH1 0x21 00001934: DUP2 00001935: MSTORE 00001936: PUSH1 0x20 00001938: ADD 00001939: DUP1 0000193a: PUSH2 0x1b0f 0000193d: PUSH1 0x21 0000193f: SWAP2 00001940: CODECOPY 00001941: PUSH1 0x40 00001943: ADD 00001944: SWAP2 00001945: POP 00001946: POP 00001947: PUSH1 0x40 00001949: MLOAD 0000194a: DUP1 0000194b: SWAP2 0000194c: SUB 0000194d: SWAP1 0000194e: REVERT 0000194f: JUMPDEST 00001950: DUP1 00001951: SWAP2 00001952: POP 00001953: POP 00001954: JUMPDEST 00001955: SWAP3 00001956: SWAP2 00001957: POP 00001958: POP 00001959: JUMP 0000195a: JUMPDEST 0000195b: PUSH1 0x00 0000195d: CALLER 0000195e: SWAP1 0000195f: POP 00001960: SWAP1 00001961: JUMP 00001962: JUMPDEST 00001963: PUSH1 0x00 00001965: DUP4 00001966: DUP4 00001967: GT 00001968: ISZERO 00001969: DUP3 0000196a: SWAP1 0000196b: PUSH2 0x1a0f 0000196e: JUMPI 0000196f: PUSH1 0x40 00001971: MLOAD 00001972: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001993: DUP2 00001994: MSTORE 00001995: PUSH1 0x04 00001997: ADD 00001998: DUP1 00001999: DUP1 0000199a: PUSH1 0x20 0000199c: ADD 0000199d: DUP3 0000199e: DUP2 0000199f: SUB 000019a0: DUP3 000019a1: MSTORE 000019a2: DUP4 000019a3: DUP2 000019a4: DUP2 000019a5: MLOAD 000019a6: DUP2 000019a7: MSTORE 000019a8: PUSH1 0x20 000019aa: ADD 000019ab: SWAP2 000019ac: POP 000019ad: DUP1 000019ae: MLOAD 000019af: SWAP1 000019b0: PUSH1 0x20 000019b2: ADD 000019b3: SWAP1 000019b4: DUP1 000019b5: DUP4 000019b6: DUP4 000019b7: PUSH1 0x00 000019b9: JUMPDEST 000019ba: DUP4 000019bb: DUP2 000019bc: LT 000019bd: ISZERO 000019be: PUSH2 0x19d4 000019c1: JUMPI 000019c2: DUP1 000019c3: DUP3 000019c4: ADD 000019c5: MLOAD 000019c6: DUP2 000019c7: DUP5 000019c8: ADD 000019c9: MSTORE 000019ca: PUSH1 0x20 000019cc: DUP2 000019cd: ADD 000019ce: SWAP1 000019cf: POP 000019d0: PUSH2 0x19b9 000019d3: JUMP 000019d4: JUMPDEST 000019d5: POP 000019d6: POP 000019d7: POP 000019d8: POP 000019d9: SWAP1 000019da: POP 000019db: SWAP1 000019dc: DUP2 000019dd: ADD 000019de: SWAP1 000019df: PUSH1 0x1f 000019e1: AND 000019e2: DUP1 000019e3: ISZERO 000019e4: PUSH2 0x1a01 000019e7: JUMPI 000019e8: DUP1 000019e9: DUP3 000019ea: SUB 000019eb: DUP1 000019ec: MLOAD 000019ed: PUSH1 0x01 000019ef: DUP4 000019f0: PUSH1 0x20 000019f2: SUB 000019f3: PUSH2 0x0100 000019f6: EXP 000019f7: SUB 000019f8: NOT 000019f9: AND 000019fa: DUP2 000019fb: MSTORE 000019fc: PUSH1 0x20 000019fe: ADD 000019ff: SWAP2 00001a00: POP 00001a01: JUMPDEST 00001a02: POP 00001a03: SWAP3 00001a04: POP 00001a05: POP 00001a06: POP 00001a07: PUSH1 0x40 00001a09: MLOAD 00001a0a: DUP1 00001a0b: SWAP2 00001a0c: SUB 00001a0d: SWAP1 00001a0e: REVERT 00001a0f: JUMPDEST 00001a10: POP 00001a11: PUSH1 0x00 00001a13: DUP4 00001a14: DUP6 00001a15: SUB 00001a16: SWAP1 00001a17: POP 00001a18: DUP1 00001a19: SWAP2 00001a1a: POP 00001a1b: POP 00001a1c: SWAP4 00001a1d: SWAP3 00001a1e: POP 00001a1f: POP 00001a20: POP 00001a21: JUMP 00001a22: JUMPDEST 00001a23: PUSH1 0x00 00001a25: DUP1 00001a26: DUP4 00001a27: GT 00001a28: DUP3 00001a29: SWAP1 00001a2a: PUSH2 0x1ace 00001a2d: JUMPI 00001a2e: PUSH1 0x40 00001a30: MLOAD 00001a31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a52: DUP2 00001a53: MSTORE 00001a54: PUSH1 0x04 00001a56: ADD 00001a57: DUP1 00001a58: DUP1 00001a59: PUSH1 0x20 00001a5b: ADD 00001a5c: DUP3 00001a5d: DUP2 00001a5e: SUB 00001a5f: DUP3 00001a60: MSTORE 00001a61: DUP4 00001a62: DUP2 00001a63: DUP2 00001a64: MLOAD 00001a65: DUP2 00001a66: MSTORE 00001a67: PUSH1 0x20 00001a69: ADD 00001a6a: SWAP2 00001a6b: POP 00001a6c: DUP1 00001a6d: MLOAD 00001a6e: SWAP1 00001a6f: PUSH1 0x20 00001a71: ADD 00001a72: SWAP1 00001a73: DUP1 00001a74: DUP4 00001a75: DUP4 00001a76: PUSH1 0x00 00001a78: JUMPDEST 00001a79: DUP4 00001a7a: DUP2 00001a7b: LT 00001a7c: ISZERO 00001a7d: PUSH2 0x1a93 00001a80: JUMPI 00001a81: DUP1 00001a82: DUP3 00001a83: ADD 00001a84: MLOAD 00001a85: DUP2 00001a86: DUP5 00001a87: ADD 00001a88: MSTORE 00001a89: PUSH1 0x20 00001a8b: DUP2 00001a8c: ADD 00001a8d: SWAP1 00001a8e: POP 00001a8f: PUSH2 0x1a78 00001a92: JUMP 00001a93: JUMPDEST 00001a94: POP 00001a95: POP 00001a96: POP 00001a97: POP 00001a98: SWAP1 00001a99: POP 00001a9a: SWAP1 00001a9b: DUP2 00001a9c: ADD 00001a9d: SWAP1 00001a9e: PUSH1 0x1f 00001aa0: AND 00001aa1: DUP1 00001aa2: ISZERO 00001aa3: PUSH2 0x1ac0 00001aa6: JUMPI 00001aa7: DUP1 00001aa8: DUP3 00001aa9: SUB 00001aaa: DUP1 00001aab: MLOAD 00001aac: PUSH1 0x01 00001aae: DUP4 00001aaf: PUSH1 0x20 00001ab1: SUB 00001ab2: PUSH2 0x0100 00001ab5: EXP 00001ab6: SUB 00001ab7: NOT 00001ab8: AND 00001ab9: DUP2 00001aba: MSTORE 00001abb: PUSH1 0x20 00001abd: ADD 00001abe: SWAP2 00001abf: POP 00001ac0: JUMPDEST 00001ac1: POP 00001ac2: SWAP3 00001ac3: POP 00001ac4: POP 00001ac5: POP 00001ac6: PUSH1 0x40 00001ac8: MLOAD 00001ac9: DUP1 00001aca: SWAP2 00001acb: SUB 00001acc: SWAP1 00001acd: REVERT 00001ace: JUMPDEST 00001acf: POP 00001ad0: PUSH1 0x00 00001ad2: DUP4 00001ad3: DUP6 00001ad4: DUP2 00001ad5: PUSH2 0x1ada 00001ad8: JUMPI 00001ad9: INVALID 00001ada: JUMPDEST 00001adb: DIV 00001adc: SWAP1 00001add: POP 00001ade: DUP1 00001adf: SWAP2 00001ae0: POP 00001ae1: POP 00001ae2: SWAP4 00001ae3: SWAP3 00001ae4: POP 00001ae5: POP 00001ae6: POP 00001ae7: JUMP 00001ae8: INVALID 00001ae9: UNKNOWN(0x4F) 00001aea: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00001b03: PUSH27 0x65726f2061646472657373536166654d6174683a206d756c746970 00001b1f: PUSH13 0x69636174696f6e206f76657266 00001b2d: PUSH13 0x6f77a264697066735822122068 00001b3b: UNKNOWN(0x4F) 00001b3c: UNKNOWN(0xAC) 00001b3d: PUSH15 0x7f24c60358d8dfd1c38baa1e4966dc 00001b4d: UNKNOWN(0x23) 00001b4e: PUSH1 0xc0 00001b50: SHL 00001b51: MCOPY 00001b52: UNKNOWN(0xBC) 00001b53: UNKNOWN(0xAC) 00001b54: UNKNOWN(0xD1) 00001b55: SWAP3 00001b56: TSTORE 00001b57: PUSH8 0x5c7f64736f6c6343 00001b60: STOP 00001b61: MOD 00001b62: DIV 00001b63: STOP 00001b64: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x860438a5db21251d6082a8cc8f7cdd229da79ba6a6b2b15ae2aaaf65e8313767
call_targets:
0x22962a4a71d09f34bab99aaba5d34e6e35ff2f0c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x860438a5db21251d6082a8cc8f7cdd229da79ba6a6b2b15ae2aaaf65e8313767",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x22962a4a71d09f34bab99aaba5d34e6e35ff2f0c"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa51fe113",
"selector": "0xa51fe113",
"calldata_variants": [
"0xa51fe113",
"0xa51fe1130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb52a5851",
"selector": "0xb52a5851",
"calldata_variants": [
"0xb52a5851",
"0xb52a58510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec4cd0cf",
"selector": "0xec4cd0cf",
"calldata_variants": [
"0xec4cd0cf",
"0xec4cd0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4163340",
"selector": "0xf4163340",
"calldata_variants": [
"0xf4163340",
"0xf41633400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21df0da7",
"selector": "0x21df0da7",
"calldata_variants": [
"0x21df0da7",
"0x21df0da70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1422,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1691,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3189,
"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: 0x860438a5db21251d6082a8cc8f7cdd229da79ba6a6b2b15ae2aaaf65e8313767
call_targets:
0x22962a4a71d09f34bab99aaba5d34e6e35ff2f0c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x860438a5db21251d6082a8cc8f7cdd229da79ba6a6b2b15ae2aaaf65e8313767",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x22962a4a71d09f34bab99aaba5d34e6e35ff2f0c"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa51fe113",
"selector": "0xa51fe113",
"calldata_variants": [
"0xa51fe113",
"0xa51fe1130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb52a5851",
"selector": "0xb52a5851",
"calldata_variants": [
"0xb52a5851",
"0xb52a58510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xec4cd0cf",
"selector": "0xec4cd0cf",
"calldata_variants": [
"0xec4cd0cf",
"0xec4cd0cf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf4163340",
"selector": "0xf4163340",
"calldata_variants": [
"0xf4163340",
"0xf41633400000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21df0da7",
"selector": "0x21df0da7",
"calldata_variants": [
"0x21df0da7",
"0x21df0da70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1422,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1691,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3189,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|