019b477e-a9b5-7202-969f-3ddbe443a474
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 |
|---|---|---|---|---|
| 20685 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20686 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 63670 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 63671 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 63672 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 63673 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00f9 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x173825d9 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x014f 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x2f54bf6e 00000044: EQ 00000045: PUSH2 0x016d 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x4123cb6b 0000004f: EQ 00000050: PUSH2 0x019d 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x52375093 0000005a: EQ 0000005b: PUSH2 0x01bf 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x5c52c2f5 00000065: EQ 00000066: PUSH2 0x01e1 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x659010e7 00000070: EQ 00000071: PUSH2 0x01f3 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x7065cb48 0000007b: EQ 0000007c: PUSH2 0x0215 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x746c9171 00000086: EQ 00000087: PUSH2 0x0233 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x797af627 00000091: EQ 00000092: PUSH2 0x0255 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xb20d30a9 0000009c: EQ 0000009d: PUSH2 0x027c 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xb61d27f6 000000a7: EQ 000000a8: PUSH2 0x0291 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xb75c7dc6 000000b2: EQ 000000b3: PUSH2 0x02cf 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xba51a6df 000000bd: EQ 000000be: PUSH2 0x02e4 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xc2cf7326 000000c8: EQ 000000c9: PUSH2 0x02f9 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xc41a360a 000000d3: EQ 000000d4: PUSH2 0x032c 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xcbf0b0c0 000000de: EQ 000000df: PUSH2 0x035b 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xf00d4b5d 000000e9: EQ 000000ea: PUSH2 0x0379 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xf1736d86 000000f4: EQ 000000f5: PUSH2 0x039d 000000f8: JUMPI 000000f9: JUMPDEST 000000fa: PUSH2 0x014d 000000fd: JUMPDEST 000000fe: PUSH1 0x00 00000100: CALLVALUE 00000101: GT 00000102: ISZERO 00000103: PUSH2 0x014a 00000106: JUMPI 00000107: PUSH1 0x40 00000109: DUP1 0000010a: MLOAD 0000010b: PUSH1 0x01 0000010d: PUSH1 0xa0 0000010f: PUSH1 0x02 00000111: EXP 00000112: SUB 00000113: CALLER 00000114: AND 00000115: DUP2 00000116: MSTORE 00000117: CALLVALUE 00000118: PUSH1 0x20 0000011a: DUP3 0000011b: ADD 0000011c: MSTORE 0000011d: DUP2 0000011e: MLOAD 0000011f: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000140: SWAP3 00000141: SWAP2 00000142: DUP2 00000143: SWAP1 00000144: SUB 00000145: SWAP1 00000146: SWAP2 00000147: ADD 00000148: SWAP1 00000149: LOG1 0000014a: JUMPDEST 0000014b: JUMPDEST 0000014c: JUMP 0000014d: JUMPDEST 0000014e: STOP 0000014f: JUMPDEST 00000150: CALLVALUE 00000151: ISZERO 00000152: PUSH2 0x0157 00000155: JUMPI 00000156: INVALID 00000157: JUMPDEST 00000158: PUSH2 0x014d 0000015b: PUSH1 0x01 0000015d: PUSH1 0xa0 0000015f: PUSH1 0x02 00000161: EXP 00000162: SUB 00000163: PUSH1 0x04 00000165: CALLDATALOAD 00000166: AND 00000167: PUSH2 0x03bf 0000016a: JUMP 0000016b: JUMPDEST 0000016c: STOP 0000016d: JUMPDEST 0000016e: CALLVALUE 0000016f: ISZERO 00000170: PUSH2 0x0175 00000173: JUMPI 00000174: INVALID 00000175: JUMPDEST 00000176: PUSH2 0x0189 00000179: PUSH1 0x01 0000017b: PUSH1 0xa0 0000017d: PUSH1 0x02 0000017f: EXP 00000180: SUB 00000181: PUSH1 0x04 00000183: CALLDATALOAD 00000184: AND 00000185: PUSH2 0x04b3 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH1 0x40 0000018c: DUP1 0000018d: MLOAD 0000018e: SWAP2 0000018f: ISZERO 00000190: ISZERO 00000191: DUP3 00000192: MSTORE 00000193: MLOAD 00000194: SWAP1 00000195: DUP2 00000196: SWAP1 00000197: SUB 00000198: PUSH1 0x20 0000019a: ADD 0000019b: SWAP1 0000019c: RETURN 0000019d: JUMPDEST 0000019e: CALLVALUE 0000019f: ISZERO 000001a0: PUSH2 0x01a5 000001a3: JUMPI 000001a4: INVALID 000001a5: JUMPDEST 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x04d4 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH1 0x40 000001b0: DUP1 000001b1: MLOAD 000001b2: SWAP2 000001b3: DUP3 000001b4: MSTORE 000001b5: MLOAD 000001b6: SWAP1 000001b7: DUP2 000001b8: SWAP1 000001b9: SUB 000001ba: PUSH1 0x20 000001bc: ADD 000001bd: SWAP1 000001be: RETURN 000001bf: JUMPDEST 000001c0: CALLVALUE 000001c1: ISZERO 000001c2: PUSH2 0x01c7 000001c5: JUMPI 000001c6: INVALID 000001c7: JUMPDEST 000001c8: PUSH2 0x01ad 000001cb: PUSH2 0x04da 000001ce: JUMP 000001cf: JUMPDEST 000001d0: PUSH1 0x40 000001d2: DUP1 000001d3: MLOAD 000001d4: SWAP2 000001d5: DUP3 000001d6: MSTORE 000001d7: MLOAD 000001d8: SWAP1 000001d9: DUP2 000001da: SWAP1 000001db: SUB 000001dc: PUSH1 0x20 000001de: ADD 000001df: SWAP1 000001e0: RETURN 000001e1: JUMPDEST 000001e2: CALLVALUE 000001e3: ISZERO 000001e4: PUSH2 0x01e9 000001e7: JUMPI 000001e8: INVALID 000001e9: JUMPDEST 000001ea: PUSH2 0x014d 000001ed: PUSH2 0x04e1 000001f0: JUMP 000001f1: JUMPDEST 000001f2: STOP 000001f3: JUMPDEST 000001f4: CALLVALUE 000001f5: ISZERO 000001f6: PUSH2 0x01fb 000001f9: JUMPI 000001fa: INVALID 000001fb: JUMPDEST 000001fc: PUSH2 0x01ad 000001ff: PUSH2 0x051f 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH1 0x40 00000206: DUP1 00000207: MLOAD 00000208: SWAP2 00000209: DUP3 0000020a: MSTORE 0000020b: MLOAD 0000020c: SWAP1 0000020d: DUP2 0000020e: SWAP1 0000020f: SUB 00000210: PUSH1 0x20 00000212: ADD 00000213: SWAP1 00000214: RETURN 00000215: JUMPDEST 00000216: CALLVALUE 00000217: ISZERO 00000218: PUSH2 0x021d 0000021b: JUMPI 0000021c: INVALID 0000021d: JUMPDEST 0000021e: PUSH2 0x014d 00000221: PUSH1 0x01 00000223: PUSH1 0xa0 00000225: PUSH1 0x02 00000227: EXP 00000228: SUB 00000229: PUSH1 0x04 0000022b: CALLDATALOAD 0000022c: AND 0000022d: PUSH2 0x0526 00000230: JUMP 00000231: JUMPDEST 00000232: STOP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: ISZERO 00000236: PUSH2 0x023b 00000239: JUMPI 0000023a: INVALID 0000023b: JUMPDEST 0000023c: PUSH2 0x01ad 0000023f: PUSH2 0x061c 00000242: JUMP 00000243: JUMPDEST 00000244: PUSH1 0x40 00000246: DUP1 00000247: MLOAD 00000248: SWAP2 00000249: DUP3 0000024a: MSTORE 0000024b: MLOAD 0000024c: SWAP1 0000024d: DUP2 0000024e: SWAP1 0000024f: SUB 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP1 00000254: RETURN 00000255: JUMPDEST 00000256: CALLVALUE 00000257: ISZERO 00000258: PUSH2 0x025d 0000025b: JUMPI 0000025c: INVALID 0000025d: JUMPDEST 0000025e: PUSH2 0x0189 00000261: PUSH1 0x04 00000263: CALLDATALOAD 00000264: PUSH2 0x0622 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH1 0x40 0000026b: DUP1 0000026c: MLOAD 0000026d: SWAP2 0000026e: ISZERO 0000026f: ISZERO 00000270: DUP3 00000271: MSTORE 00000272: MLOAD 00000273: SWAP1 00000274: DUP2 00000275: SWAP1 00000276: SUB 00000277: PUSH1 0x20 00000279: ADD 0000027a: SWAP1 0000027b: RETURN 0000027c: JUMPDEST 0000027d: CALLVALUE 0000027e: ISZERO 0000027f: PUSH2 0x0284 00000282: JUMPI 00000283: INVALID 00000284: JUMPDEST 00000285: PUSH2 0x014d 00000288: PUSH1 0x04 0000028a: CALLDATALOAD 0000028b: PUSH2 0x0857 0000028e: JUMP 0000028f: JUMPDEST 00000290: STOP 00000291: JUMPDEST 00000292: CALLVALUE 00000293: ISZERO 00000294: PUSH2 0x0299 00000297: JUMPI 00000298: INVALID 00000299: JUMPDEST 0000029a: PUSH2 0x01ad 0000029d: PUSH1 0x04 0000029f: DUP1 000002a0: CALLDATALOAD 000002a1: PUSH1 0x01 000002a3: PUSH1 0xa0 000002a5: PUSH1 0x02 000002a7: EXP 000002a8: SUB 000002a9: AND 000002aa: SWAP1 000002ab: PUSH1 0x24 000002ad: DUP1 000002ae: CALLDATALOAD 000002af: SWAP2 000002b0: PUSH1 0x44 000002b2: CALLDATALOAD 000002b3: SWAP2 000002b4: DUP3 000002b5: ADD 000002b6: SWAP2 000002b7: ADD 000002b8: CALLDATALOAD 000002b9: PUSH2 0x0896 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH1 0x40 000002c0: DUP1 000002c1: MLOAD 000002c2: SWAP2 000002c3: DUP3 000002c4: MSTORE 000002c5: MLOAD 000002c6: SWAP1 000002c7: DUP2 000002c8: SWAP1 000002c9: SUB 000002ca: PUSH1 0x20 000002cc: ADD 000002cd: SWAP1 000002ce: RETURN 000002cf: JUMPDEST 000002d0: CALLVALUE 000002d1: ISZERO 000002d2: PUSH2 0x02d7 000002d5: JUMPI 000002d6: INVALID 000002d7: JUMPDEST 000002d8: PUSH2 0x014d 000002db: PUSH1 0x04 000002dd: CALLDATALOAD 000002de: PUSH2 0x0ac0 000002e1: JUMP 000002e2: JUMPDEST 000002e3: STOP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: ISZERO 000002e7: PUSH2 0x02ec 000002ea: JUMPI 000002eb: INVALID 000002ec: JUMPDEST 000002ed: PUSH2 0x014d 000002f0: PUSH1 0x04 000002f2: CALLDATALOAD 000002f3: PUSH2 0x0b6b 000002f6: JUMP 000002f7: JUMPDEST 000002f8: STOP 000002f9: JUMPDEST 000002fa: CALLVALUE 000002fb: ISZERO 000002fc: PUSH2 0x0301 000002ff: JUMPI 00000300: INVALID 00000301: JUMPDEST 00000302: PUSH2 0x0189 00000305: PUSH1 0x04 00000307: CALLDATALOAD 00000308: PUSH1 0x01 0000030a: PUSH1 0xa0 0000030c: PUSH1 0x02 0000030e: EXP 0000030f: SUB 00000310: PUSH1 0x24 00000312: CALLDATALOAD 00000313: AND 00000314: PUSH2 0x0bf3 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH1 0x40 0000031b: DUP1 0000031c: MLOAD 0000031d: SWAP2 0000031e: ISZERO 0000031f: ISZERO 00000320: DUP3 00000321: MSTORE 00000322: MLOAD 00000323: SWAP1 00000324: DUP2 00000325: SWAP1 00000326: SUB 00000327: PUSH1 0x20 00000329: ADD 0000032a: SWAP1 0000032b: RETURN 0000032c: JUMPDEST 0000032d: CALLVALUE 0000032e: ISZERO 0000032f: PUSH2 0x0334 00000332: JUMPI 00000333: INVALID 00000334: JUMPDEST 00000335: PUSH2 0x033f 00000338: PUSH1 0x04 0000033a: CALLDATALOAD 0000033b: PUSH2 0x0c48 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH1 0x40 00000342: DUP1 00000343: MLOAD 00000344: PUSH1 0x01 00000346: PUSH1 0xa0 00000348: PUSH1 0x02 0000034a: EXP 0000034b: SUB 0000034c: SWAP1 0000034d: SWAP3 0000034e: AND 0000034f: DUP3 00000350: MSTORE 00000351: MLOAD 00000352: SWAP1 00000353: DUP2 00000354: SWAP1 00000355: SUB 00000356: PUSH1 0x20 00000358: ADD 00000359: SWAP1 0000035a: RETURN 0000035b: JUMPDEST 0000035c: CALLVALUE 0000035d: ISZERO 0000035e: PUSH2 0x0363 00000361: JUMPI 00000362: INVALID 00000363: JUMPDEST 00000364: PUSH2 0x014d 00000367: PUSH1 0x01 00000369: PUSH1 0xa0 0000036b: PUSH1 0x02 0000036d: EXP 0000036e: SUB 0000036f: PUSH1 0x04 00000371: CALLDATALOAD 00000372: AND 00000373: PUSH2 0x0c69 00000376: JUMP 00000377: JUMPDEST 00000378: STOP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: ISZERO 0000037c: PUSH2 0x0381 0000037f: JUMPI 00000380: INVALID 00000381: JUMPDEST 00000382: PUSH2 0x014d 00000385: PUSH1 0x01 00000387: PUSH1 0xa0 00000389: PUSH1 0x02 0000038b: EXP 0000038c: SUB 0000038d: PUSH1 0x04 0000038f: CALLDATALOAD 00000390: DUP2 00000391: AND 00000392: SWAP1 00000393: PUSH1 0x24 00000395: CALLDATALOAD 00000396: AND 00000397: PUSH2 0x0cad 0000039a: JUMP 0000039b: JUMPDEST 0000039c: STOP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: ISZERO 000003a0: PUSH2 0x03a5 000003a3: JUMPI 000003a4: INVALID 000003a5: JUMPDEST 000003a6: PUSH2 0x01ad 000003a9: PUSH2 0x0dad 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: DUP1 000003b1: MLOAD 000003b2: SWAP2 000003b3: DUP3 000003b4: MSTORE 000003b5: MLOAD 000003b6: SWAP1 000003b7: DUP2 000003b8: SWAP1 000003b9: SUB 000003ba: PUSH1 0x20 000003bc: ADD 000003bd: SWAP1 000003be: RETURN 000003bf: JUMPDEST 000003c0: PUSH1 0x00 000003c2: PUSH1 0x00 000003c4: CALLDATASIZE 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: DUP1 000003c9: DUP4 000003ca: DUP4 000003cb: DUP1 000003cc: DUP3 000003cd: DUP5 000003ce: CALLDATACOPY 000003cf: DUP3 000003d0: ADD 000003d1: SWAP2 000003d2: POP 000003d3: POP 000003d4: SWAP3 000003d5: POP 000003d6: POP 000003d7: POP 000003d8: PUSH1 0x40 000003da: MLOAD 000003db: DUP1 000003dc: SWAP2 000003dd: SUB 000003de: SWAP1 000003df: KECCAK256 000003e0: PUSH2 0x03e8 000003e3: DUP2 000003e4: PUSH2 0x0db4 000003e7: JUMP 000003e8: JUMPDEST 000003e9: ISZERO 000003ea: ISZERO 000003eb: PUSH2 0x03f4 000003ee: JUMPI 000003ef: PUSH1 0x00 000003f1: PUSH1 0x00 000003f3: REVERT 000003f4: JUMPDEST 000003f5: PUSH1 0x01 000003f7: PUSH1 0xa0 000003f9: PUSH1 0x02 000003fb: EXP 000003fc: SUB 000003fd: DUP4 000003fe: AND 000003ff: PUSH1 0x00 00000401: SWAP1 00000402: DUP2 00000403: MSTORE 00000404: PUSH2 0x0102 00000407: PUSH1 0x20 00000409: MSTORE 0000040a: PUSH1 0x40 0000040c: SWAP1 0000040d: KECCAK256 0000040e: SLOAD 0000040f: SWAP2 00000410: POP 00000411: DUP2 00000412: ISZERO 00000413: ISZERO 00000414: PUSH2 0x041c 00000417: JUMPI 00000418: PUSH2 0x04ad 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x01 0000041f: PUSH1 0x01 00000421: SLOAD 00000422: SUB 00000423: PUSH1 0x00 00000425: SLOAD 00000426: GT 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH2 0x04ad 0000042f: JUMP 00000430: JUMPDEST 00000431: PUSH1 0x00 00000433: PUSH1 0x02 00000435: DUP4 00000436: PUSH2 0x0100 00000439: DUP2 0000043a: LT 0000043b: PUSH2 0x0440 0000043e: JUMPI 0000043f: INVALID 00000440: JUMPDEST 00000441: ADD 00000442: PUSH1 0x00 00000444: JUMPDEST 00000445: POP 00000446: SSTORE 00000447: PUSH1 0x01 00000449: PUSH1 0xa0 0000044b: PUSH1 0x02 0000044d: EXP 0000044e: SUB 0000044f: DUP4 00000450: AND 00000451: PUSH1 0x00 00000453: SWAP1 00000454: DUP2 00000455: MSTORE 00000456: PUSH2 0x0102 00000459: PUSH1 0x20 0000045b: MSTORE 0000045c: PUSH1 0x40 0000045e: DUP2 0000045f: KECCAK256 00000460: SSTORE 00000461: PUSH2 0x0468 00000464: PUSH2 0x0f1f 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH2 0x0470 0000046c: PUSH2 0x0fad 0000046f: JUMP 00000470: JUMPDEST 00000471: PUSH1 0x40 00000473: DUP1 00000474: MLOAD 00000475: PUSH1 0x01 00000477: PUSH1 0xa0 00000479: PUSH1 0x02 0000047b: EXP 0000047c: SUB 0000047d: DUP6 0000047e: AND 0000047f: DUP2 00000480: MSTORE 00000481: SWAP1 00000482: MLOAD 00000483: PUSH32 0x58619076adf5bb0943d100ef88d52d7c3fd691b19d3a9071b555b651fbf418da 000004a4: SWAP2 000004a5: DUP2 000004a6: SWAP1 000004a7: SUB 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: SWAP1 000004ac: LOG1 000004ad: JUMPDEST 000004ae: JUMPDEST 000004af: POP 000004b0: POP 000004b1: POP 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x01 000004b6: PUSH1 0xa0 000004b8: PUSH1 0x02 000004ba: EXP 000004bb: SUB 000004bc: DUP2 000004bd: AND 000004be: PUSH1 0x00 000004c0: SWAP1 000004c1: DUP2 000004c2: MSTORE 000004c3: PUSH2 0x0102 000004c6: PUSH1 0x20 000004c8: MSTORE 000004c9: PUSH1 0x40 000004cb: DUP2 000004cc: KECCAK256 000004cd: SLOAD 000004ce: GT 000004cf: JUMPDEST 000004d0: SWAP2 000004d1: SWAP1 000004d2: POP 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x01 000004d7: SLOAD 000004d8: DUP2 000004d9: JUMP 000004da: JUMPDEST 000004db: PUSH2 0x0107 000004de: SLOAD 000004df: DUP2 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x00 000004e4: CALLDATASIZE 000004e5: PUSH1 0x40 000004e7: MLOAD 000004e8: DUP1 000004e9: DUP4 000004ea: DUP4 000004eb: DUP1 000004ec: DUP3 000004ed: DUP5 000004ee: CALLDATACOPY 000004ef: DUP3 000004f0: ADD 000004f1: SWAP2 000004f2: POP 000004f3: POP 000004f4: SWAP3 000004f5: POP 000004f6: POP 000004f7: POP 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: DUP1 000004fc: SWAP2 000004fd: SUB 000004fe: SWAP1 000004ff: KECCAK256 00000500: PUSH2 0x0508 00000503: DUP2 00000504: PUSH2 0x0db4 00000507: JUMP 00000508: JUMPDEST 00000509: ISZERO 0000050a: ISZERO 0000050b: PUSH2 0x0514 0000050e: JUMPI 0000050f: PUSH1 0x00 00000511: PUSH1 0x00 00000513: REVERT 00000514: JUMPDEST 00000515: PUSH1 0x00 00000517: PUSH2 0x0106 0000051a: SSTORE 0000051b: JUMPDEST 0000051c: JUMPDEST 0000051d: POP 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH2 0x0106 00000523: SLOAD 00000524: DUP2 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x00 00000529: CALLDATASIZE 0000052a: PUSH1 0x40 0000052c: MLOAD 0000052d: DUP1 0000052e: DUP4 0000052f: DUP4 00000530: DUP1 00000531: DUP3 00000532: DUP5 00000533: CALLDATACOPY 00000534: DUP3 00000535: ADD 00000536: SWAP2 00000537: POP 00000538: POP 00000539: SWAP3 0000053a: POP 0000053b: POP 0000053c: POP 0000053d: PUSH1 0x40 0000053f: MLOAD 00000540: DUP1 00000541: SWAP2 00000542: SUB 00000543: SWAP1 00000544: KECCAK256 00000545: PUSH2 0x054d 00000548: DUP2 00000549: PUSH2 0x0db4 0000054c: JUMP 0000054d: JUMPDEST 0000054e: ISZERO 0000054f: ISZERO 00000550: PUSH2 0x0559 00000553: JUMPI 00000554: PUSH1 0x00 00000556: PUSH1 0x00 00000558: REVERT 00000559: JUMPDEST 0000055a: PUSH2 0x0562 0000055d: DUP3 0000055e: PUSH2 0x04b3 00000561: JUMP 00000562: JUMPDEST 00000563: ISZERO 00000564: PUSH2 0x056c 00000567: JUMPI 00000568: PUSH2 0x0617 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH2 0x0574 00000570: PUSH2 0x0f1f 00000573: JUMP 00000574: JUMPDEST 00000575: PUSH1 0x01 00000577: SLOAD 00000578: PUSH1 0xfa 0000057a: SWAP1 0000057b: LT 0000057c: PUSH2 0x0587 0000057f: JUMPI 00000580: PUSH2 0x0587 00000583: PUSH2 0x0fad 00000586: JUMP 00000587: JUMPDEST 00000588: JUMPDEST 00000589: PUSH1 0x01 0000058b: SLOAD 0000058c: PUSH1 0xfa 0000058e: SWAP1 0000058f: LT 00000590: PUSH2 0x0598 00000593: JUMPI 00000594: PUSH2 0x0617 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x01 0000059b: DUP1 0000059c: SLOAD 0000059d: DUP2 0000059e: ADD 0000059f: SWAP1 000005a0: DUP2 000005a1: SWAP1 000005a2: SSTORE 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: PUSH1 0x02 000005a9: EXP 000005aa: SUB 000005ab: DUP4 000005ac: AND 000005ad: SWAP1 000005ae: PUSH1 0x02 000005b0: SWAP1 000005b1: PUSH2 0x0100 000005b4: DUP2 000005b5: LT 000005b6: PUSH2 0x05bb 000005b9: JUMPI 000005ba: INVALID 000005bb: JUMPDEST 000005bc: ADD 000005bd: PUSH1 0x00 000005bf: JUMPDEST 000005c0: POP 000005c1: SSTORE 000005c2: PUSH1 0x01 000005c4: SLOAD 000005c5: PUSH1 0x01 000005c7: PUSH1 0xa0 000005c9: PUSH1 0x02 000005cb: EXP 000005cc: SUB 000005cd: DUP4 000005ce: AND 000005cf: PUSH1 0x00 000005d1: DUP2 000005d2: DUP2 000005d3: MSTORE 000005d4: PUSH2 0x0102 000005d7: PUSH1 0x20 000005d9: SWAP1 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x40 000005de: SWAP2 000005df: DUP3 000005e0: SWAP1 000005e1: KECCAK256 000005e2: SWAP4 000005e3: SWAP1 000005e4: SWAP4 000005e5: SSTORE 000005e6: DUP1 000005e7: MLOAD 000005e8: SWAP2 000005e9: DUP3 000005ea: MSTORE 000005eb: MLOAD 000005ec: PUSH32 0x994a936646fe87ffe4f1e469d3d6aa417d6b855598397f323de5b449f765f0c3 0000060d: SWAP3 0000060e: SWAP2 0000060f: DUP2 00000610: SWAP1 00000611: SUB 00000612: SWAP1 00000613: SWAP2 00000614: ADD 00000615: SWAP1 00000616: LOG1 00000617: JUMPDEST 00000618: JUMPDEST 00000619: POP 0000061a: POP 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH1 0x00 0000061f: SLOAD 00000620: DUP2 00000621: JUMP 00000622: JUMPDEST 00000623: PUSH1 0x00 00000625: DUP2 00000626: PUSH2 0x062e 00000629: DUP2 0000062a: PUSH2 0x0db4 0000062d: JUMP 0000062e: JUMPDEST 0000062f: ISZERO 00000630: ISZERO 00000631: PUSH2 0x063a 00000634: JUMPI 00000635: PUSH1 0x00 00000637: PUSH1 0x00 00000639: REVERT 0000063a: JUMPDEST 0000063b: PUSH1 0x00 0000063d: DUP4 0000063e: DUP2 0000063f: MSTORE 00000640: PUSH2 0x0108 00000643: PUSH1 0x20 00000645: MSTORE 00000646: PUSH1 0x40 00000648: SWAP1 00000649: KECCAK256 0000064a: SLOAD 0000064b: PUSH1 0x01 0000064d: PUSH1 0xa0 0000064f: PUSH1 0x02 00000651: EXP 00000652: SUB 00000653: AND 00000654: ISZERO 00000655: PUSH2 0x084f 00000658: JUMPI 00000659: PUSH1 0x00 0000065b: DUP4 0000065c: DUP2 0000065d: MSTORE 0000065e: PUSH2 0x0108 00000661: PUSH1 0x20 00000663: MSTORE 00000664: PUSH1 0x40 00000666: SWAP1 00000667: DUP2 00000668: SWAP1 00000669: KECCAK256 0000066a: DUP1 0000066b: SLOAD 0000066c: PUSH1 0x01 0000066e: DUP1 0000066f: DUP4 00000670: ADD 00000671: SLOAD 00000672: SWAP4 00000673: MLOAD 00000674: PUSH1 0x02 00000676: SWAP4 00000677: DUP5 00000678: ADD 00000679: DUP1 0000067a: SLOAD 0000067b: PUSH1 0x01 0000067d: PUSH1 0xa0 0000067f: PUSH1 0x02 00000681: EXP 00000682: SUB 00000683: SWAP1 00000684: SWAP5 00000685: AND 00000686: SWAP6 00000687: SWAP5 00000688: SWAP1 00000689: SWAP4 0000068a: SWAP2 0000068b: SWAP3 0000068c: DUP4 0000068d: SWAP3 0000068e: DUP6 0000068f: SWAP3 00000690: SWAP2 00000691: DUP2 00000692: AND 00000693: ISZERO 00000694: PUSH2 0x0100 00000697: MUL 00000698: PUSH1 0x00 0000069a: NOT 0000069b: ADD 0000069c: AND 0000069d: DIV 0000069e: DUP1 0000069f: ISZERO 000006a0: PUSH2 0x06ea 000006a3: JUMPI 000006a4: DUP1 000006a5: PUSH1 0x1f 000006a7: LT 000006a8: PUSH2 0x06bf 000006ab: JUMPI 000006ac: PUSH2 0x0100 000006af: DUP1 000006b0: DUP4 000006b1: SLOAD 000006b2: DIV 000006b3: MUL 000006b4: DUP4 000006b5: MSTORE 000006b6: SWAP2 000006b7: PUSH1 0x20 000006b9: ADD 000006ba: SWAP2 000006bb: PUSH2 0x06ea 000006be: JUMP 000006bf: JUMPDEST 000006c0: DUP3 000006c1: ADD 000006c2: SWAP2 000006c3: SWAP1 000006c4: PUSH1 0x00 000006c6: MSTORE 000006c7: PUSH1 0x20 000006c9: PUSH1 0x00 000006cb: KECCAK256 000006cc: SWAP1 000006cd: JUMPDEST 000006ce: DUP2 000006cf: SLOAD 000006d0: DUP2 000006d1: MSTORE 000006d2: SWAP1 000006d3: PUSH1 0x01 000006d5: ADD 000006d6: SWAP1 000006d7: PUSH1 0x20 000006d9: ADD 000006da: DUP1 000006db: DUP4 000006dc: GT 000006dd: PUSH2 0x06cd 000006e0: JUMPI 000006e1: DUP3 000006e2: SWAP1 000006e3: SUB 000006e4: PUSH1 0x1f 000006e6: AND 000006e7: DUP3 000006e8: ADD 000006e9: SWAP2 000006ea: JUMPDEST 000006eb: POP 000006ec: POP 000006ed: SWAP2 000006ee: POP 000006ef: POP 000006f0: PUSH1 0x00 000006f2: PUSH1 0x40 000006f4: MLOAD 000006f5: DUP1 000006f6: DUP4 000006f7: SUB 000006f8: DUP2 000006f9: DUP6 000006fa: DUP8 000006fb: PUSH2 0x8796 000006fe: GAS 000006ff: SUB 00000700: CALL 00000701: SWAP3 00000702: POP 00000703: POP 00000704: POP 00000705: ISZERO 00000706: ISZERO 00000707: PUSH2 0x0710 0000070a: JUMPI 0000070b: PUSH1 0x00 0000070d: PUSH1 0x00 0000070f: REVERT 00000710: JUMPDEST 00000711: PUSH1 0x00 00000713: DUP4 00000714: DUP2 00000715: MSTORE 00000716: PUSH2 0x0108 00000719: PUSH1 0x20 0000071b: SWAP1 0000071c: DUP2 0000071d: MSTORE 0000071e: PUSH1 0x40 00000720: SWAP2 00000721: DUP3 00000722: SWAP1 00000723: KECCAK256 00000724: PUSH1 0x01 00000726: DUP1 00000727: DUP3 00000728: ADD 00000729: SLOAD 0000072a: DUP3 0000072b: SLOAD 0000072c: DUP6 0000072d: MLOAD 0000072e: PUSH1 0x01 00000730: PUSH1 0xa0 00000732: PUSH1 0x02 00000734: EXP 00000735: SUB 00000736: CALLER 00000737: DUP2 00000738: DUP2 00000739: AND 0000073a: DUP4 0000073b: MSTORE 0000073c: SWAP7 0000073d: DUP3 0000073e: ADD 0000073f: DUP12 00000740: SWAP1 00000741: MSTORE 00000742: SWAP7 00000743: DUP2 00000744: ADD 00000745: DUP4 00000746: SWAP1 00000747: MSTORE 00000748: SWAP6 00000749: AND 0000074a: PUSH1 0x60 0000074c: DUP7 0000074d: ADD 0000074e: DUP2 0000074f: SWAP1 00000750: MSTORE 00000751: PUSH1 0xa0 00000753: PUSH1 0x80 00000755: DUP8 00000756: ADD 00000757: DUP2 00000758: DUP2 00000759: MSTORE 0000075a: PUSH1 0x02 0000075c: SWAP6 0000075d: DUP7 0000075e: ADD 0000075f: DUP1 00000760: SLOAD 00000761: SWAP6 00000762: DUP7 00000763: AND 00000764: ISZERO 00000765: PUSH2 0x0100 00000768: MUL 00000769: PUSH1 0x00 0000076b: NOT 0000076c: ADD 0000076d: SWAP1 0000076e: SWAP6 0000076f: AND 00000770: SWAP6 00000771: SWAP1 00000772: SWAP6 00000773: DIV 00000774: SWAP1 00000775: DUP8 00000776: ADD 00000777: DUP2 00000778: SWAP1 00000779: MSTORE 0000077a: PUSH32 0xe7c957c06e9a662c1a6c77366179f5b702b97651dc28eee7d5bf1dff6e40bb4a 0000079b: SWAP7 0000079c: DUP11 0000079d: SWAP6 0000079e: SWAP4 0000079f: SWAP5 000007a0: SWAP3 000007a1: SWAP4 000007a2: SWAP1 000007a3: SWAP2 000007a4: PUSH1 0xc0 000007a6: DUP4 000007a7: ADD 000007a8: SWAP1 000007a9: DUP5 000007aa: SWAP1 000007ab: DUP1 000007ac: ISZERO 000007ad: PUSH2 0x07f7 000007b0: JUMPI 000007b1: DUP1 000007b2: PUSH1 0x1f 000007b4: LT 000007b5: PUSH2 0x07cc 000007b8: JUMPI 000007b9: PUSH2 0x0100 000007bc: DUP1 000007bd: DUP4 000007be: SLOAD 000007bf: DIV 000007c0: MUL 000007c1: DUP4 000007c2: MSTORE 000007c3: SWAP2 000007c4: PUSH1 0x20 000007c6: ADD 000007c7: SWAP2 000007c8: PUSH2 0x07f7 000007cb: JUMP 000007cc: JUMPDEST 000007cd: DUP3 000007ce: ADD 000007cf: SWAP2 000007d0: SWAP1 000007d1: PUSH1 0x00 000007d3: MSTORE 000007d4: PUSH1 0x20 000007d6: PUSH1 0x00 000007d8: KECCAK256 000007d9: SWAP1 000007da: JUMPDEST 000007db: DUP2 000007dc: SLOAD 000007dd: DUP2 000007de: MSTORE 000007df: SWAP1 000007e0: PUSH1 0x01 000007e2: ADD 000007e3: SWAP1 000007e4: PUSH1 0x20 000007e6: ADD 000007e7: DUP1 000007e8: DUP4 000007e9: GT 000007ea: PUSH2 0x07da 000007ed: JUMPI 000007ee: DUP3 000007ef: SWAP1 000007f0: SUB 000007f1: PUSH1 0x1f 000007f3: AND 000007f4: DUP3 000007f5: ADD 000007f6: SWAP2 000007f7: JUMPDEST 000007f8: POP 000007f9: POP 000007fa: SWAP7 000007fb: POP 000007fc: POP 000007fd: POP 000007fe: POP 000007ff: POP 00000800: POP 00000801: POP 00000802: PUSH1 0x40 00000804: MLOAD 00000805: DUP1 00000806: SWAP2 00000807: SUB 00000808: SWAP1 00000809: LOG1 0000080a: PUSH1 0x00 0000080c: DUP4 0000080d: DUP2 0000080e: MSTORE 0000080f: PUSH2 0x0108 00000812: PUSH1 0x20 00000814: MSTORE 00000815: PUSH1 0x40 00000817: DUP2 00000818: KECCAK256 00000819: DUP1 0000081a: SLOAD 0000081b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000830: NOT 00000831: AND 00000832: DUP2 00000833: SSTORE 00000834: PUSH1 0x01 00000836: DUP2 00000837: ADD 00000838: DUP3 00000839: SWAP1 0000083a: SSTORE 0000083b: SWAP1 0000083c: PUSH2 0x0848 0000083f: PUSH1 0x02 00000841: DUP4 00000842: ADD 00000843: DUP3 00000844: PUSH2 0x1205 00000847: JUMP 00000848: JUMPDEST 00000849: POP 0000084a: POP 0000084b: PUSH1 0x01 0000084d: SWAP2 0000084e: POP 0000084f: JUMPDEST 00000850: JUMPDEST 00000851: JUMPDEST 00000852: POP 00000853: SWAP2 00000854: SWAP1 00000855: POP 00000856: JUMP 00000857: JUMPDEST 00000858: PUSH1 0x00 0000085a: CALLDATASIZE 0000085b: PUSH1 0x40 0000085d: MLOAD 0000085e: DUP1 0000085f: DUP4 00000860: DUP4 00000861: DUP1 00000862: DUP3 00000863: DUP5 00000864: CALLDATACOPY 00000865: DUP3 00000866: ADD 00000867: SWAP2 00000868: POP 00000869: POP 0000086a: SWAP3 0000086b: POP 0000086c: POP 0000086d: POP 0000086e: PUSH1 0x40 00000870: MLOAD 00000871: DUP1 00000872: SWAP2 00000873: SUB 00000874: SWAP1 00000875: KECCAK256 00000876: PUSH2 0x087e 00000879: DUP2 0000087a: PUSH2 0x0db4 0000087d: JUMP 0000087e: JUMPDEST 0000087f: ISZERO 00000880: ISZERO 00000881: PUSH2 0x088a 00000884: JUMPI 00000885: PUSH1 0x00 00000887: PUSH1 0x00 00000889: REVERT 0000088a: JUMPDEST 0000088b: PUSH2 0x0105 0000088e: DUP3 0000088f: SWAP1 00000890: SSTORE 00000891: JUMPDEST 00000892: JUMPDEST 00000893: POP 00000894: POP 00000895: JUMP 00000896: JUMPDEST 00000897: PUSH1 0x00 00000899: PUSH2 0x08a1 0000089c: CALLER 0000089d: PUSH2 0x04b3 000008a0: JUMP 000008a1: JUMPDEST 000008a2: ISZERO 000008a3: ISZERO 000008a4: PUSH2 0x08ad 000008a7: JUMPI 000008a8: PUSH1 0x00 000008aa: PUSH1 0x00 000008ac: REVERT 000008ad: JUMPDEST 000008ae: PUSH2 0x08b6 000008b1: DUP5 000008b2: PUSH2 0x10e9 000008b5: JUMP 000008b6: JUMPDEST 000008b7: ISZERO 000008b8: PUSH2 0x0990 000008bb: JUMPI 000008bc: PUSH32 0x92ca3a80853e6663fa31fa10b99225f18d4902939b4c53a9caae9043f6efd004 000008dd: CALLER 000008de: DUP6 000008df: DUP8 000008e0: DUP7 000008e1: DUP7 000008e2: PUSH1 0x40 000008e4: MLOAD 000008e5: DUP1 000008e6: DUP7 000008e7: PUSH1 0x01 000008e9: PUSH1 0xa0 000008eb: PUSH1 0x02 000008ed: EXP 000008ee: SUB 000008ef: AND 000008f0: PUSH1 0x01 000008f2: PUSH1 0xa0 000008f4: PUSH1 0x02 000008f6: EXP 000008f7: SUB 000008f8: AND 000008f9: DUP2 000008fa: MSTORE 000008fb: PUSH1 0x20 000008fd: ADD 000008fe: DUP6 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x20 00000903: ADD 00000904: DUP5 00000905: PUSH1 0x01 00000907: PUSH1 0xa0 00000909: PUSH1 0x02 0000090b: EXP 0000090c: SUB 0000090d: AND 0000090e: PUSH1 0x01 00000910: PUSH1 0xa0 00000912: PUSH1 0x02 00000914: EXP 00000915: SUB 00000916: AND 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x20 0000091b: ADD 0000091c: DUP1 0000091d: PUSH1 0x20 0000091f: ADD 00000920: DUP3 00000921: DUP2 00000922: SUB 00000923: DUP3 00000924: MSTORE 00000925: DUP5 00000926: DUP5 00000927: DUP3 00000928: DUP2 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: ADD 0000092e: SWAP3 0000092f: POP 00000930: DUP1 00000931: DUP3 00000932: DUP5 00000933: CALLDATACOPY 00000934: PUSH1 0x40 00000936: MLOAD 00000937: SWAP3 00000938: ADD 00000939: DUP3 0000093a: SWAP1 0000093b: SUB 0000093c: SWAP9 0000093d: POP 0000093e: SWAP1 0000093f: SWAP7 00000940: POP 00000941: POP 00000942: POP 00000943: POP 00000944: POP 00000945: POP 00000946: POP 00000947: LOG1 00000948: DUP5 00000949: PUSH1 0x01 0000094b: PUSH1 0xa0 0000094d: PUSH1 0x02 0000094f: EXP 00000950: SUB 00000951: AND 00000952: DUP5 00000953: DUP5 00000954: DUP5 00000955: PUSH1 0x40 00000957: MLOAD 00000958: DUP1 00000959: DUP4 0000095a: DUP4 0000095b: DUP1 0000095c: DUP3 0000095d: DUP5 0000095e: CALLDATACOPY 0000095f: DUP3 00000960: ADD 00000961: SWAP2 00000962: POP 00000963: POP 00000964: SWAP3 00000965: POP 00000966: POP 00000967: POP 00000968: PUSH1 0x00 0000096a: PUSH1 0x40 0000096c: MLOAD 0000096d: DUP1 0000096e: DUP4 0000096f: SUB 00000970: DUP2 00000971: DUP6 00000972: DUP8 00000973: PUSH2 0x8796 00000976: GAS 00000977: SUB 00000978: CALL 00000979: SWAP3 0000097a: POP 0000097b: POP 0000097c: POP 0000097d: ISZERO 0000097e: ISZERO 0000097f: PUSH2 0x0988 00000982: JUMPI 00000983: PUSH1 0x00 00000985: PUSH1 0x00 00000987: REVERT 00000988: JUMPDEST 00000989: POP 0000098a: PUSH1 0x00 0000098c: PUSH2 0x0ab6 0000098f: JUMP 00000990: JUMPDEST 00000991: PUSH1 0x00 00000993: CALLDATASIZE 00000994: NUMBER 00000995: PUSH1 0x40 00000997: MLOAD 00000998: DUP1 00000999: DUP5 0000099a: DUP5 0000099b: DUP1 0000099c: DUP3 0000099d: DUP5 0000099e: CALLDATACOPY 0000099f: DUP3 000009a0: ADD 000009a1: SWAP2 000009a2: POP 000009a3: POP 000009a4: DUP3 000009a5: DUP2 000009a6: MSTORE 000009a7: PUSH1 0x20 000009a9: ADD 000009aa: SWAP4 000009ab: POP 000009ac: POP 000009ad: POP 000009ae: POP 000009af: PUSH1 0x40 000009b1: MLOAD 000009b2: DUP1 000009b3: SWAP2 000009b4: SUB 000009b5: SWAP1 000009b6: KECCAK256 000009b7: SWAP1 000009b8: POP 000009b9: PUSH2 0x09c1 000009bc: DUP2 000009bd: PUSH2 0x0622 000009c0: JUMP 000009c1: JUMPDEST 000009c2: ISZERO 000009c3: DUP1 000009c4: ISZERO 000009c5: PUSH2 0x09e4 000009c8: JUMPI 000009c9: POP 000009ca: PUSH1 0x00 000009cc: DUP2 000009cd: DUP2 000009ce: MSTORE 000009cf: PUSH2 0x0108 000009d2: PUSH1 0x20 000009d4: MSTORE 000009d5: PUSH1 0x40 000009d7: SWAP1 000009d8: KECCAK256 000009d9: SLOAD 000009da: PUSH1 0x01 000009dc: PUSH1 0xa0 000009de: PUSH1 0x02 000009e0: EXP 000009e1: SUB 000009e2: AND 000009e3: ISZERO 000009e4: JUMPDEST 000009e5: ISZERO 000009e6: PUSH2 0x0ab6 000009e9: JUMPI 000009ea: PUSH1 0x00 000009ec: DUP2 000009ed: DUP2 000009ee: MSTORE 000009ef: PUSH2 0x0108 000009f2: PUSH1 0x20 000009f4: MSTORE 000009f5: PUSH1 0x40 000009f7: SWAP1 000009f8: KECCAK256 000009f9: DUP1 000009fa: SLOAD 000009fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a10: NOT 00000a11: AND 00000a12: PUSH1 0x01 00000a14: PUSH1 0xa0 00000a16: PUSH1 0x02 00000a18: EXP 00000a19: SUB 00000a1a: DUP8 00000a1b: AND 00000a1c: OR 00000a1d: DUP2 00000a1e: SSTORE 00000a1f: PUSH1 0x01 00000a21: DUP2 00000a22: ADD 00000a23: DUP6 00000a24: SWAP1 00000a25: SSTORE 00000a26: PUSH2 0x0a33 00000a29: SWAP1 00000a2a: PUSH1 0x02 00000a2c: ADD 00000a2d: DUP5 00000a2e: DUP5 00000a2f: PUSH2 0x124d 00000a32: JUMP 00000a33: JUMPDEST 00000a34: POP 00000a35: PUSH1 0x40 00000a37: DUP1 00000a38: MLOAD 00000a39: DUP3 00000a3a: DUP2 00000a3b: MSTORE 00000a3c: PUSH1 0x01 00000a3e: PUSH1 0xa0 00000a40: PUSH1 0x02 00000a42: EXP 00000a43: SUB 00000a44: CALLER 00000a45: DUP2 00000a46: DUP2 00000a47: AND 00000a48: PUSH1 0x20 00000a4a: DUP5 00000a4b: ADD 00000a4c: MSTORE 00000a4d: SWAP3 00000a4e: DUP3 00000a4f: ADD 00000a50: DUP8 00000a51: SWAP1 00000a52: MSTORE 00000a53: DUP8 00000a54: AND 00000a55: PUSH1 0x60 00000a57: DUP3 00000a58: ADD 00000a59: MSTORE 00000a5a: PUSH1 0xa0 00000a5c: PUSH1 0x80 00000a5e: DUP3 00000a5f: ADD 00000a60: DUP2 00000a61: DUP2 00000a62: MSTORE 00000a63: SWAP1 00000a64: DUP3 00000a65: ADD 00000a66: DUP6 00000a67: SWAP1 00000a68: MSTORE 00000a69: PUSH32 0x1733cbb53659d713b79580f79f3f9ff215f78a7c7aa45890f3b89fc5cddfbf32 00000a8a: SWAP3 00000a8b: DUP5 00000a8c: SWAP3 00000a8d: SWAP1 00000a8e: SWAP2 00000a8f: DUP9 00000a90: SWAP2 00000a91: DUP11 00000a92: SWAP2 00000a93: DUP10 00000a94: SWAP2 00000a95: DUP10 00000a96: SWAP2 00000a97: PUSH1 0xc0 00000a99: DUP3 00000a9a: ADD 00000a9b: DUP5 00000a9c: DUP5 00000a9d: DUP1 00000a9e: DUP3 00000a9f: DUP5 00000aa0: CALLDATACOPY 00000aa1: PUSH1 0x40 00000aa3: MLOAD 00000aa4: SWAP3 00000aa5: ADD 00000aa6: DUP3 00000aa7: SWAP1 00000aa8: SUB 00000aa9: SWAP10 00000aaa: POP 00000aab: SWAP1 00000aac: SWAP8 00000aad: POP 00000aae: POP 00000aaf: POP 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: POP 00000ab5: LOG1 00000ab6: JUMPDEST 00000ab7: JUMPDEST 00000ab8: JUMPDEST 00000ab9: SWAP5 00000aba: SWAP4 00000abb: POP 00000abc: POP 00000abd: POP 00000abe: POP 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH1 0x01 00000ac3: PUSH1 0xa0 00000ac5: PUSH1 0x02 00000ac7: EXP 00000ac8: SUB 00000ac9: CALLER 00000aca: AND 00000acb: PUSH1 0x00 00000acd: SWAP1 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH2 0x0102 00000ad3: PUSH1 0x20 00000ad5: MSTORE 00000ad6: PUSH1 0x40 00000ad8: DUP2 00000ad9: KECCAK256 00000ada: SLOAD 00000adb: SWAP1 00000adc: DUP1 00000add: DUP3 00000ade: ISZERO 00000adf: ISZERO 00000ae0: PUSH2 0x0ae8 00000ae3: JUMPI 00000ae4: PUSH2 0x0b64 00000ae7: JUMP 00000ae8: JUMPDEST 00000ae9: POP 00000aea: POP 00000aeb: PUSH1 0x00 00000aed: DUP3 00000aee: DUP2 00000aef: MSTORE 00000af0: PUSH2 0x0103 00000af3: PUSH1 0x20 00000af5: MSTORE 00000af6: PUSH1 0x40 00000af8: DUP2 00000af9: KECCAK256 00000afa: PUSH1 0x01 00000afc: DUP2 00000afd: ADD 00000afe: SLOAD 00000aff: PUSH1 0x02 00000b01: DUP5 00000b02: SWAP1 00000b03: EXP 00000b04: SWAP3 00000b05: SWAP1 00000b06: DUP4 00000b07: AND 00000b08: GT 00000b09: ISZERO 00000b0a: PUSH2 0x0b64 00000b0d: JUMPI 00000b0e: DUP1 00000b0f: SLOAD 00000b10: PUSH1 0x01 00000b12: SWAP1 00000b13: DUP2 00000b14: ADD 00000b15: DUP3 00000b16: SSTORE 00000b17: DUP2 00000b18: ADD 00000b19: DUP1 00000b1a: SLOAD 00000b1b: DUP4 00000b1c: SWAP1 00000b1d: SUB 00000b1e: SWAP1 00000b1f: SSTORE 00000b20: PUSH1 0x40 00000b22: DUP1 00000b23: MLOAD 00000b24: PUSH1 0x01 00000b26: PUSH1 0xa0 00000b28: PUSH1 0x02 00000b2a: EXP 00000b2b: SUB 00000b2c: CALLER 00000b2d: AND 00000b2e: DUP2 00000b2f: MSTORE 00000b30: PUSH1 0x20 00000b32: DUP2 00000b33: ADD 00000b34: DUP7 00000b35: SWAP1 00000b36: MSTORE 00000b37: DUP2 00000b38: MLOAD 00000b39: PUSH32 0xc7fb647e59b18047309aa15aad418e5d7ca96d173ad704f1031a2c3d7591734b 00000b5a: SWAP3 00000b5b: SWAP2 00000b5c: DUP2 00000b5d: SWAP1 00000b5e: SUB 00000b5f: SWAP1 00000b60: SWAP2 00000b61: ADD 00000b62: SWAP1 00000b63: LOG1 00000b64: JUMPDEST 00000b65: JUMPDEST 00000b66: POP 00000b67: POP 00000b68: POP 00000b69: POP 00000b6a: JUMP 00000b6b: JUMPDEST 00000b6c: PUSH1 0x00 00000b6e: CALLDATASIZE 00000b6f: PUSH1 0x40 00000b71: MLOAD 00000b72: DUP1 00000b73: DUP4 00000b74: DUP4 00000b75: DUP1 00000b76: DUP3 00000b77: DUP5 00000b78: CALLDATACOPY 00000b79: DUP3 00000b7a: ADD 00000b7b: SWAP2 00000b7c: POP 00000b7d: POP 00000b7e: SWAP3 00000b7f: POP 00000b80: POP 00000b81: POP 00000b82: PUSH1 0x40 00000b84: MLOAD 00000b85: DUP1 00000b86: SWAP2 00000b87: SUB 00000b88: SWAP1 00000b89: KECCAK256 00000b8a: PUSH2 0x0b92 00000b8d: DUP2 00000b8e: PUSH2 0x0db4 00000b91: JUMP 00000b92: JUMPDEST 00000b93: ISZERO 00000b94: ISZERO 00000b95: PUSH2 0x0b9e 00000b98: JUMPI 00000b99: PUSH1 0x00 00000b9b: PUSH1 0x00 00000b9d: REVERT 00000b9e: JUMPDEST 00000b9f: PUSH1 0x01 00000ba1: SLOAD 00000ba2: DUP3 00000ba3: GT 00000ba4: ISZERO 00000ba5: PUSH2 0x0bad 00000ba8: JUMPI 00000ba9: PUSH2 0x0617 00000bac: JUMP 00000bad: JUMPDEST 00000bae: PUSH1 0x00 00000bb0: DUP3 00000bb1: SWAP1 00000bb2: SSTORE 00000bb3: PUSH2 0x0bba 00000bb6: PUSH2 0x0f1f 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH1 0x40 00000bbd: DUP1 00000bbe: MLOAD 00000bbf: DUP4 00000bc0: DUP2 00000bc1: MSTORE 00000bc2: SWAP1 00000bc3: MLOAD 00000bc4: PUSH32 0xacbdb084c721332ac59f9b8e392196c9eb0e4932862da8eb9beaf0dad4f550da 00000be5: SWAP2 00000be6: DUP2 00000be7: SWAP1 00000be8: SUB 00000be9: PUSH1 0x20 00000beb: ADD 00000bec: SWAP1 00000bed: LOG1 00000bee: JUMPDEST 00000bef: JUMPDEST 00000bf0: POP 00000bf1: POP 00000bf2: JUMP 00000bf3: JUMPDEST 00000bf4: PUSH1 0x00 00000bf6: DUP3 00000bf7: DUP2 00000bf8: MSTORE 00000bf9: PUSH2 0x0103 00000bfc: PUSH1 0x20 00000bfe: SWAP1 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x40 00000c03: DUP1 00000c04: DUP4 00000c05: KECCAK256 00000c06: PUSH1 0x01 00000c08: PUSH1 0xa0 00000c0a: PUSH1 0x02 00000c0c: EXP 00000c0d: SUB 00000c0e: DUP6 00000c0f: AND 00000c10: DUP5 00000c11: MSTORE 00000c12: PUSH2 0x0102 00000c15: SWAP1 00000c16: SWAP3 00000c17: MSTORE 00000c18: DUP3 00000c19: KECCAK256 00000c1a: SLOAD 00000c1b: DUP3 00000c1c: DUP2 00000c1d: ISZERO 00000c1e: ISZERO 00000c1f: PUSH2 0x0c2b 00000c22: JUMPI 00000c23: PUSH1 0x00 00000c25: SWAP4 00000c26: POP 00000c27: PUSH2 0x0c3f 00000c2a: JUMP 00000c2b: JUMPDEST 00000c2c: DUP2 00000c2d: PUSH1 0x02 00000c2f: EXP 00000c30: SWAP1 00000c31: POP 00000c32: DUP1 00000c33: DUP4 00000c34: PUSH1 0x01 00000c36: ADD 00000c37: SLOAD 00000c38: AND 00000c39: PUSH1 0x00 00000c3b: EQ 00000c3c: ISZERO 00000c3d: SWAP4 00000c3e: POP 00000c3f: JUMPDEST 00000c40: POP 00000c41: POP 00000c42: POP 00000c43: SWAP3 00000c44: SWAP2 00000c45: POP 00000c46: POP 00000c47: JUMP 00000c48: JUMPDEST 00000c49: PUSH1 0x00 00000c4b: PUSH1 0x02 00000c4d: PUSH1 0x01 00000c4f: DUP4 00000c50: ADD 00000c51: PUSH2 0x0100 00000c54: DUP2 00000c55: LT 00000c56: PUSH2 0x0c5b 00000c59: JUMPI 00000c5a: INVALID 00000c5b: JUMPDEST 00000c5c: ADD 00000c5d: PUSH1 0x00 00000c5f: JUMPDEST 00000c60: POP 00000c61: SLOAD 00000c62: SWAP1 00000c63: POP 00000c64: JUMPDEST 00000c65: SWAP2 00000c66: SWAP1 00000c67: POP 00000c68: JUMP 00000c69: JUMPDEST 00000c6a: PUSH1 0x00 00000c6c: CALLDATASIZE 00000c6d: PUSH1 0x40 00000c6f: MLOAD 00000c70: DUP1 00000c71: DUP4 00000c72: DUP4 00000c73: DUP1 00000c74: DUP3 00000c75: DUP5 00000c76: CALLDATACOPY 00000c77: DUP3 00000c78: ADD 00000c79: SWAP2 00000c7a: POP 00000c7b: POP 00000c7c: SWAP3 00000c7d: POP 00000c7e: POP 00000c7f: POP 00000c80: PUSH1 0x40 00000c82: MLOAD 00000c83: DUP1 00000c84: SWAP2 00000c85: SUB 00000c86: SWAP1 00000c87: KECCAK256 00000c88: PUSH2 0x0c90 00000c8b: DUP2 00000c8c: PUSH2 0x0db4 00000c8f: JUMP 00000c90: JUMPDEST 00000c91: ISZERO 00000c92: ISZERO 00000c93: PUSH2 0x0c9c 00000c96: JUMPI 00000c97: PUSH1 0x00 00000c99: PUSH1 0x00 00000c9b: REVERT 00000c9c: JUMPDEST 00000c9d: DUP2 00000c9e: PUSH1 0x01 00000ca0: PUSH1 0xa0 00000ca2: PUSH1 0x02 00000ca4: EXP 00000ca5: SUB 00000ca6: AND 00000ca7: SELFDESTRUCT 00000ca8: JUMPDEST 00000ca9: JUMPDEST 00000caa: POP 00000cab: POP 00000cac: JUMP 00000cad: JUMPDEST 00000cae: PUSH1 0x00 00000cb0: PUSH1 0x00 00000cb2: CALLDATASIZE 00000cb3: PUSH1 0x40 00000cb5: MLOAD 00000cb6: DUP1 00000cb7: DUP4 00000cb8: DUP4 00000cb9: DUP1 00000cba: DUP3 00000cbb: DUP5 00000cbc: CALLDATACOPY 00000cbd: DUP3 00000cbe: ADD 00000cbf: SWAP2 00000cc0: POP 00000cc1: POP 00000cc2: SWAP3 00000cc3: POP 00000cc4: POP 00000cc5: POP 00000cc6: PUSH1 0x40 00000cc8: MLOAD 00000cc9: DUP1 00000cca: SWAP2 00000ccb: SUB 00000ccc: SWAP1 00000ccd: KECCAK256 00000cce: PUSH2 0x0cd6 00000cd1: DUP2 00000cd2: PUSH2 0x0db4 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: ISZERO 00000cd8: ISZERO 00000cd9: PUSH2 0x0ce2 00000cdc: JUMPI 00000cdd: PUSH1 0x00 00000cdf: PUSH1 0x00 00000ce1: REVERT 00000ce2: JUMPDEST 00000ce3: PUSH2 0x0ceb 00000ce6: DUP4 00000ce7: PUSH2 0x04b3 00000cea: JUMP 00000ceb: JUMPDEST 00000cec: ISZERO 00000ced: PUSH2 0x0cf5 00000cf0: JUMPI 00000cf1: PUSH2 0x0b64 00000cf4: JUMP 00000cf5: JUMPDEST 00000cf6: PUSH1 0x01 00000cf8: PUSH1 0xa0 00000cfa: PUSH1 0x02 00000cfc: EXP 00000cfd: SUB 00000cfe: DUP5 00000cff: AND 00000d00: PUSH1 0x00 00000d02: SWAP1 00000d03: DUP2 00000d04: MSTORE 00000d05: PUSH2 0x0102 00000d08: PUSH1 0x20 00000d0a: MSTORE 00000d0b: PUSH1 0x40 00000d0d: SWAP1 00000d0e: KECCAK256 00000d0f: SLOAD 00000d10: SWAP2 00000d11: POP 00000d12: DUP2 00000d13: ISZERO 00000d14: ISZERO 00000d15: PUSH2 0x0d1d 00000d18: JUMPI 00000d19: PUSH2 0x0b64 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH2 0x0d25 00000d21: PUSH2 0x0f1f 00000d24: JUMP 00000d25: JUMPDEST 00000d26: PUSH1 0x01 00000d28: PUSH1 0xa0 00000d2a: PUSH1 0x02 00000d2c: EXP 00000d2d: SUB 00000d2e: DUP4 00000d2f: AND 00000d30: PUSH1 0x02 00000d32: DUP4 00000d33: PUSH2 0x0100 00000d36: DUP2 00000d37: LT 00000d38: PUSH2 0x0d3d 00000d3b: JUMPI 00000d3c: INVALID 00000d3d: JUMPDEST 00000d3e: ADD 00000d3f: PUSH1 0x00 00000d41: JUMPDEST 00000d42: POP 00000d43: SSTORE 00000d44: PUSH1 0x01 00000d46: PUSH1 0xa0 00000d48: PUSH1 0x02 00000d4a: EXP 00000d4b: SUB 00000d4c: DUP1 00000d4d: DUP6 00000d4e: AND 00000d4f: PUSH1 0x00 00000d51: DUP2 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH2 0x0102 00000d57: PUSH1 0x20 00000d59: SWAP1 00000d5a: DUP2 00000d5b: MSTORE 00000d5c: PUSH1 0x40 00000d5e: DUP1 00000d5f: DUP4 00000d60: KECCAK256 00000d61: DUP4 00000d62: SWAP1 00000d63: SSTORE 00000d64: SWAP4 00000d65: DUP8 00000d66: AND 00000d67: DUP1 00000d68: DUP4 00000d69: MSTORE 00000d6a: SWAP2 00000d6b: DUP5 00000d6c: SWAP1 00000d6d: KECCAK256 00000d6e: DUP7 00000d6f: SWAP1 00000d70: SSTORE 00000d71: DUP4 00000d72: MLOAD 00000d73: SWAP3 00000d74: DUP4 00000d75: MSTORE 00000d76: DUP3 00000d77: ADD 00000d78: MSTORE 00000d79: DUP2 00000d7a: MLOAD 00000d7b: PUSH32 0xb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c 00000d9c: SWAP3 00000d9d: SWAP2 00000d9e: DUP2 00000d9f: SWAP1 00000da0: SUB 00000da1: SWAP1 00000da2: SWAP2 00000da3: ADD 00000da4: SWAP1 00000da5: LOG1 00000da6: JUMPDEST 00000da7: JUMPDEST 00000da8: POP 00000da9: POP 00000daa: POP 00000dab: POP 00000dac: JUMP 00000dad: JUMPDEST 00000dae: PUSH2 0x0105 00000db1: SLOAD 00000db2: DUP2 00000db3: JUMP 00000db4: JUMPDEST 00000db5: PUSH1 0x01 00000db7: PUSH1 0xa0 00000db9: PUSH1 0x02 00000dbb: EXP 00000dbc: SUB 00000dbd: CALLER 00000dbe: AND 00000dbf: PUSH1 0x00 00000dc1: SWAP1 00000dc2: DUP2 00000dc3: MSTORE 00000dc4: PUSH2 0x0102 00000dc7: PUSH1 0x20 00000dc9: MSTORE 00000dca: PUSH1 0x40 00000dcc: DUP2 00000dcd: KECCAK256 00000dce: SLOAD 00000dcf: DUP2 00000dd0: DUP1 00000dd1: DUP3 00000dd2: ISZERO 00000dd3: ISZERO 00000dd4: PUSH2 0x0ddc 00000dd7: JUMPI 00000dd8: PUSH2 0x0f15 00000ddb: JUMP 00000ddc: JUMPDEST 00000ddd: PUSH1 0x00 00000ddf: DUP6 00000de0: DUP2 00000de1: MSTORE 00000de2: PUSH2 0x0103 00000de5: PUSH1 0x20 00000de7: MSTORE 00000de8: PUSH1 0x40 00000dea: SWAP1 00000deb: KECCAK256 00000dec: DUP1 00000ded: SLOAD 00000dee: SWAP1 00000def: SWAP3 00000df0: POP 00000df1: ISZERO 00000df2: ISZERO 00000df3: PUSH2 0x0e3f 00000df6: JUMPI 00000df7: PUSH1 0x00 00000df9: DUP1 00000dfa: SLOAD 00000dfb: DUP4 00000dfc: SSTORE 00000dfd: PUSH1 0x01 00000dff: DUP1 00000e00: DUP5 00000e01: ADD 00000e02: SWAP2 00000e03: SWAP1 00000e04: SWAP2 00000e05: SSTORE 00000e06: PUSH2 0x0104 00000e09: DUP1 00000e0a: SLOAD 00000e0b: SWAP2 00000e0c: PUSH2 0x0e17 00000e0f: SWAP2 00000e10: SWAP1 00000e11: DUP4 00000e12: ADD 00000e13: PUSH2 0x12cc 00000e16: JUMP 00000e17: JUMPDEST 00000e18: PUSH1 0x02 00000e1a: DUP4 00000e1b: ADD 00000e1c: DUP2 00000e1d: SWAP1 00000e1e: SSTORE 00000e1f: PUSH2 0x0104 00000e22: DUP1 00000e23: SLOAD 00000e24: DUP8 00000e25: SWAP3 00000e26: SWAP1 00000e27: DUP2 00000e28: LT 00000e29: PUSH2 0x0e2e 00000e2c: JUMPI 00000e2d: INVALID 00000e2e: JUMPDEST 00000e2f: SWAP1 00000e30: PUSH1 0x00 00000e32: MSTORE 00000e33: PUSH1 0x20 00000e35: PUSH1 0x00 00000e37: KECCAK256 00000e38: SWAP1 00000e39: ADD 00000e3a: PUSH1 0x00 00000e3c: JUMPDEST 00000e3d: POP 00000e3e: SSTORE 00000e3f: JUMPDEST 00000e40: DUP3 00000e41: PUSH1 0x02 00000e43: EXP 00000e44: SWAP1 00000e45: POP 00000e46: DUP1 00000e47: DUP3 00000e48: PUSH1 0x01 00000e4a: ADD 00000e4b: SLOAD 00000e4c: AND 00000e4d: PUSH1 0x00 00000e4f: EQ 00000e50: ISZERO 00000e51: PUSH2 0x0f15 00000e54: JUMPI 00000e55: PUSH1 0x40 00000e57: DUP1 00000e58: MLOAD 00000e59: PUSH1 0x01 00000e5b: PUSH1 0xa0 00000e5d: PUSH1 0x02 00000e5f: EXP 00000e60: SUB 00000e61: CALLER 00000e62: AND 00000e63: DUP2 00000e64: MSTORE 00000e65: PUSH1 0x20 00000e67: DUP2 00000e68: ADD 00000e69: DUP8 00000e6a: SWAP1 00000e6b: MSTORE 00000e6c: DUP2 00000e6d: MLOAD 00000e6e: PUSH32 0xe1c52dc63b719ade82e8bea94cc41a0d5d28e4aaf536adb5e9cccc9ff8c1aeda 00000e8f: SWAP3 00000e90: SWAP2 00000e91: DUP2 00000e92: SWAP1 00000e93: SUB 00000e94: SWAP1 00000e95: SWAP2 00000e96: ADD 00000e97: SWAP1 00000e98: LOG1 00000e99: DUP2 00000e9a: SLOAD 00000e9b: PUSH1 0x01 00000e9d: SWAP1 00000e9e: GT 00000e9f: PUSH2 0x0f02 00000ea2: JUMPI 00000ea3: PUSH1 0x00 00000ea5: DUP6 00000ea6: DUP2 00000ea7: MSTORE 00000ea8: PUSH2 0x0103 00000eab: PUSH1 0x20 00000ead: MSTORE 00000eae: PUSH1 0x40 00000eb0: SWAP1 00000eb1: KECCAK256 00000eb2: PUSH1 0x02 00000eb4: ADD 00000eb5: SLOAD 00000eb6: PUSH2 0x0104 00000eb9: DUP1 00000eba: SLOAD 00000ebb: SWAP1 00000ebc: SWAP2 00000ebd: SWAP1 00000ebe: DUP2 00000ebf: LT 00000ec0: PUSH2 0x0ec5 00000ec3: JUMPI 00000ec4: INVALID 00000ec5: JUMPDEST 00000ec6: SWAP1 00000ec7: PUSH1 0x00 00000ec9: MSTORE 00000eca: PUSH1 0x20 00000ecc: PUSH1 0x00 00000ece: KECCAK256 00000ecf: SWAP1 00000ed0: ADD 00000ed1: PUSH1 0x00 00000ed3: JUMPDEST 00000ed4: POP 00000ed5: PUSH1 0x00 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: SWAP1 00000eda: SSTORE 00000edb: DUP6 00000edc: DUP2 00000edd: MSTORE 00000ede: PUSH2 0x0103 00000ee1: PUSH1 0x20 00000ee3: MSTORE 00000ee4: PUSH1 0x40 00000ee6: DUP2 00000ee7: KECCAK256 00000ee8: DUP2 00000ee9: DUP2 00000eea: SSTORE 00000eeb: PUSH1 0x01 00000eed: DUP1 00000eee: DUP3 00000eef: ADD 00000ef0: DUP4 00000ef1: SWAP1 00000ef2: SSTORE 00000ef3: PUSH1 0x02 00000ef5: SWAP1 00000ef6: SWAP2 00000ef7: ADD 00000ef8: SWAP2 00000ef9: SWAP1 00000efa: SWAP2 00000efb: SSTORE 00000efc: SWAP4 00000efd: POP 00000efe: PUSH2 0x0f15 00000f01: JUMP 00000f02: JUMPDEST 00000f03: DUP2 00000f04: SLOAD 00000f05: PUSH1 0x00 00000f07: NOT 00000f08: ADD 00000f09: DUP3 00000f0a: SSTORE 00000f0b: PUSH1 0x01 00000f0d: DUP3 00000f0e: ADD 00000f0f: DUP1 00000f10: SLOAD 00000f11: DUP3 00000f12: OR 00000f13: SWAP1 00000f14: SSTORE 00000f15: JUMPDEST 00000f16: JUMPDEST 00000f17: JUMPDEST 00000f18: POP 00000f19: POP 00000f1a: POP 00000f1b: SWAP2 00000f1c: SWAP1 00000f1d: POP 00000f1e: JUMP 00000f1f: JUMPDEST 00000f20: PUSH2 0x0104 00000f23: SLOAD 00000f24: PUSH1 0x00 00000f26: JUMPDEST 00000f27: DUP2 00000f28: DUP2 00000f29: LT 00000f2a: ISZERO 00000f2b: PUSH2 0x0fa0 00000f2e: JUMPI 00000f2f: PUSH2 0x0108 00000f32: PUSH1 0x00 00000f34: PUSH2 0x0104 00000f37: DUP4 00000f38: DUP2 00000f39: SLOAD 00000f3a: DUP2 00000f3b: LT 00000f3c: ISZERO 00000f3d: ISZERO 00000f3e: PUSH2 0x0f43 00000f41: JUMPI 00000f42: INVALID 00000f43: JUMPDEST 00000f44: SWAP1 00000f45: PUSH1 0x00 00000f47: MSTORE 00000f48: PUSH1 0x20 00000f4a: PUSH1 0x00 00000f4c: KECCAK256 00000f4d: SWAP1 00000f4e: ADD 00000f4f: PUSH1 0x00 00000f51: JUMPDEST 00000f52: POP 00000f53: SLOAD 00000f54: DUP2 00000f55: MSTORE 00000f56: PUSH1 0x20 00000f58: DUP2 00000f59: ADD 00000f5a: SWAP2 00000f5b: SWAP1 00000f5c: SWAP2 00000f5d: MSTORE 00000f5e: PUSH1 0x40 00000f60: ADD 00000f61: PUSH1 0x00 00000f63: SWAP1 00000f64: DUP2 00000f65: KECCAK256 00000f66: DUP1 00000f67: SLOAD 00000f68: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f7d: NOT 00000f7e: AND 00000f7f: DUP2 00000f80: SSTORE 00000f81: PUSH1 0x01 00000f83: DUP2 00000f84: ADD 00000f85: DUP3 00000f86: SWAP1 00000f87: SSTORE 00000f88: SWAP1 00000f89: PUSH2 0x0f95 00000f8c: PUSH1 0x02 00000f8e: DUP4 00000f8f: ADD 00000f90: DUP3 00000f91: PUSH2 0x1205 00000f94: JUMP 00000f95: JUMPDEST 00000f96: POP 00000f97: POP 00000f98: JUMPDEST 00000f99: PUSH1 0x01 00000f9b: ADD 00000f9c: PUSH2 0x0f26 00000f9f: JUMP 00000fa0: JUMPDEST 00000fa1: PUSH2 0x0617 00000fa4: PUSH2 0x1162 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: JUMPDEST 00000faa: POP 00000fab: POP 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH1 0x01 00000fb0: JUMPDEST 00000fb1: PUSH1 0x01 00000fb3: SLOAD 00000fb4: DUP2 00000fb5: LT 00000fb6: ISZERO 00000fb7: PUSH2 0x051b 00000fba: JUMPI 00000fbb: JUMPDEST 00000fbc: PUSH1 0x01 00000fbe: SLOAD 00000fbf: DUP2 00000fc0: LT 00000fc1: DUP1 00000fc2: ISZERO 00000fc3: PUSH2 0x0fde 00000fc6: JUMPI 00000fc7: POP 00000fc8: PUSH1 0x02 00000fca: DUP2 00000fcb: PUSH2 0x0100 00000fce: DUP2 00000fcf: LT 00000fd0: PUSH2 0x0fd5 00000fd3: JUMPI 00000fd4: INVALID 00000fd5: JUMPDEST 00000fd6: ADD 00000fd7: PUSH1 0x00 00000fd9: JUMPDEST 00000fda: POP 00000fdb: SLOAD 00000fdc: ISZERO 00000fdd: ISZERO 00000fde: JUMPDEST 00000fdf: ISZERO 00000fe0: PUSH2 0x0feb 00000fe3: JUMPI 00000fe4: PUSH1 0x01 00000fe6: ADD 00000fe7: PUSH2 0x0fbb 00000fea: JUMP 00000feb: JUMPDEST 00000fec: JUMPDEST 00000fed: PUSH1 0x01 00000fef: PUSH1 0x01 00000ff1: SLOAD 00000ff2: GT 00000ff3: DUP1 00000ff4: ISZERO 00000ff5: PUSH2 0x1012 00000ff8: JUMPI 00000ff9: POP 00000ffa: PUSH1 0x01 00000ffc: SLOAD 00000ffd: PUSH1 0x02 00000fff: SWAP1 00001000: PUSH2 0x0100 00001003: DUP2 00001004: LT 00001005: PUSH2 0x100a 00001008: JUMPI 00001009: INVALID 0000100a: JUMPDEST 0000100b: ADD 0000100c: PUSH1 0x00 0000100e: JUMPDEST 0000100f: POP 00001010: SLOAD 00001011: ISZERO 00001012: JUMPDEST 00001013: ISZERO 00001014: PUSH2 0x1026 00001017: JUMPI 00001018: PUSH1 0x01 0000101a: DUP1 0000101b: SLOAD 0000101c: PUSH1 0x00 0000101e: NOT 0000101f: ADD 00001020: SWAP1 00001021: SSTORE 00001022: PUSH2 0x0feb 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH1 0x01 00001029: SLOAD 0000102a: DUP2 0000102b: LT 0000102c: DUP1 0000102d: ISZERO 0000102e: PUSH2 0x104c 00001031: JUMPI 00001032: POP 00001033: PUSH1 0x01 00001035: SLOAD 00001036: PUSH1 0x02 00001038: SWAP1 00001039: PUSH2 0x0100 0000103c: DUP2 0000103d: LT 0000103e: PUSH2 0x1043 00001041: JUMPI 00001042: INVALID 00001043: JUMPDEST 00001044: ADD 00001045: PUSH1 0x00 00001047: JUMPDEST 00001048: POP 00001049: SLOAD 0000104a: ISZERO 0000104b: ISZERO 0000104c: JUMPDEST 0000104d: DUP1 0000104e: ISZERO 0000104f: PUSH2 0x1069 00001052: JUMPI 00001053: POP 00001054: PUSH1 0x02 00001056: DUP2 00001057: PUSH2 0x0100 0000105a: DUP2 0000105b: LT 0000105c: PUSH2 0x1061 0000105f: JUMPI 00001060: INVALID 00001061: JUMPDEST 00001062: ADD 00001063: PUSH1 0x00 00001065: JUMPDEST 00001066: POP 00001067: SLOAD 00001068: ISZERO 00001069: JUMPDEST 0000106a: ISZERO 0000106b: PUSH2 0x10e0 0000106e: JUMPI 0000106f: PUSH1 0x01 00001071: SLOAD 00001072: PUSH1 0x02 00001074: SWAP1 00001075: PUSH2 0x0100 00001078: DUP2 00001079: LT 0000107a: PUSH2 0x107f 0000107d: JUMPI 0000107e: INVALID 0000107f: JUMPDEST 00001080: ADD 00001081: PUSH1 0x00 00001083: JUMPDEST 00001084: POP 00001085: SLOAD 00001086: PUSH1 0x02 00001088: DUP3 00001089: PUSH2 0x0100 0000108c: DUP2 0000108d: LT 0000108e: PUSH2 0x1093 00001091: JUMPI 00001092: INVALID 00001093: JUMPDEST 00001094: ADD 00001095: PUSH1 0x00 00001097: JUMPDEST 00001098: POP 00001099: SSTORE 0000109a: DUP1 0000109b: PUSH2 0x0102 0000109e: PUSH1 0x00 000010a0: PUSH1 0x02 000010a2: DUP4 000010a3: PUSH2 0x0100 000010a6: DUP2 000010a7: LT 000010a8: PUSH2 0x10ad 000010ab: JUMPI 000010ac: INVALID 000010ad: JUMPDEST 000010ae: ADD 000010af: PUSH1 0x00 000010b1: JUMPDEST 000010b2: POP 000010b3: SLOAD 000010b4: DUP2 000010b5: MSTORE 000010b6: PUSH1 0x20 000010b8: ADD 000010b9: SWAP1 000010ba: DUP2 000010bb: MSTORE 000010bc: PUSH1 0x20 000010be: ADD 000010bf: PUSH1 0x00 000010c1: KECCAK256 000010c2: DUP2 000010c3: SWAP1 000010c4: SSTORE 000010c5: POP 000010c6: PUSH1 0x00 000010c8: PUSH1 0x02 000010ca: PUSH1 0x01 000010cc: SLOAD 000010cd: PUSH2 0x0100 000010d0: DUP2 000010d1: LT 000010d2: ISZERO 000010d3: ISZERO 000010d4: PUSH2 0x10d9 000010d7: JUMPI 000010d8: INVALID 000010d9: JUMPDEST 000010da: ADD 000010db: PUSH1 0x00 000010dd: JUMPDEST 000010de: POP 000010df: SSTORE 000010e0: JUMPDEST 000010e1: PUSH2 0x0fb0 000010e4: JUMP 000010e5: JUMPDEST 000010e6: JUMPDEST 000010e7: POP 000010e8: JUMP 000010e9: JUMPDEST 000010ea: PUSH1 0x00 000010ec: PUSH2 0x10f4 000010ef: CALLER 000010f0: PUSH2 0x04b3 000010f3: JUMP 000010f4: JUMPDEST 000010f5: ISZERO 000010f6: ISZERO 000010f7: PUSH2 0x1100 000010fa: JUMPI 000010fb: PUSH1 0x00 000010fd: PUSH1 0x00 000010ff: REVERT 00001100: JUMPDEST 00001101: PUSH2 0x0107 00001104: SLOAD 00001105: PUSH2 0x110c 00001108: PUSH2 0x11f6 0000110b: JUMP 0000110c: JUMPDEST 0000110d: GT 0000110e: ISZERO 0000110f: PUSH2 0x1125 00001112: JUMPI 00001113: PUSH1 0x00 00001115: PUSH2 0x0106 00001118: SSTORE 00001119: PUSH2 0x1120 0000111c: PUSH2 0x11f6 0000111f: JUMP 00001120: JUMPDEST 00001121: PUSH2 0x0107 00001124: SSTORE 00001125: JUMPDEST 00001126: PUSH2 0x0106 00001129: SLOAD 0000112a: DUP3 0000112b: DUP2 0000112c: ADD 0000112d: LT 0000112e: DUP1 0000112f: ISZERO 00001130: SWAP1 00001131: PUSH2 0x1142 00001134: JUMPI 00001135: POP 00001136: PUSH2 0x0105 00001139: SLOAD 0000113a: DUP3 0000113b: PUSH2 0x0106 0000113e: SLOAD 0000113f: ADD 00001140: GT 00001141: ISZERO 00001142: JUMPDEST 00001143: ISZERO 00001144: PUSH2 0x1158 00001147: JUMPI 00001148: POP 00001149: PUSH2 0x0106 0000114c: DUP1 0000114d: SLOAD 0000114e: DUP3 0000114f: ADD 00001150: SWAP1 00001151: SSTORE 00001152: PUSH1 0x01 00001154: PUSH2 0x04cf 00001157: JUMP 00001158: JUMPDEST 00001159: POP 0000115a: PUSH1 0x00 0000115c: JUMPDEST 0000115d: JUMPDEST 0000115e: SWAP2 0000115f: SWAP1 00001160: POP 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH2 0x0104 00001166: SLOAD 00001167: PUSH1 0x00 00001169: JUMPDEST 0000116a: DUP2 0000116b: DUP2 0000116c: LT 0000116d: ISZERO 0000116e: PUSH2 0x11e4 00001171: JUMPI 00001172: PUSH2 0x0104 00001175: DUP1 00001176: SLOAD 00001177: DUP3 00001178: SWAP1 00001179: DUP2 0000117a: LT 0000117b: PUSH2 0x1180 0000117e: JUMPI 0000117f: INVALID 00001180: JUMPDEST 00001181: SWAP1 00001182: PUSH1 0x00 00001184: MSTORE 00001185: PUSH1 0x20 00001187: PUSH1 0x00 00001189: KECCAK256 0000118a: SWAP1 0000118b: ADD 0000118c: PUSH1 0x00 0000118e: JUMPDEST 0000118f: POP 00001190: SLOAD 00001191: ISZERO 00001192: PUSH2 0x11db 00001195: JUMPI 00001196: PUSH2 0x0103 00001199: PUSH1 0x00 0000119b: PUSH2 0x0104 0000119e: DUP4 0000119f: DUP2 000011a0: SLOAD 000011a1: DUP2 000011a2: LT 000011a3: ISZERO 000011a4: ISZERO 000011a5: PUSH2 0x11aa 000011a8: JUMPI 000011a9: INVALID 000011aa: JUMPDEST 000011ab: SWAP1 000011ac: PUSH1 0x00 000011ae: MSTORE 000011af: PUSH1 0x20 000011b1: PUSH1 0x00 000011b3: KECCAK256 000011b4: SWAP1 000011b5: ADD 000011b6: PUSH1 0x00 000011b8: JUMPDEST 000011b9: POP 000011ba: SLOAD 000011bb: DUP2 000011bc: MSTORE 000011bd: PUSH1 0x20 000011bf: DUP2 000011c0: ADD 000011c1: SWAP2 000011c2: SWAP1 000011c3: SWAP2 000011c4: MSTORE 000011c5: PUSH1 0x40 000011c7: ADD 000011c8: PUSH1 0x00 000011ca: SWAP1 000011cb: DUP2 000011cc: KECCAK256 000011cd: DUP2 000011ce: DUP2 000011cf: SSTORE 000011d0: PUSH1 0x01 000011d2: DUP2 000011d3: ADD 000011d4: DUP3 000011d5: SWAP1 000011d6: SSTORE 000011d7: PUSH1 0x02 000011d9: ADD 000011da: SSTORE 000011db: JUMPDEST 000011dc: JUMPDEST 000011dd: PUSH1 0x01 000011df: ADD 000011e0: PUSH2 0x1169 000011e3: JUMP 000011e4: JUMPDEST 000011e5: PUSH2 0x0617 000011e8: PUSH2 0x0104 000011eb: PUSH1 0x00 000011ed: PUSH2 0x12f6 000011f0: JUMP 000011f1: JUMPDEST 000011f2: JUMPDEST 000011f3: POP 000011f4: POP 000011f5: JUMP 000011f6: JUMPDEST 000011f7: PUSH1 0x00 000011f9: PUSH3 0x015180 000011fd: TIMESTAMP 000011fe: JUMPDEST 000011ff: DIV 00001200: SWAP1 00001201: POP 00001202: JUMPDEST 00001203: SWAP1 00001204: JUMP 00001205: JUMPDEST 00001206: POP 00001207: DUP1 00001208: SLOAD 00001209: PUSH1 0x01 0000120b: DUP2 0000120c: PUSH1 0x01 0000120e: AND 0000120f: ISZERO 00001210: PUSH2 0x0100 00001213: MUL 00001214: SUB 00001215: AND 00001216: PUSH1 0x02 00001218: SWAP1 00001219: DIV 0000121a: PUSH1 0x00 0000121c: DUP3 0000121d: SSTORE 0000121e: DUP1 0000121f: PUSH1 0x1f 00001221: LT 00001222: PUSH2 0x122b 00001225: JUMPI 00001226: POP 00001227: PUSH2 0x051b 0000122a: JUMP 0000122b: JUMPDEST 0000122c: PUSH1 0x1f 0000122e: ADD 0000122f: PUSH1 0x20 00001231: SWAP1 00001232: DIV 00001233: SWAP1 00001234: PUSH1 0x00 00001236: MSTORE 00001237: PUSH1 0x20 00001239: PUSH1 0x00 0000123b: KECCAK256 0000123c: SWAP1 0000123d: DUP2 0000123e: ADD 0000123f: SWAP1 00001240: PUSH2 0x051b 00001243: SWAP2 00001244: SWAP1 00001245: PUSH2 0x1318 00001248: JUMP 00001249: JUMPDEST 0000124a: JUMPDEST 0000124b: POP 0000124c: JUMP 0000124d: JUMPDEST 0000124e: DUP3 0000124f: DUP1 00001250: SLOAD 00001251: PUSH1 0x01 00001253: DUP2 00001254: PUSH1 0x01 00001256: AND 00001257: ISZERO 00001258: PUSH2 0x0100 0000125b: MUL 0000125c: SUB 0000125d: AND 0000125e: PUSH1 0x02 00001260: SWAP1 00001261: DIV 00001262: SWAP1 00001263: PUSH1 0x00 00001265: MSTORE 00001266: PUSH1 0x20 00001268: PUSH1 0x00 0000126a: KECCAK256 0000126b: SWAP1 0000126c: PUSH1 0x1f 0000126e: ADD 0000126f: PUSH1 0x20 00001271: SWAP1 00001272: DIV 00001273: DUP2 00001274: ADD 00001275: SWAP3 00001276: DUP3 00001277: PUSH1 0x1f 00001279: LT 0000127a: PUSH2 0x128e 0000127d: JUMPI 0000127e: DUP3 0000127f: DUP1 00001280: ADD 00001281: PUSH1 0xff 00001283: NOT 00001284: DUP3 00001285: CALLDATALOAD 00001286: AND 00001287: OR 00001288: DUP6 00001289: SSTORE 0000128a: PUSH2 0x12bb 0000128d: JUMP 0000128e: JUMPDEST 0000128f: DUP3 00001290: DUP1 00001291: ADD 00001292: PUSH1 0x01 00001294: ADD 00001295: DUP6 00001296: SSTORE 00001297: DUP3 00001298: ISZERO 00001299: PUSH2 0x12bb 0000129c: JUMPI 0000129d: SWAP2 0000129e: DUP3 0000129f: ADD 000012a0: JUMPDEST 000012a1: DUP3 000012a2: DUP2 000012a3: GT 000012a4: ISZERO 000012a5: PUSH2 0x12bb 000012a8: JUMPI 000012a9: DUP3 000012aa: CALLDATALOAD 000012ab: DUP3 000012ac: SSTORE 000012ad: SWAP2 000012ae: PUSH1 0x20 000012b0: ADD 000012b1: SWAP2 000012b2: SWAP1 000012b3: PUSH1 0x01 000012b5: ADD 000012b6: SWAP1 000012b7: PUSH2 0x12a0 000012ba: JUMP 000012bb: JUMPDEST 000012bc: JUMPDEST 000012bd: POP 000012be: PUSH2 0x12c8 000012c1: SWAP3 000012c2: SWAP2 000012c3: POP 000012c4: PUSH2 0x1318 000012c7: JUMP 000012c8: JUMPDEST 000012c9: POP 000012ca: SWAP1 000012cb: JUMP 000012cc: JUMPDEST 000012cd: DUP2 000012ce: SLOAD 000012cf: DUP2 000012d0: DUP4 000012d1: SSTORE 000012d2: DUP2 000012d3: DUP2 000012d4: ISZERO 000012d5: GT 000012d6: PUSH2 0x04ad 000012d9: JUMPI 000012da: PUSH1 0x00 000012dc: DUP4 000012dd: DUP2 000012de: MSTORE 000012df: PUSH1 0x20 000012e1: SWAP1 000012e2: KECCAK256 000012e3: PUSH2 0x04ad 000012e6: SWAP2 000012e7: DUP2 000012e8: ADD 000012e9: SWAP1 000012ea: DUP4 000012eb: ADD 000012ec: PUSH2 0x1318 000012ef: JUMP 000012f0: JUMPDEST 000012f1: JUMPDEST 000012f2: POP 000012f3: POP 000012f4: POP 000012f5: JUMP 000012f6: JUMPDEST 000012f7: POP 000012f8: DUP1 000012f9: SLOAD 000012fa: PUSH1 0x00 000012fc: DUP3 000012fd: SSTORE 000012fe: SWAP1 000012ff: PUSH1 0x00 00001301: MSTORE 00001302: PUSH1 0x20 00001304: PUSH1 0x00 00001306: KECCAK256 00001307: SWAP1 00001308: DUP2 00001309: ADD 0000130a: SWAP1 0000130b: PUSH2 0x051b 0000130e: SWAP2 0000130f: SWAP1 00001310: PUSH2 0x1318 00001313: JUMP 00001314: JUMPDEST 00001315: JUMPDEST 00001316: POP 00001317: JUMP 00001318: JUMPDEST 00001319: PUSH2 0x1202 0000131c: SWAP2 0000131d: SWAP1 0000131e: JUMPDEST 0000131f: DUP1 00001320: DUP3 00001321: GT 00001322: ISZERO 00001323: PUSH2 0x12c8 00001326: JUMPI 00001327: PUSH1 0x00 00001329: DUP2 0000132a: SSTORE 0000132b: PUSH1 0x01 0000132d: ADD 0000132e: PUSH2 0x131e 00001331: JUMP 00001332: JUMPDEST 00001333: POP 00001334: SWAP1 00001335: JUMP 00001336: JUMPDEST 00001337: SWAP1 00001338: JUMP 00001339: JUMPDEST 0000133a: PUSH2 0x1202 0000133d: SWAP2 0000133e: SWAP1 0000133f: JUMPDEST 00001340: DUP1 00001341: DUP3 00001342: GT 00001343: ISZERO 00001344: PUSH2 0x12c8 00001347: JUMPI 00001348: PUSH1 0x00 0000134a: DUP2 0000134b: SSTORE 0000134c: PUSH1 0x01 0000134e: ADD 0000134f: PUSH2 0x131e 00001352: JUMP 00001353: JUMPDEST 00001354: POP 00001355: SWAP1 00001356: JUMP 00001357: JUMPDEST 00001358: SWAP1 00001359: JUMP 0000135a: STOP 0000135b: LOG1 0000135c: PUSH6 0x627a7a723058 00001363: KECCAK256 00001364: UNKNOWN(0x29) 00001365: CALLDATALOAD 00001366: MCOPY 00001367: PUSH9 0xe5b1fe971fc21504fb 00001371: UNKNOWN(0xB2) 00001372: SWAP2 00001373: AND 00001374: UNKNOWN(0xC8) 00001375: UNKNOWN(0xCA) 00001376: SWAP8 00001377: UNKNOWN(0xE8) 00001378: UNKNOWN(0x29) 00001379: UNKNOWN(0x21) 0000137a: SWAP6 0000137b: SWAP3 0000137c: UNKNOWN(0xF6) 0000137d: UNKNOWN(0xD0) 0000137e: UNKNOWN(0x2A) 0000137f: UNKNOWN(0xE7) 00001380: JUMP 00001381: LOG2 00001382: DUP7 00001383: CREATE2 00001384: STOP 00001385: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x001e7de0c37acd751967b491dacba264f3b1c6de615bd37c0ddbda3d3ceeaeb8
call_targets:
0x0a59a911ff5fa21e3cdccbf1b039d90afe2d07cb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x001e7de0c37acd751967b491dacba264f3b1c6de615bd37c0ddbda3d3ceeaeb8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0a59a911ff5fa21e3cdccbf1b039d90afe2d07cb"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1792,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2424,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x001e7de0c37acd751967b491dacba264f3b1c6de615bd37c0ddbda3d3ceeaeb8
call_targets:
0x0a59a911ff5fa21e3cdccbf1b039d90afe2d07cb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x001e7de0c37acd751967b491dacba264f3b1c6de615bd37c0ddbda3d3ceeaeb8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0a59a911ff5fa21e3cdccbf1b039d90afe2d07cb"
],
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1792,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2424,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x4c64c4ac57b2af0acfcc587fc24df9a3b8c6d3ed905c5d244ee43a74e394bcaa
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x4c64c4ac57b2af0acfcc587fc24df9a3b8c6d3ed905c5d244ee43a74e394bcaa",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x4c64c4ac57b2af0acfcc587fc24df9a3b8c6d3ed905c5d244ee43a74e394bcaa
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x4c64c4ac57b2af0acfcc587fc24df9a3b8c6d3ed905c5d244ee43a74e394bcaa",
"confirmed": false,
"trace_mode": "structLogs",
"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": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4123cb6b",
"selector": "0x4123cb6b",
"calldata_variants": [
"0x4123cb6b",
"0x4123cb6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x52375093",
"selector": "0x52375093",
"calldata_variants": [
"0x52375093",
"0x523750930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c52c2f5",
"selector": "0x5c52c2f5",
"calldata_variants": [
"0x5c52c2f5",
"0x5c52c2f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x659010e7",
"selector": "0x659010e7",
"calldata_variants": [
"0x659010e7",
"0x659010e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7065cb48",
"selector": "0x7065cb48",
"calldata_variants": [
"0x7065cb48",
"0x7065cb480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x746c9171",
"selector": "0x746c9171",
"calldata_variants": [
"0x746c9171",
"0x746c91710000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|