019b477e-af09-715d-91ab-ed64cee9986f
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 |
|---|---|---|---|---|
| 21703 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21704 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 64854 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64855 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64856 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64857 | 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 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x03988f84 0000003c: EQ 0000003d: PUSH2 0x00b4 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x0af4cd61 00000047: EQ 00000048: PUSH2 0x0280 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x1147b142 00000052: EQ 00000053: PUSH2 0x02ad 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x2d9de472 0000005d: EQ 0000005e: PUSH2 0x02b7 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x44c9af28 00000068: EQ 00000069: PUSH2 0x02e4 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x4580cc5e 00000073: EQ 00000074: PUSH2 0x0325 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x47ec8e21 0000007e: EQ 0000007f: PUSH2 0x035c 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x594de857 00000089: EQ 0000008a: PUSH2 0x03b3 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x5bc22d1b 00000094: EQ 00000095: PUSH2 0x03de 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xc0eaded2 0000009f: EQ 000000a0: PUSH2 0x041f 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf4bd0eb2 000000aa: EQ 000000ab: PUSH2 0x0547 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: CALLVALUE 000000b6: DUP1 000000b7: ISZERO 000000b8: PUSH2 0x00c0 000000bb: JUMPI 000000bc: PUSH1 0x00 000000be: DUP1 000000bf: REVERT 000000c0: JUMPDEST 000000c1: POP 000000c2: PUSH2 0x00df 000000c5: PUSH1 0x04 000000c7: DUP1 000000c8: CALLDATASIZE 000000c9: SUB 000000ca: DUP2 000000cb: ADD 000000cc: SWAP1 000000cd: DUP1 000000ce: DUP1 000000cf: CALLDATALOAD 000000d0: SWAP1 000000d1: PUSH1 0x20 000000d3: ADD 000000d4: SWAP1 000000d5: SWAP3 000000d6: SWAP2 000000d7: SWAP1 000000d8: POP 000000d9: POP 000000da: POP 000000db: PUSH2 0x05a6 000000de: JUMP 000000df: JUMPDEST 000000e0: PUSH1 0x40 000000e2: MLOAD 000000e3: DUP1 000000e4: DUP14 000000e5: PUSH1 0x03 000000e7: DUP2 000000e8: GT 000000e9: ISZERO 000000ea: PUSH2 0x00ef 000000ed: JUMPI 000000ee: INVALID 000000ef: JUMPDEST 000000f0: PUSH1 0xff 000000f2: AND 000000f3: DUP2 000000f4: MSTORE 000000f5: PUSH1 0x20 000000f7: ADD 000000f8: DUP13 000000f9: DUP2 000000fa: MSTORE 000000fb: PUSH1 0x20 000000fd: ADD 000000fe: DUP12 000000ff: DUP2 00000100: MSTORE 00000101: PUSH1 0x20 00000103: ADD 00000104: DUP11 00000105: DUP2 00000106: MSTORE 00000107: PUSH1 0x20 00000109: ADD 0000010a: DUP10 0000010b: DUP2 0000010c: MSTORE 0000010d: PUSH1 0x20 0000010f: ADD 00000110: DUP9 00000111: DUP2 00000112: MSTORE 00000113: PUSH1 0x20 00000115: ADD 00000116: DUP8 00000117: DUP2 00000118: MSTORE 00000119: PUSH1 0x20 0000011b: ADD 0000011c: DUP7 0000011d: PUSH1 0x02 0000011f: DUP2 00000120: GT 00000121: ISZERO 00000122: PUSH2 0x0127 00000125: JUMPI 00000126: INVALID 00000127: JUMPDEST 00000128: PUSH1 0xff 0000012a: AND 0000012b: DUP2 0000012c: MSTORE 0000012d: PUSH1 0x20 0000012f: ADD 00000130: DUP1 00000131: PUSH1 0x20 00000133: ADD 00000134: DUP6 00000135: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014a: AND 0000014b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000160: AND 00000161: DUP2 00000162: MSTORE 00000163: PUSH1 0x20 00000165: ADD 00000166: DUP1 00000167: PUSH1 0x20 00000169: ADD 0000016a: DUP5 0000016b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000180: AND 00000181: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000196: AND 00000197: DUP2 00000198: MSTORE 00000199: PUSH1 0x20 0000019b: ADD 0000019c: DUP4 0000019d: DUP2 0000019e: SUB 0000019f: DUP4 000001a0: MSTORE 000001a1: DUP8 000001a2: DUP2 000001a3: DUP2 000001a4: MLOAD 000001a5: DUP2 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP2 000001ab: POP 000001ac: DUP1 000001ad: MLOAD 000001ae: SWAP1 000001af: PUSH1 0x20 000001b1: ADD 000001b2: SWAP1 000001b3: DUP1 000001b4: DUP4 000001b5: DUP4 000001b6: PUSH1 0x00 000001b8: JUMPDEST 000001b9: DUP4 000001ba: DUP2 000001bb: LT 000001bc: ISZERO 000001bd: PUSH2 0x01d3 000001c0: JUMPI 000001c1: DUP1 000001c2: DUP3 000001c3: ADD 000001c4: MLOAD 000001c5: DUP2 000001c6: DUP5 000001c7: ADD 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: DUP2 000001cc: ADD 000001cd: SWAP1 000001ce: POP 000001cf: PUSH2 0x01b8 000001d2: JUMP 000001d3: JUMPDEST 000001d4: POP 000001d5: POP 000001d6: POP 000001d7: POP 000001d8: SWAP1 000001d9: POP 000001da: SWAP1 000001db: DUP2 000001dc: ADD 000001dd: SWAP1 000001de: PUSH1 0x1f 000001e0: AND 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x0200 000001e6: JUMPI 000001e7: DUP1 000001e8: DUP3 000001e9: SUB 000001ea: DUP1 000001eb: MLOAD 000001ec: PUSH1 0x01 000001ee: DUP4 000001ef: PUSH1 0x20 000001f1: SUB 000001f2: PUSH2 0x0100 000001f5: EXP 000001f6: SUB 000001f7: NOT 000001f8: AND 000001f9: DUP2 000001fa: MSTORE 000001fb: PUSH1 0x20 000001fd: ADD 000001fe: SWAP2 000001ff: POP 00000200: JUMPDEST 00000201: POP 00000202: DUP4 00000203: DUP2 00000204: SUB 00000205: DUP3 00000206: MSTORE 00000207: DUP6 00000208: DUP2 00000209: DUP2 0000020a: MLOAD 0000020b: DUP2 0000020c: MSTORE 0000020d: PUSH1 0x20 0000020f: ADD 00000210: SWAP2 00000211: POP 00000212: DUP1 00000213: MLOAD 00000214: SWAP1 00000215: PUSH1 0x20 00000217: ADD 00000218: SWAP1 00000219: DUP1 0000021a: DUP4 0000021b: DUP4 0000021c: PUSH1 0x00 0000021e: JUMPDEST 0000021f: DUP4 00000220: DUP2 00000221: LT 00000222: ISZERO 00000223: PUSH2 0x0239 00000226: JUMPI 00000227: DUP1 00000228: DUP3 00000229: ADD 0000022a: MLOAD 0000022b: DUP2 0000022c: DUP5 0000022d: ADD 0000022e: MSTORE 0000022f: PUSH1 0x20 00000231: DUP2 00000232: ADD 00000233: SWAP1 00000234: POP 00000235: PUSH2 0x021e 00000238: JUMP 00000239: JUMPDEST 0000023a: POP 0000023b: POP 0000023c: POP 0000023d: POP 0000023e: SWAP1 0000023f: POP 00000240: SWAP1 00000241: DUP2 00000242: ADD 00000243: SWAP1 00000244: PUSH1 0x1f 00000246: AND 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0266 0000024c: JUMPI 0000024d: DUP1 0000024e: DUP3 0000024f: SUB 00000250: DUP1 00000251: MLOAD 00000252: PUSH1 0x01 00000254: DUP4 00000255: PUSH1 0x20 00000257: SUB 00000258: PUSH2 0x0100 0000025b: EXP 0000025c: SUB 0000025d: NOT 0000025e: AND 0000025f: DUP2 00000260: MSTORE 00000261: PUSH1 0x20 00000263: ADD 00000264: SWAP2 00000265: POP 00000266: JUMPDEST 00000267: POP 00000268: SWAP15 00000269: POP 0000026a: POP 0000026b: POP 0000026c: POP 0000026d: POP 0000026e: POP 0000026f: POP 00000270: POP 00000271: POP 00000272: POP 00000273: POP 00000274: POP 00000275: POP 00000276: POP 00000277: POP 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: RETURN 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x02ab 00000291: PUSH1 0x04 00000293: DUP1 00000294: CALLDATASIZE 00000295: SUB 00000296: DUP2 00000297: ADD 00000298: SWAP1 00000299: DUP1 0000029a: DUP1 0000029b: CALLDATALOAD 0000029c: SWAP1 0000029d: PUSH1 0x20 0000029f: ADD 000002a0: SWAP1 000002a1: SWAP3 000002a2: SWAP2 000002a3: SWAP1 000002a4: POP 000002a5: POP 000002a6: POP 000002a7: PUSH2 0x079f 000002aa: JUMP 000002ab: JUMPDEST 000002ac: STOP 000002ad: JUMPDEST 000002ae: PUSH2 0x02b5 000002b1: PUSH2 0x09dc 000002b4: JUMP 000002b5: JUMPDEST 000002b6: STOP 000002b7: JUMPDEST 000002b8: CALLVALUE 000002b9: DUP1 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: PUSH2 0x02e2 000002c8: PUSH1 0x04 000002ca: DUP1 000002cb: CALLDATASIZE 000002cc: SUB 000002cd: DUP2 000002ce: ADD 000002cf: SWAP1 000002d0: DUP1 000002d1: DUP1 000002d2: CALLDATALOAD 000002d3: SWAP1 000002d4: PUSH1 0x20 000002d6: ADD 000002d7: SWAP1 000002d8: SWAP3 000002d9: SWAP2 000002da: SWAP1 000002db: POP 000002dc: POP 000002dd: POP 000002de: PUSH2 0x09e1 000002e1: JUMP 000002e2: JUMPDEST 000002e3: STOP 000002e4: JUMPDEST 000002e5: CALLVALUE 000002e6: DUP1 000002e7: ISZERO 000002e8: PUSH2 0x02f0 000002eb: JUMPI 000002ec: PUSH1 0x00 000002ee: DUP1 000002ef: REVERT 000002f0: JUMPDEST 000002f1: POP 000002f2: PUSH2 0x030f 000002f5: PUSH1 0x04 000002f7: DUP1 000002f8: CALLDATASIZE 000002f9: SUB 000002fa: DUP2 000002fb: ADD 000002fc: SWAP1 000002fd: DUP1 000002fe: DUP1 000002ff: CALLDATALOAD 00000300: SWAP1 00000301: PUSH1 0x20 00000303: ADD 00000304: SWAP1 00000305: SWAP3 00000306: SWAP2 00000307: SWAP1 00000308: POP 00000309: POP 0000030a: POP 0000030b: PUSH2 0x0ad6 0000030e: JUMP 0000030f: JUMPDEST 00000310: PUSH1 0x40 00000312: MLOAD 00000313: DUP1 00000314: DUP3 00000315: DUP2 00000316: MSTORE 00000317: PUSH1 0x20 00000319: ADD 0000031a: SWAP2 0000031b: POP 0000031c: POP 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: DUP1 00000321: SWAP2 00000322: SUB 00000323: SWAP1 00000324: RETURN 00000325: JUMPDEST 00000326: CALLVALUE 00000327: DUP1 00000328: ISZERO 00000329: PUSH2 0x0331 0000032c: JUMPI 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: REVERT 00000331: JUMPDEST 00000332: POP 00000333: PUSH2 0x035a 00000336: PUSH1 0x04 00000338: DUP1 00000339: CALLDATASIZE 0000033a: SUB 0000033b: DUP2 0000033c: ADD 0000033d: SWAP1 0000033e: DUP1 0000033f: DUP1 00000340: CALLDATALOAD 00000341: SWAP1 00000342: PUSH1 0x20 00000344: ADD 00000345: SWAP1 00000346: SWAP3 00000347: SWAP2 00000348: SWAP1 00000349: DUP1 0000034a: CALLDATALOAD 0000034b: SWAP1 0000034c: PUSH1 0x20 0000034e: ADD 0000034f: SWAP1 00000350: SWAP3 00000351: SWAP2 00000352: SWAP1 00000353: POP 00000354: POP 00000355: POP 00000356: PUSH2 0x0b18 00000359: JUMP 0000035a: JUMPDEST 0000035b: STOP 0000035c: JUMPDEST 0000035d: CALLVALUE 0000035e: DUP1 0000035f: ISZERO 00000360: PUSH2 0x0368 00000363: JUMPI 00000364: PUSH1 0x00 00000366: DUP1 00000367: REVERT 00000368: JUMPDEST 00000369: POP 0000036a: PUSH2 0x0371 0000036d: PUSH2 0x0fb1 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH1 0x40 00000374: MLOAD 00000375: DUP1 00000376: DUP3 00000377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000038c: AND 0000038d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a2: AND 000003a3: DUP2 000003a4: MSTORE 000003a5: PUSH1 0x20 000003a7: ADD 000003a8: SWAP2 000003a9: POP 000003aa: POP 000003ab: PUSH1 0x40 000003ad: MLOAD 000003ae: DUP1 000003af: SWAP2 000003b0: SUB 000003b1: SWAP1 000003b2: RETURN 000003b3: JUMPDEST 000003b4: CALLVALUE 000003b5: DUP1 000003b6: ISZERO 000003b7: PUSH2 0x03bf 000003ba: JUMPI 000003bb: PUSH1 0x00 000003bd: DUP1 000003be: REVERT 000003bf: JUMPDEST 000003c0: POP 000003c1: PUSH2 0x03c8 000003c4: PUSH2 0x0fd6 000003c7: JUMP 000003c8: JUMPDEST 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: DUP1 000003cd: DUP3 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: SWAP2 000003d4: POP 000003d5: POP 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: DUP1 000003da: SWAP2 000003db: SUB 000003dc: SWAP1 000003dd: RETURN 000003de: JUMPDEST 000003df: CALLVALUE 000003e0: DUP1 000003e1: ISZERO 000003e2: PUSH2 0x03ea 000003e5: JUMPI 000003e6: PUSH1 0x00 000003e8: DUP1 000003e9: REVERT 000003ea: JUMPDEST 000003eb: POP 000003ec: PUSH2 0x0409 000003ef: PUSH1 0x04 000003f1: DUP1 000003f2: CALLDATASIZE 000003f3: SUB 000003f4: DUP2 000003f5: ADD 000003f6: SWAP1 000003f7: DUP1 000003f8: DUP1 000003f9: CALLDATALOAD 000003fa: SWAP1 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: SWAP1 000003ff: SWAP3 00000400: SWAP2 00000401: SWAP1 00000402: POP 00000403: POP 00000404: POP 00000405: PUSH2 0x0fe3 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x40 0000040c: MLOAD 0000040d: DUP1 0000040e: DUP3 0000040f: DUP2 00000410: MSTORE 00000411: PUSH1 0x20 00000413: ADD 00000414: SWAP2 00000415: POP 00000416: POP 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: DUP1 0000041b: SWAP2 0000041c: SUB 0000041d: SWAP1 0000041e: RETURN 0000041f: JUMPDEST 00000420: PUSH2 0x0545 00000423: PUSH1 0x04 00000425: DUP1 00000426: CALLDATASIZE 00000427: SUB 00000428: DUP2 00000429: ADD 0000042a: SWAP1 0000042b: DUP1 0000042c: DUP1 0000042d: CALLDATALOAD 0000042e: SWAP1 0000042f: PUSH1 0x20 00000431: ADD 00000432: SWAP1 00000433: SWAP3 00000434: SWAP2 00000435: SWAP1 00000436: DUP1 00000437: CALLDATALOAD 00000438: SWAP1 00000439: PUSH1 0x20 0000043b: ADD 0000043c: SWAP1 0000043d: SWAP3 0000043e: SWAP2 0000043f: SWAP1 00000440: DUP1 00000441: CALLDATALOAD 00000442: SWAP1 00000443: PUSH1 0x20 00000445: ADD 00000446: SWAP1 00000447: SWAP3 00000448: SWAP2 00000449: SWAP1 0000044a: DUP1 0000044b: CALLDATALOAD 0000044c: SWAP1 0000044d: PUSH1 0x20 0000044f: ADD 00000450: SWAP1 00000451: SWAP3 00000452: SWAP2 00000453: SWAP1 00000454: DUP1 00000455: CALLDATALOAD 00000456: SWAP1 00000457: PUSH1 0x20 00000459: ADD 0000045a: SWAP1 0000045b: SWAP3 0000045c: SWAP2 0000045d: SWAP1 0000045e: DUP1 0000045f: CALLDATALOAD 00000460: SWAP1 00000461: PUSH1 0x20 00000463: ADD 00000464: SWAP1 00000465: DUP3 00000466: ADD 00000467: DUP1 00000468: CALLDATALOAD 00000469: SWAP1 0000046a: PUSH1 0x20 0000046c: ADD 0000046d: SWAP1 0000046e: DUP1 0000046f: DUP1 00000470: PUSH1 0x1f 00000472: ADD 00000473: PUSH1 0x20 00000475: DUP1 00000476: SWAP2 00000477: DIV 00000478: MUL 00000479: PUSH1 0x20 0000047b: ADD 0000047c: PUSH1 0x40 0000047e: MLOAD 0000047f: SWAP1 00000480: DUP2 00000481: ADD 00000482: PUSH1 0x40 00000484: MSTORE 00000485: DUP1 00000486: SWAP4 00000487: SWAP3 00000488: SWAP2 00000489: SWAP1 0000048a: DUP2 0000048b: DUP2 0000048c: MSTORE 0000048d: PUSH1 0x20 0000048f: ADD 00000490: DUP4 00000491: DUP4 00000492: DUP1 00000493: DUP3 00000494: DUP5 00000495: CALLDATACOPY 00000496: DUP3 00000497: ADD 00000498: SWAP2 00000499: POP 0000049a: POP 0000049b: POP 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: SWAP2 000004a0: SWAP3 000004a1: SWAP2 000004a2: SWAP3 000004a3: SWAP1 000004a4: DUP1 000004a5: CALLDATALOAD 000004a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bb: AND 000004bc: SWAP1 000004bd: PUSH1 0x20 000004bf: ADD 000004c0: SWAP1 000004c1: SWAP3 000004c2: SWAP2 000004c3: SWAP1 000004c4: DUP1 000004c5: CALLDATALOAD 000004c6: SWAP1 000004c7: PUSH1 0x20 000004c9: ADD 000004ca: SWAP1 000004cb: DUP3 000004cc: ADD 000004cd: DUP1 000004ce: CALLDATALOAD 000004cf: SWAP1 000004d0: PUSH1 0x20 000004d2: ADD 000004d3: SWAP1 000004d4: DUP1 000004d5: DUP1 000004d6: PUSH1 0x1f 000004d8: ADD 000004d9: PUSH1 0x20 000004db: DUP1 000004dc: SWAP2 000004dd: DIV 000004de: MUL 000004df: PUSH1 0x20 000004e1: ADD 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: SWAP1 000004e6: DUP2 000004e7: ADD 000004e8: PUSH1 0x40 000004ea: MSTORE 000004eb: DUP1 000004ec: SWAP4 000004ed: SWAP3 000004ee: SWAP2 000004ef: SWAP1 000004f0: DUP2 000004f1: DUP2 000004f2: MSTORE 000004f3: PUSH1 0x20 000004f5: ADD 000004f6: DUP4 000004f7: DUP4 000004f8: DUP1 000004f9: DUP3 000004fa: DUP5 000004fb: CALLDATACOPY 000004fc: DUP3 000004fd: ADD 000004fe: SWAP2 000004ff: POP 00000500: POP 00000501: POP 00000502: POP 00000503: POP 00000504: POP 00000505: SWAP2 00000506: SWAP3 00000507: SWAP2 00000508: SWAP3 00000509: SWAP1 0000050a: DUP1 0000050b: CALLDATALOAD 0000050c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000521: AND 00000522: SWAP1 00000523: PUSH1 0x20 00000525: ADD 00000526: SWAP1 00000527: SWAP3 00000528: SWAP2 00000529: SWAP1 0000052a: DUP1 0000052b: CALLDATALOAD 0000052c: SWAP1 0000052d: PUSH1 0x20 0000052f: ADD 00000530: SWAP1 00000531: SWAP3 00000532: SWAP2 00000533: SWAP1 00000534: DUP1 00000535: CALLDATALOAD 00000536: SWAP1 00000537: PUSH1 0x20 00000539: ADD 0000053a: SWAP1 0000053b: SWAP3 0000053c: SWAP2 0000053d: SWAP1 0000053e: POP 0000053f: POP 00000540: POP 00000541: PUSH2 0x100d 00000544: JUMP 00000545: JUMPDEST 00000546: STOP 00000547: JUMPDEST 00000548: CALLVALUE 00000549: DUP1 0000054a: ISZERO 0000054b: PUSH2 0x0553 0000054e: JUMPI 0000054f: PUSH1 0x00 00000551: DUP1 00000552: REVERT 00000553: JUMPDEST 00000554: POP 00000555: PUSH2 0x0590 00000558: PUSH1 0x04 0000055a: DUP1 0000055b: CALLDATASIZE 0000055c: SUB 0000055d: DUP2 0000055e: ADD 0000055f: SWAP1 00000560: DUP1 00000561: DUP1 00000562: CALLDATALOAD 00000563: SWAP1 00000564: PUSH1 0x20 00000566: ADD 00000567: SWAP1 00000568: SWAP3 00000569: SWAP2 0000056a: SWAP1 0000056b: DUP1 0000056c: CALLDATALOAD 0000056d: SWAP1 0000056e: PUSH1 0x20 00000570: ADD 00000571: SWAP1 00000572: SWAP3 00000573: SWAP2 00000574: SWAP1 00000575: DUP1 00000576: CALLDATALOAD 00000577: SWAP1 00000578: PUSH1 0x20 0000057a: ADD 0000057b: SWAP1 0000057c: SWAP3 0000057d: SWAP2 0000057e: SWAP1 0000057f: DUP1 00000580: CALLDATALOAD 00000581: SWAP1 00000582: PUSH1 0x20 00000584: ADD 00000585: SWAP1 00000586: SWAP3 00000587: SWAP2 00000588: SWAP1 00000589: POP 0000058a: POP 0000058b: POP 0000058c: PUSH2 0x1300 0000058f: JUMP 00000590: JUMPDEST 00000591: PUSH1 0x40 00000593: MLOAD 00000594: DUP1 00000595: DUP3 00000596: DUP2 00000597: MSTORE 00000598: PUSH1 0x20 0000059a: ADD 0000059b: SWAP2 0000059c: POP 0000059d: POP 0000059e: PUSH1 0x40 000005a0: MLOAD 000005a1: DUP1 000005a2: SWAP2 000005a3: SUB 000005a4: SWAP1 000005a5: RETURN 000005a6: JUMPDEST 000005a7: PUSH1 0x01 000005a9: DUP2 000005aa: DUP2 000005ab: SLOAD 000005ac: DUP2 000005ad: LT 000005ae: ISZERO 000005af: ISZERO 000005b0: PUSH2 0x05b5 000005b3: JUMPI 000005b4: INVALID 000005b5: JUMPDEST 000005b6: SWAP1 000005b7: PUSH1 0x00 000005b9: MSTORE 000005ba: PUSH1 0x20 000005bc: PUSH1 0x00 000005be: KECCAK256 000005bf: SWAP1 000005c0: PUSH1 0x0c 000005c2: MUL 000005c3: ADD 000005c4: PUSH1 0x00 000005c6: SWAP2 000005c7: POP 000005c8: SWAP1 000005c9: POP 000005ca: DUP1 000005cb: PUSH1 0x00 000005cd: ADD 000005ce: PUSH1 0x00 000005d0: SWAP1 000005d1: SLOAD 000005d2: SWAP1 000005d3: PUSH2 0x0100 000005d6: EXP 000005d7: SWAP1 000005d8: DIV 000005d9: PUSH1 0xff 000005db: AND 000005dc: SWAP1 000005dd: DUP1 000005de: PUSH1 0x01 000005e0: ADD 000005e1: SLOAD 000005e2: SWAP1 000005e3: DUP1 000005e4: PUSH1 0x02 000005e6: ADD 000005e7: SLOAD 000005e8: SWAP1 000005e9: DUP1 000005ea: PUSH1 0x03 000005ec: ADD 000005ed: SLOAD 000005ee: SWAP1 000005ef: DUP1 000005f0: PUSH1 0x04 000005f2: ADD 000005f3: SLOAD 000005f4: SWAP1 000005f5: DUP1 000005f6: PUSH1 0x05 000005f8: ADD 000005f9: SLOAD 000005fa: SWAP1 000005fb: DUP1 000005fc: PUSH1 0x06 000005fe: ADD 000005ff: SLOAD 00000600: SWAP1 00000601: DUP1 00000602: PUSH1 0x07 00000604: ADD 00000605: PUSH1 0x00 00000607: SWAP1 00000608: SLOAD 00000609: SWAP1 0000060a: PUSH2 0x0100 0000060d: EXP 0000060e: SWAP1 0000060f: DIV 00000610: PUSH1 0xff 00000612: AND 00000613: SWAP1 00000614: DUP1 00000615: PUSH1 0x08 00000617: ADD 00000618: DUP1 00000619: SLOAD 0000061a: PUSH1 0x01 0000061c: DUP2 0000061d: PUSH1 0x01 0000061f: AND 00000620: ISZERO 00000621: PUSH2 0x0100 00000624: MUL 00000625: SUB 00000626: AND 00000627: PUSH1 0x02 00000629: SWAP1 0000062a: DIV 0000062b: DUP1 0000062c: PUSH1 0x1f 0000062e: ADD 0000062f: PUSH1 0x20 00000631: DUP1 00000632: SWAP2 00000633: DIV 00000634: MUL 00000635: PUSH1 0x20 00000637: ADD 00000638: PUSH1 0x40 0000063a: MLOAD 0000063b: SWAP1 0000063c: DUP2 0000063d: ADD 0000063e: PUSH1 0x40 00000640: MSTORE 00000641: DUP1 00000642: SWAP3 00000643: SWAP2 00000644: SWAP1 00000645: DUP2 00000646: DUP2 00000647: MSTORE 00000648: PUSH1 0x20 0000064a: ADD 0000064b: DUP3 0000064c: DUP1 0000064d: SLOAD 0000064e: PUSH1 0x01 00000650: DUP2 00000651: PUSH1 0x01 00000653: AND 00000654: ISZERO 00000655: PUSH2 0x0100 00000658: MUL 00000659: SUB 0000065a: AND 0000065b: PUSH1 0x02 0000065d: SWAP1 0000065e: DIV 0000065f: DUP1 00000660: ISZERO 00000661: PUSH2 0x06ab 00000664: JUMPI 00000665: DUP1 00000666: PUSH1 0x1f 00000668: LT 00000669: PUSH2 0x0680 0000066c: JUMPI 0000066d: PUSH2 0x0100 00000670: DUP1 00000671: DUP4 00000672: SLOAD 00000673: DIV 00000674: MUL 00000675: DUP4 00000676: MSTORE 00000677: SWAP2 00000678: PUSH1 0x20 0000067a: ADD 0000067b: SWAP2 0000067c: PUSH2 0x06ab 0000067f: JUMP 00000680: JUMPDEST 00000681: DUP3 00000682: ADD 00000683: SWAP2 00000684: SWAP1 00000685: PUSH1 0x00 00000687: MSTORE 00000688: PUSH1 0x20 0000068a: PUSH1 0x00 0000068c: KECCAK256 0000068d: SWAP1 0000068e: JUMPDEST 0000068f: DUP2 00000690: SLOAD 00000691: DUP2 00000692: MSTORE 00000693: SWAP1 00000694: PUSH1 0x01 00000696: ADD 00000697: SWAP1 00000698: PUSH1 0x20 0000069a: ADD 0000069b: DUP1 0000069c: DUP4 0000069d: GT 0000069e: PUSH2 0x068e 000006a1: JUMPI 000006a2: DUP3 000006a3: SWAP1 000006a4: SUB 000006a5: PUSH1 0x1f 000006a7: AND 000006a8: DUP3 000006a9: ADD 000006aa: SWAP2 000006ab: JUMPDEST 000006ac: POP 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: SWAP1 000006b2: DUP1 000006b3: PUSH1 0x09 000006b5: ADD 000006b6: PUSH1 0x00 000006b8: SWAP1 000006b9: SLOAD 000006ba: SWAP1 000006bb: PUSH2 0x0100 000006be: EXP 000006bf: SWAP1 000006c0: DIV 000006c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d6: AND 000006d7: SWAP1 000006d8: DUP1 000006d9: PUSH1 0x0a 000006db: ADD 000006dc: DUP1 000006dd: SLOAD 000006de: PUSH1 0x01 000006e0: DUP2 000006e1: PUSH1 0x01 000006e3: AND 000006e4: ISZERO 000006e5: PUSH2 0x0100 000006e8: MUL 000006e9: SUB 000006ea: AND 000006eb: PUSH1 0x02 000006ed: SWAP1 000006ee: DIV 000006ef: DUP1 000006f0: PUSH1 0x1f 000006f2: ADD 000006f3: PUSH1 0x20 000006f5: DUP1 000006f6: SWAP2 000006f7: DIV 000006f8: MUL 000006f9: PUSH1 0x20 000006fb: ADD 000006fc: PUSH1 0x40 000006fe: MLOAD 000006ff: SWAP1 00000700: DUP2 00000701: ADD 00000702: PUSH1 0x40 00000704: MSTORE 00000705: DUP1 00000706: SWAP3 00000707: SWAP2 00000708: SWAP1 00000709: DUP2 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x20 0000070e: ADD 0000070f: DUP3 00000710: DUP1 00000711: SLOAD 00000712: PUSH1 0x01 00000714: DUP2 00000715: PUSH1 0x01 00000717: AND 00000718: ISZERO 00000719: PUSH2 0x0100 0000071c: MUL 0000071d: SUB 0000071e: AND 0000071f: PUSH1 0x02 00000721: SWAP1 00000722: DIV 00000723: DUP1 00000724: ISZERO 00000725: PUSH2 0x076f 00000728: JUMPI 00000729: DUP1 0000072a: PUSH1 0x1f 0000072c: LT 0000072d: PUSH2 0x0744 00000730: JUMPI 00000731: PUSH2 0x0100 00000734: DUP1 00000735: DUP4 00000736: SLOAD 00000737: DIV 00000738: MUL 00000739: DUP4 0000073a: MSTORE 0000073b: SWAP2 0000073c: PUSH1 0x20 0000073e: ADD 0000073f: SWAP2 00000740: PUSH2 0x076f 00000743: JUMP 00000744: JUMPDEST 00000745: DUP3 00000746: ADD 00000747: SWAP2 00000748: SWAP1 00000749: PUSH1 0x00 0000074b: MSTORE 0000074c: PUSH1 0x20 0000074e: PUSH1 0x00 00000750: KECCAK256 00000751: SWAP1 00000752: JUMPDEST 00000753: DUP2 00000754: SLOAD 00000755: DUP2 00000756: MSTORE 00000757: SWAP1 00000758: PUSH1 0x01 0000075a: ADD 0000075b: SWAP1 0000075c: PUSH1 0x20 0000075e: ADD 0000075f: DUP1 00000760: DUP4 00000761: GT 00000762: PUSH2 0x0752 00000765: JUMPI 00000766: DUP3 00000767: SWAP1 00000768: SUB 00000769: PUSH1 0x1f 0000076b: AND 0000076c: DUP3 0000076d: ADD 0000076e: SWAP2 0000076f: JUMPDEST 00000770: POP 00000771: POP 00000772: POP 00000773: POP 00000774: POP 00000775: SWAP1 00000776: DUP1 00000777: PUSH1 0x0b 00000779: ADD 0000077a: PUSH1 0x00 0000077c: SWAP1 0000077d: SLOAD 0000077e: SWAP1 0000077f: PUSH2 0x0100 00000782: EXP 00000783: SWAP1 00000784: DIV 00000785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079a: AND 0000079b: SWAP1 0000079c: POP 0000079d: DUP13 0000079e: JUMP 0000079f: JUMPDEST 000007a0: PUSH1 0x00 000007a2: DUP1 000007a3: SWAP1 000007a4: SLOAD 000007a5: SWAP1 000007a6: PUSH2 0x0100 000007a9: EXP 000007aa: SWAP1 000007ab: DIV 000007ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c1: AND 000007c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d7: AND 000007d8: CALLER 000007d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ee: AND 000007ef: EQ 000007f0: ISZERO 000007f1: ISZERO 000007f2: PUSH2 0x07fa 000007f5: JUMPI 000007f6: PUSH1 0x00 000007f8: DUP1 000007f9: REVERT 000007fa: JUMPDEST 000007fb: PUSH1 0x00 000007fd: PUSH1 0x03 000007ff: DUP2 00000800: GT 00000801: ISZERO 00000802: PUSH2 0x0807 00000805: JUMPI 00000806: INVALID 00000807: JUMPDEST 00000808: PUSH1 0x01 0000080a: DUP3 0000080b: DUP2 0000080c: SLOAD 0000080d: DUP2 0000080e: LT 0000080f: ISZERO 00000810: ISZERO 00000811: PUSH2 0x0816 00000814: JUMPI 00000815: INVALID 00000816: JUMPDEST 00000817: SWAP1 00000818: PUSH1 0x00 0000081a: MSTORE 0000081b: PUSH1 0x20 0000081d: PUSH1 0x00 0000081f: KECCAK256 00000820: SWAP1 00000821: PUSH1 0x0c 00000823: MUL 00000824: ADD 00000825: PUSH1 0x00 00000827: ADD 00000828: PUSH1 0x00 0000082a: SWAP1 0000082b: SLOAD 0000082c: SWAP1 0000082d: PUSH2 0x0100 00000830: EXP 00000831: SWAP1 00000832: DIV 00000833: PUSH1 0xff 00000835: AND 00000836: PUSH1 0x03 00000838: DUP2 00000839: GT 0000083a: ISZERO 0000083b: PUSH2 0x0840 0000083e: JUMPI 0000083f: INVALID 00000840: JUMPDEST 00000841: EQ 00000842: DUP1 00000843: PUSH2 0x088f 00000846: JUMPI 00000847: POP 00000848: PUSH1 0x01 0000084a: PUSH1 0x03 0000084c: DUP2 0000084d: GT 0000084e: ISZERO 0000084f: PUSH2 0x0854 00000852: JUMPI 00000853: INVALID 00000854: JUMPDEST 00000855: PUSH1 0x01 00000857: DUP3 00000858: DUP2 00000859: SLOAD 0000085a: DUP2 0000085b: LT 0000085c: ISZERO 0000085d: ISZERO 0000085e: PUSH2 0x0863 00000861: JUMPI 00000862: INVALID 00000863: JUMPDEST 00000864: SWAP1 00000865: PUSH1 0x00 00000867: MSTORE 00000868: PUSH1 0x20 0000086a: PUSH1 0x00 0000086c: KECCAK256 0000086d: SWAP1 0000086e: PUSH1 0x0c 00000870: MUL 00000871: ADD 00000872: PUSH1 0x00 00000874: ADD 00000875: PUSH1 0x00 00000877: SWAP1 00000878: SLOAD 00000879: SWAP1 0000087a: PUSH2 0x0100 0000087d: EXP 0000087e: SWAP1 0000087f: DIV 00000880: PUSH1 0xff 00000882: AND 00000883: PUSH1 0x03 00000885: DUP2 00000886: GT 00000887: ISZERO 00000888: PUSH2 0x088d 0000088b: JUMPI 0000088c: INVALID 0000088d: JUMPDEST 0000088e: EQ 0000088f: JUMPDEST 00000890: ISZERO 00000891: ISZERO 00000892: PUSH2 0x089a 00000895: JUMPI 00000896: PUSH1 0x00 00000898: DUP1 00000899: REVERT 0000089a: JUMPDEST 0000089b: PUSH1 0x00 0000089d: PUSH1 0x01 0000089f: DUP3 000008a0: DUP2 000008a1: SLOAD 000008a2: DUP2 000008a3: LT 000008a4: ISZERO 000008a5: ISZERO 000008a6: PUSH2 0x08ab 000008a9: JUMPI 000008aa: INVALID 000008ab: JUMPDEST 000008ac: SWAP1 000008ad: PUSH1 0x00 000008af: MSTORE 000008b0: PUSH1 0x20 000008b2: PUSH1 0x00 000008b4: KECCAK256 000008b5: SWAP1 000008b6: PUSH1 0x0c 000008b8: MUL 000008b9: ADD 000008ba: PUSH1 0x06 000008bc: ADD 000008bd: SLOAD 000008be: EQ 000008bf: ISZERO 000008c0: ISZERO 000008c1: ISZERO 000008c2: PUSH2 0x08ca 000008c5: JUMPI 000008c6: PUSH1 0x00 000008c8: DUP1 000008c9: REVERT 000008ca: JUMPDEST 000008cb: PUSH1 0x01 000008cd: DUP2 000008ce: DUP2 000008cf: SLOAD 000008d0: DUP2 000008d1: LT 000008d2: ISZERO 000008d3: ISZERO 000008d4: PUSH2 0x08d9 000008d7: JUMPI 000008d8: INVALID 000008d9: JUMPDEST 000008da: SWAP1 000008db: PUSH1 0x00 000008dd: MSTORE 000008de: PUSH1 0x20 000008e0: PUSH1 0x00 000008e2: KECCAK256 000008e3: SWAP1 000008e4: PUSH1 0x0c 000008e6: MUL 000008e7: ADD 000008e8: PUSH1 0x0b 000008ea: ADD 000008eb: PUSH1 0x00 000008ed: SWAP1 000008ee: SLOAD 000008ef: SWAP1 000008f0: PUSH2 0x0100 000008f3: EXP 000008f4: SWAP1 000008f5: DIV 000008f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090b: AND 0000090c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000921: AND 00000922: PUSH2 0x08fc 00000925: PUSH1 0x01 00000927: DUP4 00000928: DUP2 00000929: SLOAD 0000092a: DUP2 0000092b: LT 0000092c: ISZERO 0000092d: ISZERO 0000092e: PUSH2 0x0933 00000931: JUMPI 00000932: INVALID 00000933: JUMPDEST 00000934: SWAP1 00000935: PUSH1 0x00 00000937: MSTORE 00000938: PUSH1 0x20 0000093a: PUSH1 0x00 0000093c: KECCAK256 0000093d: SWAP1 0000093e: PUSH1 0x0c 00000940: MUL 00000941: ADD 00000942: PUSH1 0x06 00000944: ADD 00000945: SLOAD 00000946: SWAP1 00000947: DUP2 00000948: ISZERO 00000949: MUL 0000094a: SWAP1 0000094b: PUSH1 0x40 0000094d: MLOAD 0000094e: PUSH1 0x00 00000950: PUSH1 0x40 00000952: MLOAD 00000953: DUP1 00000954: DUP4 00000955: SUB 00000956: DUP2 00000957: DUP6 00000958: DUP9 00000959: DUP9 0000095a: CALL 0000095b: SWAP4 0000095c: POP 0000095d: POP 0000095e: POP 0000095f: POP 00000960: ISZERO 00000961: DUP1 00000962: ISZERO 00000963: PUSH2 0x0970 00000966: JUMPI 00000967: RETURNDATASIZE 00000968: PUSH1 0x00 0000096a: DUP1 0000096b: RETURNDATACOPY 0000096c: RETURNDATASIZE 0000096d: PUSH1 0x00 0000096f: REVERT 00000970: JUMPDEST 00000971: POP 00000972: PUSH1 0x00 00000974: PUSH1 0x01 00000976: DUP3 00000977: DUP2 00000978: SLOAD 00000979: DUP2 0000097a: LT 0000097b: ISZERO 0000097c: ISZERO 0000097d: PUSH2 0x0982 00000980: JUMPI 00000981: INVALID 00000982: JUMPDEST 00000983: SWAP1 00000984: PUSH1 0x00 00000986: MSTORE 00000987: PUSH1 0x20 00000989: PUSH1 0x00 0000098b: KECCAK256 0000098c: SWAP1 0000098d: PUSH1 0x0c 0000098f: MUL 00000990: ADD 00000991: PUSH1 0x06 00000993: ADD 00000994: DUP2 00000995: SWAP1 00000996: SSTORE 00000997: POP 00000998: PUSH1 0x02 0000099a: PUSH1 0x01 0000099c: DUP3 0000099d: DUP2 0000099e: SLOAD 0000099f: DUP2 000009a0: LT 000009a1: ISZERO 000009a2: ISZERO 000009a3: PUSH2 0x09a8 000009a6: JUMPI 000009a7: INVALID 000009a8: JUMPDEST 000009a9: SWAP1 000009aa: PUSH1 0x00 000009ac: MSTORE 000009ad: PUSH1 0x20 000009af: PUSH1 0x00 000009b1: KECCAK256 000009b2: SWAP1 000009b3: PUSH1 0x0c 000009b5: MUL 000009b6: ADD 000009b7: PUSH1 0x00 000009b9: ADD 000009ba: PUSH1 0x00 000009bc: PUSH2 0x0100 000009bf: EXP 000009c0: DUP2 000009c1: SLOAD 000009c2: DUP2 000009c3: PUSH1 0xff 000009c5: MUL 000009c6: NOT 000009c7: AND 000009c8: SWAP1 000009c9: DUP4 000009ca: PUSH1 0x03 000009cc: DUP2 000009cd: GT 000009ce: ISZERO 000009cf: PUSH2 0x09d4 000009d2: JUMPI 000009d3: INVALID 000009d4: JUMPDEST 000009d5: MUL 000009d6: OR 000009d7: SWAP1 000009d8: SSTORE 000009d9: POP 000009da: POP 000009db: JUMP 000009dc: JUMPDEST 000009dd: PUSH1 0x00 000009df: DUP1 000009e0: REVERT 000009e1: JUMPDEST 000009e2: PUSH1 0x00 000009e4: DUP1 000009e5: SWAP1 000009e6: SLOAD 000009e7: SWAP1 000009e8: PUSH2 0x0100 000009eb: EXP 000009ec: SWAP1 000009ed: DIV 000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a03: AND 00000a04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a19: AND 00000a1a: CALLER 00000a1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a30: AND 00000a31: EQ 00000a32: ISZERO 00000a33: ISZERO 00000a34: PUSH2 0x0a3c 00000a37: JUMPI 00000a38: PUSH1 0x00 00000a3a: DUP1 00000a3b: REVERT 00000a3c: JUMPDEST 00000a3d: DUP1 00000a3e: PUSH1 0x00 00000a40: DUP1 00000a41: PUSH1 0x03 00000a43: DUP2 00000a44: GT 00000a45: ISZERO 00000a46: PUSH2 0x0a4b 00000a49: JUMPI 00000a4a: INVALID 00000a4b: JUMPDEST 00000a4c: PUSH1 0x01 00000a4e: DUP4 00000a4f: DUP2 00000a50: SLOAD 00000a51: DUP2 00000a52: LT 00000a53: ISZERO 00000a54: ISZERO 00000a55: PUSH2 0x0a5a 00000a58: JUMPI 00000a59: INVALID 00000a5a: JUMPDEST 00000a5b: SWAP1 00000a5c: PUSH1 0x00 00000a5e: MSTORE 00000a5f: PUSH1 0x20 00000a61: PUSH1 0x00 00000a63: KECCAK256 00000a64: SWAP1 00000a65: PUSH1 0x0c 00000a67: MUL 00000a68: ADD 00000a69: PUSH1 0x00 00000a6b: ADD 00000a6c: PUSH1 0x00 00000a6e: SWAP1 00000a6f: SLOAD 00000a70: SWAP1 00000a71: PUSH2 0x0100 00000a74: EXP 00000a75: SWAP1 00000a76: DIV 00000a77: PUSH1 0xff 00000a79: AND 00000a7a: PUSH1 0x03 00000a7c: DUP2 00000a7d: GT 00000a7e: ISZERO 00000a7f: PUSH2 0x0a84 00000a82: JUMPI 00000a83: INVALID 00000a84: JUMPDEST 00000a85: EQ 00000a86: ISZERO 00000a87: ISZERO 00000a88: PUSH2 0x0a90 00000a8b: JUMPI 00000a8c: PUSH1 0x00 00000a8e: DUP1 00000a8f: REVERT 00000a90: JUMPDEST 00000a91: PUSH1 0x01 00000a93: DUP1 00000a94: DUP5 00000a95: DUP2 00000a96: SLOAD 00000a97: DUP2 00000a98: LT 00000a99: ISZERO 00000a9a: ISZERO 00000a9b: PUSH2 0x0aa0 00000a9e: JUMPI 00000a9f: INVALID 00000aa0: JUMPDEST 00000aa1: SWAP1 00000aa2: PUSH1 0x00 00000aa4: MSTORE 00000aa5: PUSH1 0x20 00000aa7: PUSH1 0x00 00000aa9: KECCAK256 00000aaa: SWAP1 00000aab: PUSH1 0x0c 00000aad: MUL 00000aae: ADD 00000aaf: PUSH1 0x00 00000ab1: ADD 00000ab2: PUSH1 0x00 00000ab4: PUSH2 0x0100 00000ab7: EXP 00000ab8: DUP2 00000ab9: SLOAD 00000aba: DUP2 00000abb: PUSH1 0xff 00000abd: MUL 00000abe: NOT 00000abf: AND 00000ac0: SWAP1 00000ac1: DUP4 00000ac2: PUSH1 0x03 00000ac4: DUP2 00000ac5: GT 00000ac6: ISZERO 00000ac7: PUSH2 0x0acc 00000aca: JUMPI 00000acb: INVALID 00000acc: JUMPDEST 00000acd: MUL 00000ace: OR 00000acf: SWAP1 00000ad0: SSTORE 00000ad1: POP 00000ad2: POP 00000ad3: POP 00000ad4: POP 00000ad5: JUMP 00000ad6: JUMPDEST 00000ad7: PUSH1 0x00 00000ad9: PUSH1 0x01 00000adb: DUP3 00000adc: DUP2 00000add: SLOAD 00000ade: DUP2 00000adf: LT 00000ae0: ISZERO 00000ae1: ISZERO 00000ae2: PUSH2 0x0ae7 00000ae5: JUMPI 00000ae6: INVALID 00000ae7: JUMPDEST 00000ae8: SWAP1 00000ae9: PUSH1 0x00 00000aeb: MSTORE 00000aec: PUSH1 0x20 00000aee: PUSH1 0x00 00000af0: KECCAK256 00000af1: SWAP1 00000af2: PUSH1 0x0c 00000af4: MUL 00000af5: ADD 00000af6: PUSH1 0x00 00000af8: ADD 00000af9: PUSH1 0x00 00000afb: SWAP1 00000afc: SLOAD 00000afd: SWAP1 00000afe: PUSH2 0x0100 00000b01: EXP 00000b02: SWAP1 00000b03: DIV 00000b04: PUSH1 0xff 00000b06: AND 00000b07: PUSH1 0x03 00000b09: DUP2 00000b0a: GT 00000b0b: ISZERO 00000b0c: PUSH2 0x0b11 00000b0f: JUMPI 00000b10: INVALID 00000b11: JUMPDEST 00000b12: SWAP1 00000b13: POP 00000b14: SWAP2 00000b15: SWAP1 00000b16: POP 00000b17: JUMP 00000b18: JUMPDEST 00000b19: PUSH1 0x00 00000b1b: DUP1 00000b1c: PUSH1 0x00 00000b1e: SWAP1 00000b1f: SLOAD 00000b20: SWAP1 00000b21: PUSH2 0x0100 00000b24: EXP 00000b25: SWAP1 00000b26: DIV 00000b27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b3c: AND 00000b3d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b52: AND 00000b53: CALLER 00000b54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b69: AND 00000b6a: EQ 00000b6b: ISZERO 00000b6c: ISZERO 00000b6d: PUSH2 0x0b75 00000b70: JUMPI 00000b71: PUSH1 0x00 00000b73: DUP1 00000b74: REVERT 00000b75: JUMPDEST 00000b76: DUP3 00000b77: PUSH1 0x01 00000b79: DUP1 00000b7a: PUSH1 0x03 00000b7c: DUP2 00000b7d: GT 00000b7e: ISZERO 00000b7f: PUSH2 0x0b84 00000b82: JUMPI 00000b83: INVALID 00000b84: JUMPDEST 00000b85: PUSH1 0x01 00000b87: DUP4 00000b88: DUP2 00000b89: SLOAD 00000b8a: DUP2 00000b8b: LT 00000b8c: ISZERO 00000b8d: ISZERO 00000b8e: PUSH2 0x0b93 00000b91: JUMPI 00000b92: INVALID 00000b93: JUMPDEST 00000b94: SWAP1 00000b95: PUSH1 0x00 00000b97: MSTORE 00000b98: PUSH1 0x20 00000b9a: PUSH1 0x00 00000b9c: KECCAK256 00000b9d: SWAP1 00000b9e: PUSH1 0x0c 00000ba0: MUL 00000ba1: ADD 00000ba2: PUSH1 0x00 00000ba4: ADD 00000ba5: PUSH1 0x00 00000ba7: SWAP1 00000ba8: SLOAD 00000ba9: SWAP1 00000baa: PUSH2 0x0100 00000bad: EXP 00000bae: SWAP1 00000baf: DIV 00000bb0: PUSH1 0xff 00000bb2: AND 00000bb3: PUSH1 0x03 00000bb5: DUP2 00000bb6: GT 00000bb7: ISZERO 00000bb8: PUSH2 0x0bbd 00000bbb: JUMPI 00000bbc: INVALID 00000bbd: JUMPDEST 00000bbe: EQ 00000bbf: ISZERO 00000bc0: ISZERO 00000bc1: PUSH2 0x0bc9 00000bc4: JUMPI 00000bc5: PUSH1 0x00 00000bc7: DUP1 00000bc8: REVERT 00000bc9: JUMPDEST 00000bca: PUSH1 0x00 00000bcc: PUSH1 0x01 00000bce: DUP7 00000bcf: DUP2 00000bd0: SLOAD 00000bd1: DUP2 00000bd2: LT 00000bd3: ISZERO 00000bd4: ISZERO 00000bd5: PUSH2 0x0bda 00000bd8: JUMPI 00000bd9: INVALID 00000bda: JUMPDEST 00000bdb: SWAP1 00000bdc: PUSH1 0x00 00000bde: MSTORE 00000bdf: PUSH1 0x20 00000be1: PUSH1 0x00 00000be3: KECCAK256 00000be4: SWAP1 00000be5: PUSH1 0x0c 00000be7: MUL 00000be8: ADD 00000be9: PUSH1 0x06 00000beb: ADD 00000bec: SLOAD 00000bed: EQ 00000bee: ISZERO 00000bef: ISZERO 00000bf0: ISZERO 00000bf1: PUSH2 0x0bf9 00000bf4: JUMPI 00000bf5: PUSH1 0x00 00000bf7: DUP1 00000bf8: REVERT 00000bf9: JUMPDEST 00000bfa: PUSH1 0x01 00000bfc: DUP6 00000bfd: DUP2 00000bfe: SLOAD 00000bff: DUP2 00000c00: LT 00000c01: ISZERO 00000c02: ISZERO 00000c03: PUSH2 0x0c08 00000c06: JUMPI 00000c07: INVALID 00000c08: JUMPDEST 00000c09: SWAP1 00000c0a: PUSH1 0x00 00000c0c: MSTORE 00000c0d: PUSH1 0x20 00000c0f: PUSH1 0x00 00000c11: KECCAK256 00000c12: SWAP1 00000c13: PUSH1 0x0c 00000c15: MUL 00000c16: ADD 00000c17: PUSH1 0x04 00000c19: ADD 00000c1a: SLOAD 00000c1b: DUP5 00000c1c: GT 00000c1d: ISZERO 00000c1e: ISZERO 00000c1f: PUSH2 0x0cce 00000c22: JUMPI 00000c23: PUSH1 0x01 00000c25: DUP6 00000c26: DUP2 00000c27: SLOAD 00000c28: DUP2 00000c29: LT 00000c2a: ISZERO 00000c2b: ISZERO 00000c2c: PUSH2 0x0c31 00000c2f: JUMPI 00000c30: INVALID 00000c31: JUMPDEST 00000c32: SWAP1 00000c33: PUSH1 0x00 00000c35: MSTORE 00000c36: PUSH1 0x20 00000c38: PUSH1 0x00 00000c3a: KECCAK256 00000c3b: SWAP1 00000c3c: PUSH1 0x0c 00000c3e: MUL 00000c3f: ADD 00000c40: PUSH1 0x09 00000c42: ADD 00000c43: PUSH1 0x00 00000c45: SWAP1 00000c46: SLOAD 00000c47: SWAP1 00000c48: PUSH2 0x0100 00000c4b: EXP 00000c4c: SWAP1 00000c4d: DIV 00000c4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c63: AND 00000c64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c79: AND 00000c7a: PUSH2 0x08fc 00000c7d: PUSH1 0x01 00000c7f: DUP8 00000c80: DUP2 00000c81: SLOAD 00000c82: DUP2 00000c83: LT 00000c84: ISZERO 00000c85: ISZERO 00000c86: PUSH2 0x0c8b 00000c89: JUMPI 00000c8a: INVALID 00000c8b: JUMPDEST 00000c8c: SWAP1 00000c8d: PUSH1 0x00 00000c8f: MSTORE 00000c90: PUSH1 0x20 00000c92: PUSH1 0x00 00000c94: KECCAK256 00000c95: SWAP1 00000c96: PUSH1 0x0c 00000c98: MUL 00000c99: ADD 00000c9a: PUSH1 0x06 00000c9c: ADD 00000c9d: SLOAD 00000c9e: SWAP1 00000c9f: DUP2 00000ca0: ISZERO 00000ca1: MUL 00000ca2: SWAP1 00000ca3: PUSH1 0x40 00000ca5: MLOAD 00000ca6: PUSH1 0x00 00000ca8: PUSH1 0x40 00000caa: MLOAD 00000cab: DUP1 00000cac: DUP4 00000cad: SUB 00000cae: DUP2 00000caf: DUP6 00000cb0: DUP9 00000cb1: DUP9 00000cb2: CALL 00000cb3: SWAP4 00000cb4: POP 00000cb5: POP 00000cb6: POP 00000cb7: POP 00000cb8: ISZERO 00000cb9: DUP1 00000cba: ISZERO 00000cbb: PUSH2 0x0cc8 00000cbe: JUMPI 00000cbf: RETURNDATASIZE 00000cc0: PUSH1 0x00 00000cc2: DUP1 00000cc3: RETURNDATACOPY 00000cc4: RETURNDATASIZE 00000cc5: PUSH1 0x00 00000cc7: REVERT 00000cc8: JUMPDEST 00000cc9: POP 00000cca: PUSH2 0x0f42 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: PUSH1 0x01 00000cd1: DUP6 00000cd2: DUP2 00000cd3: SLOAD 00000cd4: DUP2 00000cd5: LT 00000cd6: ISZERO 00000cd7: ISZERO 00000cd8: PUSH2 0x0cdd 00000cdb: JUMPI 00000cdc: INVALID 00000cdd: JUMPDEST 00000cde: SWAP1 00000cdf: PUSH1 0x00 00000ce1: MSTORE 00000ce2: PUSH1 0x20 00000ce4: PUSH1 0x00 00000ce6: KECCAK256 00000ce7: SWAP1 00000ce8: PUSH1 0x0c 00000cea: MUL 00000ceb: ADD 00000cec: PUSH1 0x05 00000cee: ADD 00000cef: SLOAD 00000cf0: DUP5 00000cf1: GT 00000cf2: ISZERO 00000cf3: PUSH2 0x0da2 00000cf6: JUMPI 00000cf7: PUSH1 0x01 00000cf9: DUP6 00000cfa: DUP2 00000cfb: SLOAD 00000cfc: DUP2 00000cfd: LT 00000cfe: ISZERO 00000cff: ISZERO 00000d00: PUSH2 0x0d05 00000d03: JUMPI 00000d04: INVALID 00000d05: JUMPDEST 00000d06: SWAP1 00000d07: PUSH1 0x00 00000d09: MSTORE 00000d0a: PUSH1 0x20 00000d0c: PUSH1 0x00 00000d0e: KECCAK256 00000d0f: SWAP1 00000d10: PUSH1 0x0c 00000d12: MUL 00000d13: ADD 00000d14: PUSH1 0x0b 00000d16: ADD 00000d17: PUSH1 0x00 00000d19: SWAP1 00000d1a: SLOAD 00000d1b: SWAP1 00000d1c: PUSH2 0x0100 00000d1f: EXP 00000d20: SWAP1 00000d21: DIV 00000d22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d37: AND 00000d38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d4d: AND 00000d4e: PUSH2 0x08fc 00000d51: PUSH1 0x01 00000d53: DUP8 00000d54: DUP2 00000d55: SLOAD 00000d56: DUP2 00000d57: LT 00000d58: ISZERO 00000d59: ISZERO 00000d5a: PUSH2 0x0d5f 00000d5d: JUMPI 00000d5e: INVALID 00000d5f: JUMPDEST 00000d60: SWAP1 00000d61: PUSH1 0x00 00000d63: MSTORE 00000d64: PUSH1 0x20 00000d66: PUSH1 0x00 00000d68: KECCAK256 00000d69: SWAP1 00000d6a: PUSH1 0x0c 00000d6c: MUL 00000d6d: ADD 00000d6e: PUSH1 0x06 00000d70: ADD 00000d71: SLOAD 00000d72: SWAP1 00000d73: DUP2 00000d74: ISZERO 00000d75: MUL 00000d76: SWAP1 00000d77: PUSH1 0x40 00000d79: MLOAD 00000d7a: PUSH1 0x00 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: DUP1 00000d80: DUP4 00000d81: SUB 00000d82: DUP2 00000d83: DUP6 00000d84: DUP9 00000d85: DUP9 00000d86: CALL 00000d87: SWAP4 00000d88: POP 00000d89: POP 00000d8a: POP 00000d8b: POP 00000d8c: ISZERO 00000d8d: DUP1 00000d8e: ISZERO 00000d8f: PUSH2 0x0d9c 00000d92: JUMPI 00000d93: RETURNDATASIZE 00000d94: PUSH1 0x00 00000d96: DUP1 00000d97: RETURNDATACOPY 00000d98: RETURNDATASIZE 00000d99: PUSH1 0x00 00000d9b: REVERT 00000d9c: JUMPDEST 00000d9d: POP 00000d9e: PUSH2 0x0f41 00000da1: JUMP 00000da2: JUMPDEST 00000da3: PUSH2 0x0e0e 00000da6: DUP5 00000da7: PUSH1 0x01 00000da9: DUP8 00000daa: DUP2 00000dab: SLOAD 00000dac: DUP2 00000dad: LT 00000dae: ISZERO 00000daf: ISZERO 00000db0: PUSH2 0x0db5 00000db3: JUMPI 00000db4: INVALID 00000db5: JUMPDEST 00000db6: SWAP1 00000db7: PUSH1 0x00 00000db9: MSTORE 00000dba: PUSH1 0x20 00000dbc: PUSH1 0x00 00000dbe: KECCAK256 00000dbf: SWAP1 00000dc0: PUSH1 0x0c 00000dc2: MUL 00000dc3: ADD 00000dc4: PUSH1 0x04 00000dc6: ADD 00000dc7: SLOAD 00000dc8: PUSH1 0x01 00000dca: DUP9 00000dcb: DUP2 00000dcc: SLOAD 00000dcd: DUP2 00000dce: LT 00000dcf: ISZERO 00000dd0: ISZERO 00000dd1: PUSH2 0x0dd6 00000dd4: JUMPI 00000dd5: INVALID 00000dd6: JUMPDEST 00000dd7: SWAP1 00000dd8: PUSH1 0x00 00000dda: MSTORE 00000ddb: PUSH1 0x20 00000ddd: PUSH1 0x00 00000ddf: KECCAK256 00000de0: SWAP1 00000de1: PUSH1 0x0c 00000de3: MUL 00000de4: ADD 00000de5: PUSH1 0x05 00000de7: ADD 00000de8: SLOAD 00000de9: PUSH1 0x01 00000deb: DUP10 00000dec: DUP2 00000ded: SLOAD 00000dee: DUP2 00000def: LT 00000df0: ISZERO 00000df1: ISZERO 00000df2: PUSH2 0x0df7 00000df5: JUMPI 00000df6: INVALID 00000df7: JUMPDEST 00000df8: SWAP1 00000df9: PUSH1 0x00 00000dfb: MSTORE 00000dfc: PUSH1 0x20 00000dfe: PUSH1 0x00 00000e00: KECCAK256 00000e01: SWAP1 00000e02: PUSH1 0x0c 00000e04: MUL 00000e05: ADD 00000e06: PUSH1 0x06 00000e08: ADD 00000e09: SLOAD 00000e0a: PUSH2 0x1300 00000e0d: JUMP 00000e0e: JUMPDEST 00000e0f: SWAP3 00000e10: POP 00000e11: PUSH1 0x01 00000e13: DUP6 00000e14: DUP2 00000e15: SLOAD 00000e16: DUP2 00000e17: LT 00000e18: ISZERO 00000e19: ISZERO 00000e1a: PUSH2 0x0e1f 00000e1d: JUMPI 00000e1e: INVALID 00000e1f: JUMPDEST 00000e20: SWAP1 00000e21: PUSH1 0x00 00000e23: MSTORE 00000e24: PUSH1 0x20 00000e26: PUSH1 0x00 00000e28: KECCAK256 00000e29: SWAP1 00000e2a: PUSH1 0x0c 00000e2c: MUL 00000e2d: ADD 00000e2e: PUSH1 0x0b 00000e30: ADD 00000e31: PUSH1 0x00 00000e33: SWAP1 00000e34: SLOAD 00000e35: SWAP1 00000e36: PUSH2 0x0100 00000e39: EXP 00000e3a: SWAP1 00000e3b: DIV 00000e3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e51: AND 00000e52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e67: AND 00000e68: PUSH2 0x08fc 00000e6b: DUP5 00000e6c: SWAP1 00000e6d: DUP2 00000e6e: ISZERO 00000e6f: MUL 00000e70: SWAP1 00000e71: PUSH1 0x40 00000e73: MLOAD 00000e74: PUSH1 0x00 00000e76: PUSH1 0x40 00000e78: MLOAD 00000e79: DUP1 00000e7a: DUP4 00000e7b: SUB 00000e7c: DUP2 00000e7d: DUP6 00000e7e: DUP9 00000e7f: DUP9 00000e80: CALL 00000e81: SWAP4 00000e82: POP 00000e83: POP 00000e84: POP 00000e85: POP 00000e86: ISZERO 00000e87: DUP1 00000e88: ISZERO 00000e89: PUSH2 0x0e96 00000e8c: JUMPI 00000e8d: RETURNDATASIZE 00000e8e: PUSH1 0x00 00000e90: DUP1 00000e91: RETURNDATACOPY 00000e92: RETURNDATASIZE 00000e93: PUSH1 0x00 00000e95: REVERT 00000e96: JUMPDEST 00000e97: POP 00000e98: PUSH1 0x01 00000e9a: DUP6 00000e9b: DUP2 00000e9c: SLOAD 00000e9d: DUP2 00000e9e: LT 00000e9f: ISZERO 00000ea0: ISZERO 00000ea1: PUSH2 0x0ea6 00000ea4: JUMPI 00000ea5: INVALID 00000ea6: JUMPDEST 00000ea7: SWAP1 00000ea8: PUSH1 0x00 00000eaa: MSTORE 00000eab: PUSH1 0x20 00000ead: PUSH1 0x00 00000eaf: KECCAK256 00000eb0: SWAP1 00000eb1: PUSH1 0x0c 00000eb3: MUL 00000eb4: ADD 00000eb5: PUSH1 0x09 00000eb7: ADD 00000eb8: PUSH1 0x00 00000eba: SWAP1 00000ebb: SLOAD 00000ebc: SWAP1 00000ebd: PUSH2 0x0100 00000ec0: EXP 00000ec1: SWAP1 00000ec2: DIV 00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ed8: AND 00000ed9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eee: AND 00000eef: PUSH2 0x08fc 00000ef2: DUP5 00000ef3: PUSH1 0x01 00000ef5: DUP9 00000ef6: DUP2 00000ef7: SLOAD 00000ef8: DUP2 00000ef9: LT 00000efa: ISZERO 00000efb: ISZERO 00000efc: PUSH2 0x0f01 00000eff: JUMPI 00000f00: INVALID 00000f01: JUMPDEST 00000f02: SWAP1 00000f03: PUSH1 0x00 00000f05: MSTORE 00000f06: PUSH1 0x20 00000f08: PUSH1 0x00 00000f0a: KECCAK256 00000f0b: SWAP1 00000f0c: PUSH1 0x0c 00000f0e: MUL 00000f0f: ADD 00000f10: PUSH1 0x06 00000f12: ADD 00000f13: SLOAD 00000f14: SUB 00000f15: SWAP1 00000f16: DUP2 00000f17: ISZERO 00000f18: MUL 00000f19: SWAP1 00000f1a: PUSH1 0x40 00000f1c: MLOAD 00000f1d: PUSH1 0x00 00000f1f: PUSH1 0x40 00000f21: MLOAD 00000f22: DUP1 00000f23: DUP4 00000f24: SUB 00000f25: DUP2 00000f26: DUP6 00000f27: DUP9 00000f28: DUP9 00000f29: CALL 00000f2a: SWAP4 00000f2b: POP 00000f2c: POP 00000f2d: POP 00000f2e: POP 00000f2f: ISZERO 00000f30: DUP1 00000f31: ISZERO 00000f32: PUSH2 0x0f3f 00000f35: JUMPI 00000f36: RETURNDATASIZE 00000f37: PUSH1 0x00 00000f39: DUP1 00000f3a: RETURNDATACOPY 00000f3b: RETURNDATASIZE 00000f3c: PUSH1 0x00 00000f3e: REVERT 00000f3f: JUMPDEST 00000f40: POP 00000f41: JUMPDEST 00000f42: JUMPDEST 00000f43: PUSH1 0x00 00000f45: PUSH1 0x01 00000f47: DUP7 00000f48: DUP2 00000f49: SLOAD 00000f4a: DUP2 00000f4b: LT 00000f4c: ISZERO 00000f4d: ISZERO 00000f4e: PUSH2 0x0f53 00000f51: JUMPI 00000f52: INVALID 00000f53: JUMPDEST 00000f54: SWAP1 00000f55: PUSH1 0x00 00000f57: MSTORE 00000f58: PUSH1 0x20 00000f5a: PUSH1 0x00 00000f5c: KECCAK256 00000f5d: SWAP1 00000f5e: PUSH1 0x0c 00000f60: MUL 00000f61: ADD 00000f62: PUSH1 0x06 00000f64: ADD 00000f65: DUP2 00000f66: SWAP1 00000f67: SSTORE 00000f68: POP 00000f69: PUSH1 0x03 00000f6b: PUSH1 0x01 00000f6d: DUP7 00000f6e: DUP2 00000f6f: SLOAD 00000f70: DUP2 00000f71: LT 00000f72: ISZERO 00000f73: ISZERO 00000f74: PUSH2 0x0f79 00000f77: JUMPI 00000f78: INVALID 00000f79: JUMPDEST 00000f7a: SWAP1 00000f7b: PUSH1 0x00 00000f7d: MSTORE 00000f7e: PUSH1 0x20 00000f80: PUSH1 0x00 00000f82: KECCAK256 00000f83: SWAP1 00000f84: PUSH1 0x0c 00000f86: MUL 00000f87: ADD 00000f88: PUSH1 0x00 00000f8a: ADD 00000f8b: PUSH1 0x00 00000f8d: PUSH2 0x0100 00000f90: EXP 00000f91: DUP2 00000f92: SLOAD 00000f93: DUP2 00000f94: PUSH1 0xff 00000f96: MUL 00000f97: NOT 00000f98: AND 00000f99: SWAP1 00000f9a: DUP4 00000f9b: PUSH1 0x03 00000f9d: DUP2 00000f9e: GT 00000f9f: ISZERO 00000fa0: PUSH2 0x0fa5 00000fa3: JUMPI 00000fa4: INVALID 00000fa5: JUMPDEST 00000fa6: MUL 00000fa7: OR 00000fa8: SWAP1 00000fa9: SSTORE 00000faa: POP 00000fab: POP 00000fac: POP 00000fad: POP 00000fae: POP 00000faf: POP 00000fb0: JUMP 00000fb1: JUMPDEST 00000fb2: PUSH1 0x00 00000fb4: DUP1 00000fb5: SWAP1 00000fb6: SLOAD 00000fb7: SWAP1 00000fb8: PUSH2 0x0100 00000fbb: EXP 00000fbc: SWAP1 00000fbd: DIV 00000fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fd3: AND 00000fd4: DUP2 00000fd5: JUMP 00000fd6: JUMPDEST 00000fd7: PUSH1 0x00 00000fd9: PUSH1 0x01 00000fdb: DUP1 00000fdc: SLOAD 00000fdd: SWAP1 00000fde: POP 00000fdf: SWAP1 00000fe0: POP 00000fe1: SWAP1 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: PUSH1 0x00 00000fe6: PUSH1 0x01 00000fe8: DUP3 00000fe9: DUP2 00000fea: SLOAD 00000feb: DUP2 00000fec: LT 00000fed: ISZERO 00000fee: ISZERO 00000fef: PUSH2 0x0ff4 00000ff2: JUMPI 00000ff3: INVALID 00000ff4: JUMPDEST 00000ff5: SWAP1 00000ff6: PUSH1 0x00 00000ff8: MSTORE 00000ff9: PUSH1 0x20 00000ffb: PUSH1 0x00 00000ffd: KECCAK256 00000ffe: SWAP1 00000fff: PUSH1 0x0c 00001001: MUL 00001002: ADD 00001003: PUSH1 0x01 00001005: ADD 00001006: SLOAD 00001007: SWAP1 00001008: POP 00001009: SWAP2 0000100a: SWAP1 0000100b: POP 0000100c: JUMP 0000100d: JUMPDEST 0000100e: PUSH1 0x00 00001010: DUP2 00001011: LT 00001012: ISZERO 00001013: DUP1 00001014: ISZERO 00001015: PUSH2 0x101e 00001018: JUMPI 00001019: POP 0000101a: PUSH1 0x03 0000101c: DUP2 0000101d: LT 0000101e: JUMPDEST 0000101f: ISZERO 00001020: ISZERO 00001021: PUSH2 0x1029 00001024: JUMPI 00001025: PUSH1 0x00 00001027: DUP1 00001028: REVERT 00001029: JUMPDEST 0000102a: DUP7 0000102b: CALLVALUE 0000102c: EQ 0000102d: ISZERO 0000102e: ISZERO 0000102f: PUSH2 0x1037 00001032: JUMPI 00001033: PUSH1 0x00 00001035: DUP1 00001036: REVERT 00001037: JUMPDEST 00001038: PUSH1 0x01 0000103a: PUSH2 0x0180 0000103d: PUSH1 0x40 0000103f: MLOAD 00001040: SWAP1 00001041: DUP2 00001042: ADD 00001043: PUSH1 0x40 00001045: MSTORE 00001046: DUP1 00001047: PUSH1 0x00 00001049: PUSH1 0x03 0000104b: DUP2 0000104c: GT 0000104d: ISZERO 0000104e: PUSH2 0x1053 00001051: JUMPI 00001052: INVALID 00001053: JUMPDEST 00001054: DUP2 00001055: MSTORE 00001056: PUSH1 0x20 00001058: ADD 00001059: TIMESTAMP 0000105a: DUP2 0000105b: MSTORE 0000105c: PUSH1 0x20 0000105e: ADD 0000105f: PUSH1 0x00 00001061: DUP2 00001062: MSTORE 00001063: PUSH1 0x20 00001065: ADD 00001066: DUP13 00001067: DUP2 00001068: MSTORE 00001069: PUSH1 0x20 0000106b: ADD 0000106c: DUP12 0000106d: DUP2 0000106e: MSTORE 0000106f: PUSH1 0x20 00001071: ADD 00001072: DUP11 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x20 00001077: ADD 00001078: DUP10 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: ADD 0000107e: DUP4 0000107f: PUSH1 0x02 00001081: DUP2 00001082: GT 00001083: ISZERO 00001084: PUSH2 0x1089 00001087: JUMPI 00001088: INVALID 00001089: JUMPDEST 0000108a: PUSH1 0x02 0000108c: DUP2 0000108d: GT 0000108e: ISZERO 0000108f: PUSH2 0x1094 00001092: JUMPI 00001093: INVALID 00001094: JUMPDEST 00001095: DUP2 00001096: MSTORE 00001097: PUSH1 0x20 00001099: ADD 0000109a: DUP9 0000109b: DUP2 0000109c: MSTORE 0000109d: PUSH1 0x20 0000109f: ADD 000010a0: DUP8 000010a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010b6: AND 000010b7: DUP2 000010b8: MSTORE 000010b9: PUSH1 0x20 000010bb: ADD 000010bc: DUP7 000010bd: DUP2 000010be: MSTORE 000010bf: PUSH1 0x20 000010c1: ADD 000010c2: DUP6 000010c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010d8: AND 000010d9: DUP2 000010da: MSTORE 000010db: POP 000010dc: SWAP1 000010dd: DUP1 000010de: PUSH1 0x01 000010e0: DUP2 000010e1: SLOAD 000010e2: ADD 000010e3: DUP1 000010e4: DUP3 000010e5: SSTORE 000010e6: DUP1 000010e7: SWAP2 000010e8: POP 000010e9: POP 000010ea: SWAP1 000010eb: PUSH1 0x01 000010ed: DUP3 000010ee: SUB 000010ef: SWAP1 000010f0: PUSH1 0x00 000010f2: MSTORE 000010f3: PUSH1 0x20 000010f5: PUSH1 0x00 000010f7: KECCAK256 000010f8: SWAP1 000010f9: PUSH1 0x0c 000010fb: MUL 000010fc: ADD 000010fd: PUSH1 0x00 000010ff: SWAP1 00001100: SWAP2 00001101: SWAP3 00001102: SWAP1 00001103: SWAP2 00001104: SWAP1 00001105: SWAP2 00001106: POP 00001107: PUSH1 0x00 00001109: DUP3 0000110a: ADD 0000110b: MLOAD 0000110c: DUP2 0000110d: PUSH1 0x00 0000110f: ADD 00001110: PUSH1 0x00 00001112: PUSH2 0x0100 00001115: EXP 00001116: DUP2 00001117: SLOAD 00001118: DUP2 00001119: PUSH1 0xff 0000111b: MUL 0000111c: NOT 0000111d: AND 0000111e: SWAP1 0000111f: DUP4 00001120: PUSH1 0x03 00001122: DUP2 00001123: GT 00001124: ISZERO 00001125: PUSH2 0x112a 00001128: JUMPI 00001129: INVALID 0000112a: JUMPDEST 0000112b: MUL 0000112c: OR 0000112d: SWAP1 0000112e: SSTORE 0000112f: POP 00001130: PUSH1 0x20 00001132: DUP3 00001133: ADD 00001134: MLOAD 00001135: DUP2 00001136: PUSH1 0x01 00001138: ADD 00001139: SSTORE 0000113a: PUSH1 0x40 0000113c: DUP3 0000113d: ADD 0000113e: MLOAD 0000113f: DUP2 00001140: PUSH1 0x02 00001142: ADD 00001143: SSTORE 00001144: PUSH1 0x60 00001146: DUP3 00001147: ADD 00001148: MLOAD 00001149: DUP2 0000114a: PUSH1 0x03 0000114c: ADD 0000114d: SSTORE 0000114e: PUSH1 0x80 00001150: DUP3 00001151: ADD 00001152: MLOAD 00001153: DUP2 00001154: PUSH1 0x04 00001156: ADD 00001157: SSTORE 00001158: PUSH1 0xa0 0000115a: DUP3 0000115b: ADD 0000115c: MLOAD 0000115d: DUP2 0000115e: PUSH1 0x05 00001160: ADD 00001161: SSTORE 00001162: PUSH1 0xc0 00001164: DUP3 00001165: ADD 00001166: MLOAD 00001167: DUP2 00001168: PUSH1 0x06 0000116a: ADD 0000116b: SSTORE 0000116c: PUSH1 0xe0 0000116e: DUP3 0000116f: ADD 00001170: MLOAD 00001171: DUP2 00001172: PUSH1 0x07 00001174: ADD 00001175: PUSH1 0x00 00001177: PUSH2 0x0100 0000117a: EXP 0000117b: DUP2 0000117c: SLOAD 0000117d: DUP2 0000117e: PUSH1 0xff 00001180: MUL 00001181: NOT 00001182: AND 00001183: SWAP1 00001184: DUP4 00001185: PUSH1 0x02 00001187: DUP2 00001188: GT 00001189: ISZERO 0000118a: PUSH2 0x118f 0000118d: JUMPI 0000118e: INVALID 0000118f: JUMPDEST 00001190: MUL 00001191: OR 00001192: SWAP1 00001193: SSTORE 00001194: POP 00001195: PUSH2 0x0100 00001198: DUP3 00001199: ADD 0000119a: MLOAD 0000119b: DUP2 0000119c: PUSH1 0x08 0000119e: ADD 0000119f: SWAP1 000011a0: DUP1 000011a1: MLOAD 000011a2: SWAP1 000011a3: PUSH1 0x20 000011a5: ADD 000011a6: SWAP1 000011a7: PUSH2 0x11b1 000011aa: SWAP3 000011ab: SWAP2 000011ac: SWAP1 000011ad: PUSH2 0x131e 000011b0: JUMP 000011b1: JUMPDEST 000011b2: POP 000011b3: PUSH2 0x0120 000011b6: DUP3 000011b7: ADD 000011b8: MLOAD 000011b9: DUP2 000011ba: PUSH1 0x09 000011bc: ADD 000011bd: PUSH1 0x00 000011bf: PUSH2 0x0100 000011c2: EXP 000011c3: DUP2 000011c4: SLOAD 000011c5: DUP2 000011c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011db: MUL 000011dc: NOT 000011dd: AND 000011de: SWAP1 000011df: DUP4 000011e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f5: AND 000011f6: MUL 000011f7: OR 000011f8: SWAP1 000011f9: SSTORE 000011fa: POP 000011fb: PUSH2 0x0140 000011fe: DUP3 000011ff: ADD 00001200: MLOAD 00001201: DUP2 00001202: PUSH1 0x0a 00001204: ADD 00001205: SWAP1 00001206: DUP1 00001207: MLOAD 00001208: SWAP1 00001209: PUSH1 0x20 0000120b: ADD 0000120c: SWAP1 0000120d: PUSH2 0x1217 00001210: SWAP3 00001211: SWAP2 00001212: SWAP1 00001213: PUSH2 0x131e 00001216: JUMP 00001217: JUMPDEST 00001218: POP 00001219: PUSH2 0x0160 0000121c: DUP3 0000121d: ADD 0000121e: MLOAD 0000121f: DUP2 00001220: PUSH1 0x0b 00001222: ADD 00001223: PUSH1 0x00 00001225: PUSH2 0x0100 00001228: EXP 00001229: DUP2 0000122a: SLOAD 0000122b: DUP2 0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001241: MUL 00001242: NOT 00001243: AND 00001244: SWAP1 00001245: DUP4 00001246: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125b: AND 0000125c: MUL 0000125d: OR 0000125e: SWAP1 0000125f: SSTORE 00001260: POP 00001261: POP 00001262: POP 00001263: POP 00001264: PUSH3 0x015180 00001268: DUP12 00001269: MUL 0000126a: TIMESTAMP 0000126b: ADD 0000126c: PUSH1 0x01 0000126e: DUP1 0000126f: DUP1 00001270: DUP1 00001271: SLOAD 00001272: SWAP1 00001273: POP 00001274: SUB 00001275: DUP2 00001276: SLOAD 00001277: DUP2 00001278: LT 00001279: ISZERO 0000127a: ISZERO 0000127b: PUSH2 0x1280 0000127e: JUMPI 0000127f: INVALID 00001280: JUMPDEST 00001281: SWAP1 00001282: PUSH1 0x00 00001284: MSTORE 00001285: PUSH1 0x20 00001287: PUSH1 0x00 00001289: KECCAK256 0000128a: SWAP1 0000128b: PUSH1 0x0c 0000128d: MUL 0000128e: ADD 0000128f: PUSH1 0x02 00001291: ADD 00001292: DUP2 00001293: SWAP1 00001294: SSTORE 00001295: POP 00001296: PUSH1 0x01 00001298: DUP1 00001299: DUP1 0000129a: SLOAD 0000129b: SWAP1 0000129c: POP 0000129d: SUB 0000129e: CALLER 0000129f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012b4: AND 000012b5: PUSH32 0xcd90b99d62d1fe04456025e59bf0dcdbd54ea65652aef42d7ed0425a932ff2d9 000012d6: TIMESTAMP 000012d7: DUP6 000012d8: PUSH1 0x40 000012da: MLOAD 000012db: DUP1 000012dc: DUP4 000012dd: DUP2 000012de: MSTORE 000012df: PUSH1 0x20 000012e1: ADD 000012e2: DUP3 000012e3: DUP2 000012e4: MSTORE 000012e5: PUSH1 0x20 000012e7: ADD 000012e8: SWAP3 000012e9: POP 000012ea: POP 000012eb: POP 000012ec: PUSH1 0x40 000012ee: MLOAD 000012ef: DUP1 000012f0: SWAP2 000012f1: SUB 000012f2: SWAP1 000012f3: LOG3 000012f4: POP 000012f5: POP 000012f6: POP 000012f7: POP 000012f8: POP 000012f9: POP 000012fa: POP 000012fb: POP 000012fc: POP 000012fd: POP 000012fe: POP 000012ff: JUMP 00001300: JUMPDEST 00001301: PUSH1 0x00 00001303: DUP4 00001304: DUP4 00001305: SUB 00001306: DUP3 00001307: DUP6 00001308: DUP8 00001309: SUB 0000130a: MUL 0000130b: DUP2 0000130c: ISZERO 0000130d: ISZERO 0000130e: PUSH2 0x1313 00001311: JUMPI 00001312: INVALID 00001313: JUMPDEST 00001314: DIV 00001315: SWAP1 00001316: POP 00001317: SWAP5 00001318: SWAP4 00001319: POP 0000131a: POP 0000131b: POP 0000131c: POP 0000131d: JUMP 0000131e: JUMPDEST 0000131f: DUP3 00001320: DUP1 00001321: SLOAD 00001322: PUSH1 0x01 00001324: DUP2 00001325: PUSH1 0x01 00001327: AND 00001328: ISZERO 00001329: PUSH2 0x0100 0000132c: MUL 0000132d: SUB 0000132e: AND 0000132f: PUSH1 0x02 00001331: SWAP1 00001332: DIV 00001333: SWAP1 00001334: PUSH1 0x00 00001336: MSTORE 00001337: PUSH1 0x20 00001339: PUSH1 0x00 0000133b: KECCAK256 0000133c: SWAP1 0000133d: PUSH1 0x1f 0000133f: ADD 00001340: PUSH1 0x20 00001342: SWAP1 00001343: DIV 00001344: DUP2 00001345: ADD 00001346: SWAP3 00001347: DUP3 00001348: PUSH1 0x1f 0000134a: LT 0000134b: PUSH2 0x135f 0000134e: JUMPI 0000134f: DUP1 00001350: MLOAD 00001351: PUSH1 0xff 00001353: NOT 00001354: AND 00001355: DUP4 00001356: DUP1 00001357: ADD 00001358: OR 00001359: DUP6 0000135a: SSTORE 0000135b: PUSH2 0x138d 0000135e: JUMP 0000135f: JUMPDEST 00001360: DUP3 00001361: DUP1 00001362: ADD 00001363: PUSH1 0x01 00001365: ADD 00001366: DUP6 00001367: SSTORE 00001368: DUP3 00001369: ISZERO 0000136a: PUSH2 0x138d 0000136d: JUMPI 0000136e: SWAP2 0000136f: DUP3 00001370: ADD 00001371: JUMPDEST 00001372: DUP3 00001373: DUP2 00001374: GT 00001375: ISZERO 00001376: PUSH2 0x138c 00001379: JUMPI 0000137a: DUP3 0000137b: MLOAD 0000137c: DUP3 0000137d: SSTORE 0000137e: SWAP2 0000137f: PUSH1 0x20 00001381: ADD 00001382: SWAP2 00001383: SWAP1 00001384: PUSH1 0x01 00001386: ADD 00001387: SWAP1 00001388: PUSH2 0x1371 0000138b: JUMP 0000138c: JUMPDEST 0000138d: JUMPDEST 0000138e: POP 0000138f: SWAP1 00001390: POP 00001391: PUSH2 0x139a 00001394: SWAP2 00001395: SWAP1 00001396: PUSH2 0x139e 00001399: JUMP 0000139a: JUMPDEST 0000139b: POP 0000139c: SWAP1 0000139d: JUMP 0000139e: JUMPDEST 0000139f: PUSH2 0x13c0 000013a2: SWAP2 000013a3: SWAP1 000013a4: JUMPDEST 000013a5: DUP1 000013a6: DUP3 000013a7: GT 000013a8: ISZERO 000013a9: PUSH2 0x13bc 000013ac: JUMPI 000013ad: PUSH1 0x00 000013af: DUP2 000013b0: PUSH1 0x00 000013b2: SWAP1 000013b3: SSTORE 000013b4: POP 000013b5: PUSH1 0x01 000013b7: ADD 000013b8: PUSH2 0x13a4 000013bb: JUMP 000013bc: JUMPDEST 000013bd: POP 000013be: SWAP1 000013bf: JUMP 000013c0: JUMPDEST 000013c1: SWAP1 000013c2: JUMP 000013c3: STOP 000013c4: LOG1 000013c5: PUSH6 0x627a7a723058 000013cc: KECCAK256 000013cd: UNKNOWN(0xC1) 000013ce: MSTORE 000013cf: SSTORE 000013d0: PUSH27 0x830e169a7ceea9f0a538d46a6c0cd0e98be98fa6d37b782f2bcb4c 000013ec: UNKNOWN(0x0D) 000013ed: STOP 000013ee: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xb6e1285e4464f64784dd11dec69cfe08ce04fb37855d67f89b38b76d2e008f63
call_targets:
0xd6db2b29681a1e817dd028370e27e905d7580918
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb6e1285e4464f64784dd11dec69cfe08ce04fb37855d67f89b38b76d2e008f63",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd6db2b29681a1e817dd028370e27e905d7580918"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03988f84",
"selector": "0x03988f84",
"calldata_variants": [
"0x03988f84",
"0x03988f840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0af4cd61",
"selector": "0x0af4cd61",
"calldata_variants": [
"0x0af4cd61",
"0x0af4cd610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1147b142",
"selector": "0x1147b142",
"calldata_variants": [
"0x1147b142",
"0x1147b1420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d9de472",
"selector": "0x2d9de472",
"calldata_variants": [
"0x2d9de472",
"0x2d9de4720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44c9af28",
"selector": "0x44c9af28",
"calldata_variants": [
"0x44c9af28",
"0x44c9af280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4580cc5e",
"selector": "0x4580cc5e",
"calldata_variants": [
"0x4580cc5e",
"0x4580cc5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47ec8e21",
"selector": "0x47ec8e21",
"calldata_variants": [
"0x47ec8e21",
"0x47ec8e210000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3250,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3462,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 2008,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2586,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2899,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xb6e1285e4464f64784dd11dec69cfe08ce04fb37855d67f89b38b76d2e008f63
call_targets:
0xd6db2b29681a1e817dd028370e27e905d7580918
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb6e1285e4464f64784dd11dec69cfe08ce04fb37855d67f89b38b76d2e008f63",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd6db2b29681a1e817dd028370e27e905d7580918"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x03988f84",
"selector": "0x03988f84",
"calldata_variants": [
"0x03988f84",
"0x03988f840000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0af4cd61",
"selector": "0x0af4cd61",
"calldata_variants": [
"0x0af4cd61",
"0x0af4cd610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1147b142",
"selector": "0x1147b142",
"calldata_variants": [
"0x1147b142",
"0x1147b1420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d9de472",
"selector": "0x2d9de472",
"calldata_variants": [
"0x2d9de472",
"0x2d9de4720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44c9af28",
"selector": "0x44c9af28",
"calldata_variants": [
"0x44c9af28",
"0x44c9af280000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4580cc5e",
"selector": "0x4580cc5e",
"calldata_variants": [
"0x4580cc5e",
"0x4580cc5e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47ec8e21",
"selector": "0x47ec8e21",
"calldata_variants": [
"0x47ec8e21",
"0x47ec8e210000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2394,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3250,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3462,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 2008,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2586,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2899,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|