019b477e-ae0c-705d-9da5-0e7d825d9128
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 |
|---|---|---|---|---|
| 21525 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21526 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89445 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89446 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89447 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89448 | 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 0x0127 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x01f59d16 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x016b 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x1987e50c 00000046: EQ 00000047: PUSH2 0x0192 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x23146c20 00000051: EQ 00000052: PUSH2 0x01d2 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x27e235e3 0000005c: EQ 0000005d: PUSH2 0x01f6 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x3b8ea9e7 00000067: EQ 00000068: PUSH2 0x0217 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x3ed08dc9 00000072: EQ 00000073: PUSH2 0x023b 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x590e1ae3 0000007d: EQ 0000007e: PUSH2 0x0250 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x67a09c23 00000088: EQ 00000089: PUSH2 0x0267 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6d736fac 00000093: EQ 00000094: PUSH2 0x02bf 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x7ce3489b 0000009e: EQ 0000009f: PUSH2 0x02d4 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x7fd6f15c 000000a9: EQ 000000aa: PUSH2 0x02ec 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8a7c2be2 000000b4: EQ 000000b5: PUSH2 0x0301 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x8da5cb5b 000000bf: EQ 000000c0: PUSH2 0x033c 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x98445e6f 000000ca: EQ 000000cb: PUSH2 0x0351 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x9caf34c4 000000d5: EQ 000000d6: PUSH2 0x0375 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xa0179949 000000e0: EQ 000000e1: PUSH2 0x038a 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xacb2ad6f 000000eb: EQ 000000ec: PUSH2 0x039f 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xbc0aca61 000000f6: EQ 000000f7: PUSH2 0x03b4 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe7b89977 00000101: EQ 00000102: PUSH2 0x03d5 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xf2fde38b 0000010c: EQ 0000010d: PUSH2 0x03f6 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0xf59e38b7 00000117: EQ 00000118: PUSH2 0x0417 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0xf64ccca6 00000122: EQ 00000123: PUSH2 0x043e 00000126: JUMPI 00000127: JUMPDEST 00000128: PUSH1 0x01 0000012a: PUSH1 0xa0 0000012c: PUSH1 0x02 0000012e: EXP 0000012f: SUB 00000130: CALLER 00000131: AND 00000132: PUSH1 0x00 00000134: SWAP1 00000135: DUP2 00000136: MSTORE 00000137: PUSH1 0x04 00000139: PUSH1 0x20 0000013b: MSTORE 0000013c: PUSH1 0x40 0000013e: SWAP1 0000013f: KECCAK256 00000140: SLOAD 00000141: PUSH2 0x0150 00000144: SWAP1 00000145: CALLVALUE 00000146: PUSH4 0xffffffff 0000014b: PUSH2 0x046b 0000014e: AND 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH1 0x01 00000153: PUSH1 0xa0 00000155: PUSH1 0x02 00000157: EXP 00000158: SUB 00000159: CALLER 0000015a: AND 0000015b: PUSH1 0x00 0000015d: SWAP1 0000015e: DUP2 0000015f: MSTORE 00000160: PUSH1 0x04 00000162: PUSH1 0x20 00000164: MSTORE 00000165: PUSH1 0x40 00000167: SWAP1 00000168: KECCAK256 00000169: SSTORE 0000016a: STOP 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: DUP1 0000016e: ISZERO 0000016f: PUSH2 0x0177 00000172: JUMPI 00000173: PUSH1 0x00 00000175: DUP1 00000176: REVERT 00000177: JUMPDEST 00000178: POP 00000179: PUSH2 0x0180 0000017c: PUSH2 0x0485 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH1 0x40 00000183: DUP1 00000184: MLOAD 00000185: SWAP2 00000186: DUP3 00000187: MSTORE 00000188: MLOAD 00000189: SWAP1 0000018a: DUP2 0000018b: SWAP1 0000018c: SUB 0000018d: PUSH1 0x20 0000018f: ADD 00000190: SWAP1 00000191: RETURN 00000192: JUMPDEST 00000193: CALLVALUE 00000194: DUP1 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: POP 000001a0: PUSH2 0x01b6 000001a3: PUSH1 0x01 000001a5: PUSH1 0xa0 000001a7: PUSH1 0x02 000001a9: EXP 000001aa: SUB 000001ab: PUSH1 0x04 000001ad: CALLDATALOAD 000001ae: AND 000001af: PUSH1 0x24 000001b1: CALLDATALOAD 000001b2: PUSH2 0x048b 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH1 0x40 000001b9: DUP1 000001ba: MLOAD 000001bb: PUSH1 0x01 000001bd: PUSH1 0xa0 000001bf: PUSH1 0x02 000001c1: EXP 000001c2: SUB 000001c3: SWAP1 000001c4: SWAP3 000001c5: AND 000001c6: DUP3 000001c7: MSTORE 000001c8: MLOAD 000001c9: SWAP1 000001ca: DUP2 000001cb: SWAP1 000001cc: SUB 000001cd: PUSH1 0x20 000001cf: ADD 000001d0: SWAP1 000001d1: RETURN 000001d2: JUMPDEST 000001d3: CALLVALUE 000001d4: DUP1 000001d5: ISZERO 000001d6: PUSH2 0x01de 000001d9: JUMPI 000001da: PUSH1 0x00 000001dc: DUP1 000001dd: REVERT 000001de: JUMPDEST 000001df: POP 000001e0: PUSH2 0x01b6 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: PUSH1 0x02 000001e9: EXP 000001ea: SUB 000001eb: PUSH1 0x04 000001ed: CALLDATALOAD 000001ee: AND 000001ef: PUSH1 0x24 000001f1: CALLDATALOAD 000001f2: PUSH2 0x04b6 000001f5: JUMP 000001f6: JUMPDEST 000001f7: CALLVALUE 000001f8: DUP1 000001f9: ISZERO 000001fa: PUSH2 0x0202 000001fd: JUMPI 000001fe: PUSH1 0x00 00000200: DUP1 00000201: REVERT 00000202: JUMPDEST 00000203: POP 00000204: PUSH2 0x0180 00000207: PUSH1 0x01 00000209: PUSH1 0xa0 0000020b: PUSH1 0x02 0000020d: EXP 0000020e: SUB 0000020f: PUSH1 0x04 00000211: CALLDATALOAD 00000212: AND 00000213: PUSH2 0x04de 00000216: JUMP 00000217: JUMPDEST 00000218: CALLVALUE 00000219: DUP1 0000021a: ISZERO 0000021b: PUSH2 0x0223 0000021e: JUMPI 0000021f: PUSH1 0x00 00000221: DUP1 00000222: REVERT 00000223: JUMPDEST 00000224: POP 00000225: PUSH2 0x0180 00000228: PUSH1 0x01 0000022a: PUSH1 0xa0 0000022c: PUSH1 0x02 0000022e: EXP 0000022f: SUB 00000230: PUSH1 0x04 00000232: CALLDATALOAD 00000233: AND 00000234: PUSH1 0x24 00000236: CALLDATALOAD 00000237: PUSH2 0x04f0 0000023a: JUMP 0000023b: JUMPDEST 0000023c: CALLVALUE 0000023d: DUP1 0000023e: ISZERO 0000023f: PUSH2 0x0247 00000242: JUMPI 00000243: PUSH1 0x00 00000245: DUP1 00000246: REVERT 00000247: JUMPDEST 00000248: POP 00000249: PUSH2 0x0180 0000024c: PUSH2 0x051b 0000024f: JUMP 00000250: JUMPDEST 00000251: CALLVALUE 00000252: DUP1 00000253: ISZERO 00000254: PUSH2 0x025c 00000257: JUMPI 00000258: PUSH1 0x00 0000025a: DUP1 0000025b: REVERT 0000025c: JUMPDEST 0000025d: POP 0000025e: PUSH2 0x0265 00000261: PUSH2 0x0521 00000264: JUMP 00000265: JUMPDEST 00000266: STOP 00000267: JUMPDEST 00000268: CALLVALUE 00000269: DUP1 0000026a: ISZERO 0000026b: PUSH2 0x0273 0000026e: JUMPI 0000026f: PUSH1 0x00 00000271: DUP1 00000272: REVERT 00000273: JUMPDEST 00000274: POP 00000275: PUSH2 0x028b 00000278: PUSH1 0x01 0000027a: PUSH1 0xa0 0000027c: PUSH1 0x02 0000027e: EXP 0000027f: SUB 00000280: PUSH1 0x04 00000282: CALLDATALOAD 00000283: AND 00000284: PUSH1 0x24 00000286: CALLDATALOAD 00000287: PUSH2 0x0594 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH1 0x40 0000028e: DUP1 0000028f: MLOAD 00000290: PUSH1 0x01 00000292: PUSH1 0xa0 00000294: PUSH1 0x02 00000296: EXP 00000297: SUB 00000298: SWAP6 00000299: DUP7 0000029a: AND 0000029b: DUP2 0000029c: MSTORE 0000029d: SWAP4 0000029e: DUP6 0000029f: AND 000002a0: PUSH1 0x20 000002a2: DUP6 000002a3: ADD 000002a4: MSTORE 000002a5: DUP4 000002a6: DUP2 000002a7: ADD 000002a8: SWAP3 000002a9: SWAP1 000002aa: SWAP3 000002ab: MSTORE 000002ac: SWAP1 000002ad: SWAP3 000002ae: AND 000002af: PUSH1 0x60 000002b1: DUP3 000002b2: ADD 000002b3: MSTORE 000002b4: SWAP1 000002b5: MLOAD 000002b6: SWAP1 000002b7: DUP2 000002b8: SWAP1 000002b9: SUB 000002ba: PUSH1 0x80 000002bc: ADD 000002bd: SWAP1 000002be: RETURN 000002bf: JUMPDEST 000002c0: CALLVALUE 000002c1: DUP1 000002c2: ISZERO 000002c3: PUSH2 0x02cb 000002c6: JUMPI 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: REVERT 000002cb: JUMPDEST 000002cc: POP 000002cd: PUSH2 0x01b6 000002d0: PUSH2 0x05d2 000002d3: JUMP 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: DUP1 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: POP 000002e2: PUSH2 0x0265 000002e5: PUSH1 0x04 000002e7: CALLDATALOAD 000002e8: PUSH2 0x05e1 000002eb: JUMP 000002ec: JUMPDEST 000002ed: CALLVALUE 000002ee: DUP1 000002ef: ISZERO 000002f0: PUSH2 0x02f8 000002f3: JUMPI 000002f4: PUSH1 0x00 000002f6: DUP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: POP 000002fa: PUSH2 0x0180 000002fd: PUSH2 0x0610 00000300: JUMP 00000301: JUMPDEST 00000302: CALLVALUE 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x030d 00000308: JUMPI 00000309: PUSH1 0x00 0000030b: DUP1 0000030c: REVERT 0000030d: JUMPDEST 0000030e: POP 0000030f: PUSH2 0x0328 00000312: PUSH1 0x01 00000314: PUSH1 0xa0 00000316: PUSH1 0x02 00000318: EXP 00000319: SUB 0000031a: PUSH1 0x04 0000031c: CALLDATALOAD 0000031d: AND 0000031e: PUSH1 0x24 00000320: CALLDATALOAD 00000321: PUSH1 0x44 00000323: CALLDATALOAD 00000324: PUSH2 0x0616 00000327: JUMP 00000328: JUMPDEST 00000329: PUSH1 0x40 0000032b: DUP1 0000032c: MLOAD 0000032d: SWAP2 0000032e: ISZERO 0000032f: ISZERO 00000330: DUP3 00000331: MSTORE 00000332: MLOAD 00000333: SWAP1 00000334: DUP2 00000335: SWAP1 00000336: SUB 00000337: PUSH1 0x20 00000339: ADD 0000033a: SWAP1 0000033b: RETURN 0000033c: JUMPDEST 0000033d: CALLVALUE 0000033e: DUP1 0000033f: ISZERO 00000340: PUSH2 0x0348 00000343: JUMPI 00000344: PUSH1 0x00 00000346: DUP1 00000347: REVERT 00000348: JUMPDEST 00000349: POP 0000034a: PUSH2 0x01b6 0000034d: PUSH2 0x07c6 00000350: JUMP 00000351: JUMPDEST 00000352: CALLVALUE 00000353: DUP1 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: POP 0000035f: PUSH2 0x01b6 00000362: PUSH1 0x01 00000364: PUSH1 0xa0 00000366: PUSH1 0x02 00000368: EXP 00000369: SUB 0000036a: PUSH1 0x04 0000036c: CALLDATALOAD 0000036d: AND 0000036e: PUSH1 0x24 00000370: CALLDATALOAD 00000371: PUSH2 0x07d5 00000374: JUMP 00000375: JUMPDEST 00000376: CALLVALUE 00000377: DUP1 00000378: ISZERO 00000379: PUSH2 0x0381 0000037c: JUMPI 0000037d: PUSH1 0x00 0000037f: DUP1 00000380: REVERT 00000381: JUMPDEST 00000382: POP 00000383: PUSH2 0x0180 00000386: PUSH2 0x0800 00000389: JUMP 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0396 00000391: JUMPI 00000392: PUSH1 0x00 00000394: DUP1 00000395: REVERT 00000396: JUMPDEST 00000397: POP 00000398: PUSH2 0x01b6 0000039b: PUSH2 0x081c 0000039e: JUMP 0000039f: JUMPDEST 000003a0: CALLVALUE 000003a1: DUP1 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: POP 000003ad: PUSH2 0x0265 000003b0: PUSH2 0x082b 000003b3: JUMP 000003b4: JUMPDEST 000003b5: CALLVALUE 000003b6: DUP1 000003b7: ISZERO 000003b8: PUSH2 0x03c0 000003bb: JUMPI 000003bc: PUSH1 0x00 000003be: DUP1 000003bf: REVERT 000003c0: JUMPDEST 000003c1: POP 000003c2: PUSH2 0x0265 000003c5: PUSH1 0x01 000003c7: PUSH1 0xa0 000003c9: PUSH1 0x02 000003cb: EXP 000003cc: SUB 000003cd: PUSH1 0x04 000003cf: CALLDATALOAD 000003d0: AND 000003d1: PUSH2 0x08f0 000003d4: JUMP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH2 0x0265 000003e6: PUSH1 0x01 000003e8: PUSH1 0xa0 000003ea: PUSH1 0x02 000003ec: EXP 000003ed: SUB 000003ee: PUSH1 0x04 000003f0: CALLDATALOAD 000003f1: AND 000003f2: PUSH2 0x093a 000003f5: JUMP 000003f6: JUMPDEST 000003f7: CALLVALUE 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: POP 00000404: PUSH2 0x0265 00000407: PUSH1 0x01 00000409: PUSH1 0xa0 0000040b: PUSH1 0x02 0000040d: EXP 0000040e: SUB 0000040f: PUSH1 0x04 00000411: CALLDATALOAD 00000412: AND 00000413: PUSH2 0x0984 00000416: JUMP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x0180 00000428: PUSH1 0x01 0000042a: PUSH1 0xa0 0000042c: PUSH1 0x02 0000042e: EXP 0000042f: SUB 00000430: PUSH1 0x04 00000432: CALLDATALOAD 00000433: DUP2 00000434: AND 00000435: SWAP1 00000436: PUSH1 0x24 00000438: CALLDATALOAD 00000439: AND 0000043a: PUSH2 0x09e3 0000043d: JUMP 0000043e: JUMPDEST 0000043f: CALLVALUE 00000440: DUP1 00000441: ISZERO 00000442: PUSH2 0x044a 00000445: JUMPI 00000446: PUSH1 0x00 00000448: DUP1 00000449: REVERT 0000044a: JUMPDEST 0000044b: POP 0000044c: PUSH2 0x0328 0000044f: PUSH1 0x01 00000451: PUSH1 0xa0 00000453: PUSH1 0x02 00000455: EXP 00000456: SUB 00000457: PUSH1 0x04 00000459: CALLDATALOAD 0000045a: DUP2 0000045b: AND 0000045c: SWAP1 0000045d: PUSH1 0x24 0000045f: CALLDATALOAD 00000460: AND 00000461: PUSH1 0x44 00000463: CALLDATALOAD 00000464: PUSH1 0x64 00000466: CALLDATALOAD 00000467: PUSH2 0x0a91 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x00 0000046e: DUP3 0000046f: DUP3 00000470: ADD 00000471: DUP4 00000472: DUP2 00000473: LT 00000474: ISZERO 00000475: PUSH2 0x047a 00000478: JUMPI 00000479: INVALID 0000047a: JUMPDEST 0000047b: DUP1 0000047c: SWAP2 0000047d: POP 0000047e: JUMPDEST 0000047f: POP 00000480: SWAP3 00000481: SWAP2 00000482: POP 00000483: POP 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH1 0x07 00000488: SLOAD 00000489: DUP2 0000048a: JUMP 0000048b: JUMPDEST 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: PUSH1 0x02 00000492: EXP 00000493: SUB 00000494: SWAP2 00000495: DUP3 00000496: AND 00000497: PUSH1 0x00 00000499: SWAP1 0000049a: DUP2 0000049b: MSTORE 0000049c: PUSH1 0x03 0000049e: PUSH1 0x20 000004a0: SWAP1 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x40 000004a5: DUP1 000004a6: DUP4 000004a7: KECCAK256 000004a8: SWAP4 000004a9: DUP4 000004aa: MSTORE 000004ab: SWAP3 000004ac: SWAP1 000004ad: MSTORE 000004ae: KECCAK256 000004af: PUSH1 0x01 000004b1: ADD 000004b2: SLOAD 000004b3: AND 000004b4: SWAP1 000004b5: JUMP 000004b6: JUMPDEST 000004b7: PUSH1 0x01 000004b9: PUSH1 0xa0 000004bb: PUSH1 0x02 000004bd: EXP 000004be: SUB 000004bf: SWAP2 000004c0: DUP3 000004c1: AND 000004c2: PUSH1 0x00 000004c4: SWAP1 000004c5: DUP2 000004c6: MSTORE 000004c7: PUSH1 0x03 000004c9: PUSH1 0x20 000004cb: SWAP1 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x40 000004d0: DUP1 000004d1: DUP4 000004d2: KECCAK256 000004d3: SWAP4 000004d4: DUP4 000004d5: MSTORE 000004d6: SWAP3 000004d7: SWAP1 000004d8: MSTORE 000004d9: KECCAK256 000004da: SLOAD 000004db: AND 000004dc: SWAP1 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x04 000004e1: PUSH1 0x20 000004e3: MSTORE 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x40 000004eb: SWAP1 000004ec: KECCAK256 000004ed: SLOAD 000004ee: DUP2 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x01 000004f3: PUSH1 0xa0 000004f5: PUSH1 0x02 000004f7: EXP 000004f8: SUB 000004f9: SWAP2 000004fa: SWAP1 000004fb: SWAP2 000004fc: AND 000004fd: PUSH1 0x00 000004ff: SWAP1 00000500: DUP2 00000501: MSTORE 00000502: PUSH1 0x03 00000504: PUSH1 0x20 00000506: SWAP1 00000507: DUP2 00000508: MSTORE 00000509: PUSH1 0x40 0000050b: DUP1 0000050c: DUP4 0000050d: KECCAK256 0000050e: SWAP4 0000050f: DUP4 00000510: MSTORE 00000511: SWAP3 00000512: SWAP1 00000513: MSTORE 00000514: KECCAK256 00000515: PUSH1 0x02 00000517: ADD 00000518: SLOAD 00000519: SWAP1 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH1 0x05 0000051e: SLOAD 0000051f: SWAP1 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x01 00000524: PUSH1 0xa0 00000526: PUSH1 0x02 00000528: EXP 00000529: SUB 0000052a: CALLER 0000052b: AND 0000052c: PUSH1 0x00 0000052e: SWAP1 0000052f: DUP2 00000530: MSTORE 00000531: PUSH1 0x04 00000533: PUSH1 0x20 00000535: MSTORE 00000536: PUSH1 0x40 00000538: DUP2 00000539: KECCAK256 0000053a: SLOAD 0000053b: DUP2 0000053c: LT 0000053d: PUSH2 0x0545 00000540: JUMPI 00000541: PUSH1 0x00 00000543: DUP1 00000544: REVERT 00000545: JUMPDEST 00000546: POP 00000547: PUSH1 0x01 00000549: PUSH1 0xa0 0000054b: PUSH1 0x02 0000054d: EXP 0000054e: SUB 0000054f: CALLER 00000550: AND 00000551: PUSH1 0x00 00000553: DUP2 00000554: DUP2 00000555: MSTORE 00000556: PUSH1 0x04 00000558: PUSH1 0x20 0000055a: MSTORE 0000055b: PUSH1 0x40 0000055d: DUP1 0000055e: DUP3 0000055f: KECCAK256 00000560: DUP1 00000561: SLOAD 00000562: SWAP1 00000563: DUP4 00000564: SWAP1 00000565: SSTORE 00000566: SWAP1 00000567: MLOAD 00000568: SWAP1 00000569: SWAP3 0000056a: SWAP2 0000056b: DUP4 0000056c: ISZERO 0000056d: PUSH2 0x08fc 00000570: MUL 00000571: SWAP2 00000572: DUP5 00000573: SWAP2 00000574: DUP2 00000575: DUP2 00000576: DUP2 00000577: DUP6 00000578: DUP9 00000579: DUP9 0000057a: CALL 0000057b: SWAP4 0000057c: POP 0000057d: POP 0000057e: POP 0000057f: POP 00000580: ISZERO 00000581: DUP1 00000582: ISZERO 00000583: PUSH2 0x0590 00000586: JUMPI 00000587: RETURNDATASIZE 00000588: PUSH1 0x00 0000058a: DUP1 0000058b: RETURNDATACOPY 0000058c: RETURNDATASIZE 0000058d: PUSH1 0x00 0000058f: REVERT 00000590: JUMPDEST 00000591: POP 00000592: POP 00000593: JUMP 00000594: JUMPDEST 00000595: PUSH1 0x03 00000597: PUSH1 0x20 00000599: DUP2 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x00 0000059e: SWAP4 0000059f: DUP5 000005a0: MSTORE 000005a1: PUSH1 0x40 000005a3: DUP1 000005a4: DUP6 000005a5: KECCAK256 000005a6: SWAP1 000005a7: SWAP2 000005a8: MSTORE 000005a9: SWAP2 000005aa: DUP4 000005ab: MSTORE 000005ac: SWAP2 000005ad: KECCAK256 000005ae: DUP1 000005af: SLOAD 000005b0: PUSH1 0x01 000005b2: DUP3 000005b3: ADD 000005b4: SLOAD 000005b5: PUSH1 0x02 000005b7: DUP4 000005b8: ADD 000005b9: SLOAD 000005ba: SWAP3 000005bb: SWAP1 000005bc: SWAP4 000005bd: ADD 000005be: SLOAD 000005bf: PUSH1 0x01 000005c1: PUSH1 0xa0 000005c3: PUSH1 0x02 000005c5: EXP 000005c6: SUB 000005c7: SWAP2 000005c8: DUP3 000005c9: AND 000005ca: SWAP4 000005cb: DUP3 000005cc: AND 000005cd: SWAP3 000005ce: SWAP2 000005cf: AND 000005d0: DUP5 000005d1: JUMP 000005d2: JUMPDEST 000005d3: PUSH1 0x02 000005d5: SLOAD 000005d6: PUSH1 0x01 000005d8: PUSH1 0xa0 000005da: PUSH1 0x02 000005dc: EXP 000005dd: SUB 000005de: AND 000005df: DUP2 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x00 000005e4: SLOAD 000005e5: CALLER 000005e6: PUSH1 0x01 000005e8: PUSH1 0xa0 000005ea: PUSH1 0x02 000005ec: EXP 000005ed: SUB 000005ee: SWAP1 000005ef: DUP2 000005f0: AND 000005f1: SWAP2 000005f2: AND 000005f3: EQ 000005f4: PUSH2 0x05fc 000005f7: JUMPI 000005f8: PUSH1 0x00 000005fa: DUP1 000005fb: REVERT 000005fc: JUMPDEST 000005fd: PUSH1 0x07 000005ff: SLOAD 00000600: DUP2 00000601: GT 00000602: ISZERO 00000603: PUSH2 0x060b 00000606: JUMPI 00000607: PUSH1 0x00 00000609: DUP1 0000060a: REVERT 0000060b: JUMPDEST 0000060c: PUSH1 0x06 0000060e: SSTORE 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH1 0x06 00000613: SLOAD 00000614: DUP2 00000615: JUMP 00000616: JUMPDEST 00000617: PUSH1 0x00 00000619: DUP1 0000061a: PUSH1 0x01 0000061c: PUSH1 0xa0 0000061e: PUSH1 0x02 00000620: EXP 00000621: SUB 00000622: DUP6 00000623: AND 00000624: ISZERO 00000625: ISZERO 00000626: PUSH2 0x062e 00000629: JUMPI 0000062a: PUSH1 0x00 0000062c: DUP1 0000062d: REVERT 0000062e: JUMPDEST 0000062f: PUSH1 0x00 00000631: DUP4 00000632: GT 00000633: PUSH2 0x063b 00000636: JUMPI 00000637: PUSH1 0x00 00000639: DUP1 0000063a: REVERT 0000063b: JUMPDEST 0000063c: PUSH1 0x01 0000063e: PUSH1 0xa0 00000640: PUSH1 0x02 00000642: EXP 00000643: SUB 00000644: CALLER 00000645: AND 00000646: PUSH1 0x00 00000648: SWAP1 00000649: DUP2 0000064a: MSTORE 0000064b: PUSH1 0x04 0000064d: PUSH1 0x20 0000064f: MSTORE 00000650: PUSH1 0x40 00000652: SWAP1 00000653: KECCAK256 00000654: SLOAD 00000655: DUP4 00000656: GT 00000657: ISZERO 00000658: PUSH2 0x0660 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: PUSH2 0x0689 00000664: PUSH4 0x05f5e100 00000669: PUSH2 0x067d 0000066c: PUSH1 0x06 0000066e: SLOAD 0000066f: DUP7 00000670: PUSH2 0x0cb8 00000673: SWAP1 00000674: SWAP2 00000675: SWAP1 00000676: PUSH4 0xffffffff 0000067b: AND 0000067c: JUMP 0000067d: JUMPDEST 0000067e: SWAP1 0000067f: PUSH4 0xffffffff 00000684: PUSH2 0x0ce3 00000687: AND 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH1 0x01 0000068c: PUSH1 0xa0 0000068e: PUSH1 0x02 00000690: EXP 00000691: SUB 00000692: CALLER 00000693: AND 00000694: PUSH1 0x00 00000696: SWAP1 00000697: DUP2 00000698: MSTORE 00000699: PUSH1 0x04 0000069b: PUSH1 0x20 0000069d: MSTORE 0000069e: PUSH1 0x40 000006a0: SWAP1 000006a1: KECCAK256 000006a2: SLOAD 000006a3: SWAP1 000006a4: SWAP2 000006a5: POP 000006a6: PUSH2 0x06b5 000006a9: SWAP1 000006aa: DUP5 000006ab: PUSH4 0xffffffff 000006b0: PUSH2 0x0cfa 000006b3: AND 000006b4: JUMP 000006b5: JUMPDEST 000006b6: PUSH1 0x01 000006b8: PUSH1 0xa0 000006ba: PUSH1 0x02 000006bc: EXP 000006bd: SUB 000006be: CALLER 000006bf: DUP2 000006c0: AND 000006c1: PUSH1 0x00 000006c3: SWAP1 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x04 000006c8: PUSH1 0x20 000006ca: MSTORE 000006cb: PUSH1 0x40 000006cd: SWAP1 000006ce: KECCAK256 000006cf: SWAP2 000006d0: SWAP1 000006d1: SWAP2 000006d2: SSTORE 000006d3: DUP6 000006d4: AND 000006d5: PUSH2 0x08fc 000006d8: PUSH2 0x06e7 000006db: DUP6 000006dc: DUP5 000006dd: PUSH4 0xffffffff 000006e2: PUSH2 0x0cfa 000006e5: AND 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x40 000006ea: MLOAD 000006eb: DUP2 000006ec: ISZERO 000006ed: SWAP1 000006ee: SWAP3 000006ef: MUL 000006f0: SWAP2 000006f1: PUSH1 0x00 000006f3: DUP2 000006f4: DUP2 000006f5: DUP2 000006f6: DUP6 000006f7: DUP9 000006f8: DUP9 000006f9: CALL 000006fa: SWAP4 000006fb: POP 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: ISZERO 00000700: DUP1 00000701: ISZERO 00000702: PUSH2 0x070f 00000705: JUMPI 00000706: RETURNDATASIZE 00000707: PUSH1 0x00 00000709: DUP1 0000070a: RETURNDATACOPY 0000070b: RETURNDATASIZE 0000070c: PUSH1 0x00 0000070e: REVERT 0000070f: JUMPDEST 00000710: POP 00000711: PUSH1 0x05 00000713: SLOAD 00000714: PUSH2 0x0723 00000717: SWAP1 00000718: DUP3 00000719: PUSH4 0xffffffff 0000071e: PUSH2 0x046b 00000721: AND 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH1 0x05 00000726: SSTORE 00000727: POP 00000728: POP 00000729: PUSH1 0x40 0000072b: DUP1 0000072c: MLOAD 0000072d: PUSH1 0x80 0000072f: DUP2 00000730: ADD 00000731: DUP3 00000732: MSTORE 00000733: PUSH1 0x01 00000735: PUSH1 0xa0 00000737: PUSH1 0x02 00000739: EXP 0000073a: SUB 0000073b: CALLER 0000073c: DUP2 0000073d: AND 0000073e: DUP3 0000073f: MSTORE 00000740: SWAP5 00000741: DUP6 00000742: AND 00000743: PUSH1 0x20 00000745: DUP1 00000746: DUP4 00000747: ADD 00000748: DUP3 00000749: DUP2 0000074a: MSTORE 0000074b: DUP4 0000074c: DUP6 0000074d: ADD 0000074e: SWAP6 0000074f: DUP7 00000750: MSTORE 00000751: PUSH1 0x01 00000753: PUSH1 0x60 00000755: DUP6 00000756: ADD 00000757: DUP2 00000758: DUP2 00000759: MSTORE 0000075a: PUSH1 0x00 0000075c: SWAP5 0000075d: DUP6 0000075e: MSTORE 0000075f: PUSH1 0x03 00000761: DUP1 00000762: DUP6 00000763: MSTORE 00000764: DUP8 00000765: DUP7 00000766: KECCAK256 00000767: SWAP10 00000768: DUP7 00000769: MSTORE 0000076a: SWAP9 0000076b: SWAP1 0000076c: SWAP4 0000076d: MSTORE 0000076e: SWAP5 0000076f: SWAP1 00000770: SWAP3 00000771: KECCAK256 00000772: SWAP3 00000773: MLOAD 00000774: DUP4 00000775: SLOAD 00000776: SWAP1 00000777: DUP9 00000778: AND 00000779: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000078e: NOT 0000078f: SWAP2 00000790: DUP3 00000791: AND 00000792: OR 00000793: DUP5 00000794: SSTORE 00000795: SWAP2 00000796: MLOAD 00000797: DUP4 00000798: DUP6 00000799: ADD 0000079a: DUP1 0000079b: SLOAD 0000079c: SWAP2 0000079d: DUP10 0000079e: AND 0000079f: SWAP2 000007a0: DUP5 000007a1: AND 000007a2: SWAP2 000007a3: SWAP1 000007a4: SWAP2 000007a5: OR 000007a6: SWAP1 000007a7: SSTORE 000007a8: SWAP4 000007a9: MLOAD 000007aa: PUSH1 0x02 000007ac: DUP4 000007ad: ADD 000007ae: SSTORE 000007af: SWAP3 000007b0: MLOAD 000007b1: SWAP4 000007b2: ADD 000007b3: DUP1 000007b4: SLOAD 000007b5: SWAP4 000007b6: SWAP1 000007b7: SWAP5 000007b8: AND 000007b9: SWAP3 000007ba: SWAP1 000007bb: SWAP2 000007bc: AND 000007bd: SWAP2 000007be: SWAP1 000007bf: SWAP2 000007c0: OR 000007c1: SWAP1 000007c2: SWAP2 000007c3: SSTORE 000007c4: SWAP1 000007c5: JUMP 000007c6: JUMPDEST 000007c7: PUSH1 0x00 000007c9: SLOAD 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: PUSH1 0x02 000007d0: EXP 000007d1: SUB 000007d2: AND 000007d3: DUP2 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH1 0x01 000007d8: PUSH1 0xa0 000007da: PUSH1 0x02 000007dc: EXP 000007dd: SUB 000007de: SWAP2 000007df: DUP3 000007e0: AND 000007e1: PUSH1 0x00 000007e3: SWAP1 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x03 000007e8: PUSH1 0x20 000007ea: DUP2 000007eb: DUP2 000007ec: MSTORE 000007ed: PUSH1 0x40 000007ef: DUP1 000007f0: DUP5 000007f1: KECCAK256 000007f2: SWAP5 000007f3: DUP5 000007f4: MSTORE 000007f5: SWAP4 000007f6: SWAP1 000007f7: MSTORE 000007f8: SWAP2 000007f9: SWAP1 000007fa: KECCAK256 000007fb: ADD 000007fc: SLOAD 000007fd: AND 000007fe: SWAP1 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x01 00000803: PUSH1 0xa0 00000805: PUSH1 0x02 00000807: EXP 00000808: SUB 00000809: CALLER 0000080a: AND 0000080b: PUSH1 0x00 0000080d: SWAP1 0000080e: DUP2 0000080f: MSTORE 00000810: PUSH1 0x04 00000812: PUSH1 0x20 00000814: MSTORE 00000815: PUSH1 0x40 00000817: SWAP1 00000818: KECCAK256 00000819: SLOAD 0000081a: SWAP1 0000081b: JUMP 0000081c: JUMPDEST 0000081d: PUSH1 0x01 0000081f: SLOAD 00000820: PUSH1 0x01 00000822: PUSH1 0xa0 00000824: PUSH1 0x02 00000826: EXP 00000827: SUB 00000828: AND 00000829: DUP2 0000082a: JUMP 0000082b: JUMPDEST 0000082c: PUSH1 0x00 0000082e: DUP1 0000082f: SLOAD 00000830: CALLER 00000831: PUSH1 0x01 00000833: PUSH1 0xa0 00000835: PUSH1 0x02 00000837: EXP 00000838: SUB 00000839: SWAP1 0000083a: DUP2 0000083b: AND 0000083c: SWAP2 0000083d: AND 0000083e: EQ 0000083f: PUSH2 0x0847 00000842: JUMPI 00000843: PUSH1 0x00 00000845: DUP1 00000846: REVERT 00000847: JUMPDEST 00000848: PUSH1 0x05 0000084a: SLOAD 0000084b: PUSH2 0x085b 0000084e: SWAP1 0000084f: PUSH1 0x02 00000851: PUSH4 0xffffffff 00000856: PUSH2 0x0ce3 00000859: AND 0000085a: JUMP 0000085b: JUMPDEST 0000085c: PUSH1 0x01 0000085e: SLOAD 0000085f: PUSH1 0x40 00000861: MLOAD 00000862: SWAP2 00000863: SWAP3 00000864: POP 00000865: PUSH1 0x01 00000867: PUSH1 0xa0 00000869: PUSH1 0x02 0000086b: EXP 0000086c: SUB 0000086d: AND 0000086e: SWAP1 0000086f: DUP3 00000870: ISZERO 00000871: PUSH2 0x08fc 00000874: MUL 00000875: SWAP1 00000876: DUP4 00000877: SWAP1 00000878: PUSH1 0x00 0000087a: DUP2 0000087b: DUP2 0000087c: DUP2 0000087d: DUP6 0000087e: DUP9 0000087f: DUP9 00000880: CALL 00000881: SWAP4 00000882: POP 00000883: POP 00000884: POP 00000885: POP 00000886: ISZERO 00000887: DUP1 00000888: ISZERO 00000889: PUSH2 0x0896 0000088c: JUMPI 0000088d: RETURNDATASIZE 0000088e: PUSH1 0x00 00000890: DUP1 00000891: RETURNDATACOPY 00000892: RETURNDATASIZE 00000893: PUSH1 0x00 00000895: REVERT 00000896: JUMPDEST 00000897: POP 00000898: PUSH1 0x05 0000089a: SLOAD 0000089b: PUSH2 0x08aa 0000089e: SWAP1 0000089f: DUP3 000008a0: PUSH4 0xffffffff 000008a5: PUSH2 0x0cfa 000008a8: AND 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH1 0x05 000008ad: DUP2 000008ae: SWAP1 000008af: SSTORE 000008b0: PUSH1 0x02 000008b2: SLOAD 000008b3: PUSH1 0x40 000008b5: MLOAD 000008b6: PUSH1 0x01 000008b8: PUSH1 0xa0 000008ba: PUSH1 0x02 000008bc: EXP 000008bd: SUB 000008be: SWAP1 000008bf: SWAP2 000008c0: AND 000008c1: SWAP2 000008c2: DUP1 000008c3: ISZERO 000008c4: PUSH2 0x08fc 000008c7: MUL 000008c8: SWAP2 000008c9: PUSH1 0x00 000008cb: DUP2 000008cc: DUP2 000008cd: DUP2 000008ce: DUP6 000008cf: DUP9 000008d0: DUP9 000008d1: CALL 000008d2: SWAP4 000008d3: POP 000008d4: POP 000008d5: POP 000008d6: POP 000008d7: ISZERO 000008d8: DUP1 000008d9: ISZERO 000008da: PUSH2 0x08e7 000008dd: JUMPI 000008de: RETURNDATASIZE 000008df: PUSH1 0x00 000008e1: DUP1 000008e2: RETURNDATACOPY 000008e3: RETURNDATASIZE 000008e4: PUSH1 0x00 000008e6: REVERT 000008e7: JUMPDEST 000008e8: POP 000008e9: POP 000008ea: PUSH1 0x00 000008ec: PUSH1 0x05 000008ee: SSTORE 000008ef: JUMP 000008f0: JUMPDEST 000008f1: PUSH1 0x00 000008f3: SLOAD 000008f4: CALLER 000008f5: PUSH1 0x01 000008f7: PUSH1 0xa0 000008f9: PUSH1 0x02 000008fb: EXP 000008fc: SUB 000008fd: SWAP1 000008fe: DUP2 000008ff: AND 00000900: SWAP2 00000901: AND 00000902: EQ 00000903: PUSH2 0x090b 00000906: JUMPI 00000907: PUSH1 0x00 00000909: DUP1 0000090a: REVERT 0000090b: JUMPDEST 0000090c: PUSH1 0x01 0000090e: DUP1 0000090f: SLOAD 00000910: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000925: NOT 00000926: AND 00000927: PUSH1 0x01 00000929: PUSH1 0xa0 0000092b: PUSH1 0x02 0000092d: EXP 0000092e: SUB 0000092f: SWAP3 00000930: SWAP1 00000931: SWAP3 00000932: AND 00000933: SWAP2 00000934: SWAP1 00000935: SWAP2 00000936: OR 00000937: SWAP1 00000938: SSTORE 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH1 0x00 0000093d: SLOAD 0000093e: CALLER 0000093f: PUSH1 0x01 00000941: PUSH1 0xa0 00000943: PUSH1 0x02 00000945: EXP 00000946: SUB 00000947: SWAP1 00000948: DUP2 00000949: AND 0000094a: SWAP2 0000094b: AND 0000094c: EQ 0000094d: PUSH2 0x0955 00000950: JUMPI 00000951: PUSH1 0x00 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: PUSH1 0x02 00000958: DUP1 00000959: SLOAD 0000095a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096f: NOT 00000970: AND 00000971: PUSH1 0x01 00000973: PUSH1 0xa0 00000975: PUSH1 0x02 00000977: EXP 00000978: SUB 00000979: SWAP3 0000097a: SWAP1 0000097b: SWAP3 0000097c: AND 0000097d: SWAP2 0000097e: SWAP1 0000097f: SWAP2 00000980: OR 00000981: SWAP1 00000982: SSTORE 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH1 0x00 00000987: SLOAD 00000988: CALLER 00000989: PUSH1 0x01 0000098b: PUSH1 0xa0 0000098d: PUSH1 0x02 0000098f: EXP 00000990: SUB 00000991: SWAP1 00000992: DUP2 00000993: AND 00000994: SWAP2 00000995: AND 00000996: EQ 00000997: PUSH2 0x099f 0000099a: JUMPI 0000099b: PUSH1 0x00 0000099d: DUP1 0000099e: REVERT 0000099f: JUMPDEST 000009a0: PUSH1 0x01 000009a2: PUSH1 0xa0 000009a4: PUSH1 0x02 000009a6: EXP 000009a7: SUB 000009a8: DUP2 000009a9: AND 000009aa: ISZERO 000009ab: ISZERO 000009ac: PUSH2 0x09b4 000009af: JUMPI 000009b0: PUSH1 0x00 000009b2: DUP1 000009b3: REVERT 000009b4: JUMPDEST 000009b5: PUSH1 0x00 000009b7: DUP1 000009b8: SLOAD 000009b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ce: NOT 000009cf: AND 000009d0: PUSH1 0x01 000009d2: PUSH1 0xa0 000009d4: PUSH1 0x02 000009d6: EXP 000009d7: SUB 000009d8: SWAP3 000009d9: SWAP1 000009da: SWAP3 000009db: AND 000009dc: SWAP2 000009dd: SWAP1 000009de: SWAP2 000009df: OR 000009e0: SWAP1 000009e1: SSTORE 000009e2: JUMP 000009e3: JUMPDEST 000009e4: PUSH1 0x00 000009e6: DUP1 000009e7: DUP4 000009e8: SWAP1 000009e9: POP 000009ea: DUP1 000009eb: PUSH1 0x01 000009ed: PUSH1 0xa0 000009ef: PUSH1 0x02 000009f1: EXP 000009f2: SUB 000009f3: AND 000009f4: PUSH4 0x70a08231 000009f9: DUP5 000009fa: PUSH1 0x40 000009fc: MLOAD 000009fd: DUP3 000009fe: PUSH4 0xffffffff 00000a03: AND 00000a04: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a22: MUL 00000a23: DUP2 00000a24: MSTORE 00000a25: PUSH1 0x04 00000a27: ADD 00000a28: DUP1 00000a29: DUP3 00000a2a: PUSH1 0x01 00000a2c: PUSH1 0xa0 00000a2e: PUSH1 0x02 00000a30: EXP 00000a31: SUB 00000a32: AND 00000a33: PUSH1 0x01 00000a35: PUSH1 0xa0 00000a37: PUSH1 0x02 00000a39: EXP 00000a3a: SUB 00000a3b: AND 00000a3c: DUP2 00000a3d: MSTORE 00000a3e: PUSH1 0x20 00000a40: ADD 00000a41: SWAP2 00000a42: POP 00000a43: POP 00000a44: PUSH1 0x20 00000a46: PUSH1 0x40 00000a48: MLOAD 00000a49: DUP1 00000a4a: DUP4 00000a4b: SUB 00000a4c: DUP2 00000a4d: PUSH1 0x00 00000a4f: DUP8 00000a50: DUP1 00000a51: EXTCODESIZE 00000a52: ISZERO 00000a53: DUP1 00000a54: ISZERO 00000a55: PUSH2 0x0a5d 00000a58: JUMPI 00000a59: PUSH1 0x00 00000a5b: DUP1 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: POP 00000a5f: GAS 00000a60: CALL 00000a61: ISZERO 00000a62: DUP1 00000a63: ISZERO 00000a64: PUSH2 0x0a71 00000a67: JUMPI 00000a68: RETURNDATASIZE 00000a69: PUSH1 0x00 00000a6b: DUP1 00000a6c: RETURNDATACOPY 00000a6d: RETURNDATASIZE 00000a6e: PUSH1 0x00 00000a70: REVERT 00000a71: JUMPDEST 00000a72: POP 00000a73: POP 00000a74: POP 00000a75: POP 00000a76: PUSH1 0x40 00000a78: MLOAD 00000a79: RETURNDATASIZE 00000a7a: PUSH1 0x20 00000a7c: DUP2 00000a7d: LT 00000a7e: ISZERO 00000a7f: PUSH2 0x0a87 00000a82: JUMPI 00000a83: PUSH1 0x00 00000a85: DUP1 00000a86: REVERT 00000a87: JUMPDEST 00000a88: POP 00000a89: MLOAD 00000a8a: SWAP5 00000a8b: SWAP4 00000a8c: POP 00000a8d: POP 00000a8e: POP 00000a8f: POP 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH1 0x00 00000a94: DUP1 00000a95: PUSH1 0x01 00000a97: PUSH1 0xa0 00000a99: PUSH1 0x02 00000a9b: EXP 00000a9c: SUB 00000a9d: DUP7 00000a9e: AND 00000a9f: ISZERO 00000aa0: ISZERO 00000aa1: PUSH2 0x0aa9 00000aa4: JUMPI 00000aa5: PUSH1 0x00 00000aa7: DUP1 00000aa8: REVERT 00000aa9: JUMPDEST 00000aaa: PUSH1 0x01 00000aac: PUSH1 0xa0 00000aae: PUSH1 0x02 00000ab0: EXP 00000ab1: SUB 00000ab2: DUP6 00000ab3: AND 00000ab4: ISZERO 00000ab5: ISZERO 00000ab6: PUSH2 0x0abe 00000ab9: JUMPI 00000aba: PUSH1 0x00 00000abc: DUP1 00000abd: REVERT 00000abe: JUMPDEST 00000abf: PUSH1 0x00 00000ac1: DUP4 00000ac2: GT 00000ac3: PUSH2 0x0acb 00000ac6: JUMPI 00000ac7: PUSH1 0x00 00000ac9: DUP1 00000aca: REVERT 00000acb: JUMPDEST 00000acc: POP 00000acd: PUSH1 0x40 00000acf: DUP1 00000ad0: MLOAD 00000ad1: PUSH32 0xdd62ed3e00000000000000000000000000000000000000000000000000000000 00000af2: DUP2 00000af3: MSTORE 00000af4: PUSH1 0x01 00000af6: PUSH1 0xa0 00000af8: PUSH1 0x02 00000afa: EXP 00000afb: SUB 00000afc: CALLER 00000afd: DUP2 00000afe: AND 00000aff: PUSH1 0x04 00000b01: DUP4 00000b02: ADD 00000b03: MSTORE 00000b04: ADDRESS 00000b05: DUP2 00000b06: AND 00000b07: PUSH1 0x24 00000b09: DUP4 00000b0a: ADD 00000b0b: MSTORE 00000b0c: SWAP2 00000b0d: MLOAD 00000b0e: DUP8 00000b0f: SWAP3 00000b10: DUP6 00000b11: SWAP3 00000b12: SWAP1 00000b13: DUP5 00000b14: AND 00000b15: SWAP2 00000b16: PUSH4 0xdd62ed3e 00000b1b: SWAP2 00000b1c: PUSH1 0x44 00000b1e: DUP1 00000b1f: DUP3 00000b20: ADD 00000b21: SWAP3 00000b22: PUSH1 0x20 00000b24: SWAP3 00000b25: SWAP1 00000b26: SWAP2 00000b27: SWAP1 00000b28: DUP3 00000b29: SWAP1 00000b2a: SUB 00000b2b: ADD 00000b2c: DUP2 00000b2d: PUSH1 0x00 00000b2f: DUP8 00000b30: DUP1 00000b31: EXTCODESIZE 00000b32: ISZERO 00000b33: DUP1 00000b34: ISZERO 00000b35: PUSH2 0x0b3d 00000b38: JUMPI 00000b39: PUSH1 0x00 00000b3b: DUP1 00000b3c: REVERT 00000b3d: JUMPDEST 00000b3e: POP 00000b3f: GAS 00000b40: CALL 00000b41: ISZERO 00000b42: DUP1 00000b43: ISZERO 00000b44: PUSH2 0x0b51 00000b47: JUMPI 00000b48: RETURNDATASIZE 00000b49: PUSH1 0x00 00000b4b: DUP1 00000b4c: RETURNDATACOPY 00000b4d: RETURNDATASIZE 00000b4e: PUSH1 0x00 00000b50: REVERT 00000b51: JUMPDEST 00000b52: POP 00000b53: POP 00000b54: POP 00000b55: POP 00000b56: PUSH1 0x40 00000b58: MLOAD 00000b59: RETURNDATASIZE 00000b5a: PUSH1 0x20 00000b5c: DUP2 00000b5d: LT 00000b5e: ISZERO 00000b5f: PUSH2 0x0b67 00000b62: JUMPI 00000b63: PUSH1 0x00 00000b65: DUP1 00000b66: REVERT 00000b67: JUMPDEST 00000b68: POP 00000b69: MLOAD 00000b6a: LT 00000b6b: ISZERO 00000b6c: PUSH2 0x0b74 00000b6f: JUMPI 00000b70: PUSH1 0x00 00000b72: DUP1 00000b73: REVERT 00000b74: JUMPDEST 00000b75: PUSH1 0x40 00000b77: DUP1 00000b78: MLOAD 00000b79: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x01 00000b9e: PUSH1 0xa0 00000ba0: PUSH1 0x02 00000ba2: EXP 00000ba3: SUB 00000ba4: CALLER 00000ba5: DUP2 00000ba6: AND 00000ba7: PUSH1 0x04 00000ba9: DUP4 00000baa: ADD 00000bab: MSTORE 00000bac: DUP8 00000bad: DUP2 00000bae: AND 00000baf: PUSH1 0x24 00000bb1: DUP4 00000bb2: ADD 00000bb3: MSTORE 00000bb4: PUSH1 0x44 00000bb6: DUP3 00000bb7: ADD 00000bb8: DUP7 00000bb9: SWAP1 00000bba: MSTORE 00000bbb: SWAP2 00000bbc: MLOAD 00000bbd: SWAP2 00000bbe: DUP4 00000bbf: AND 00000bc0: SWAP2 00000bc1: PUSH4 0x23b872dd 00000bc6: SWAP2 00000bc7: PUSH1 0x64 00000bc9: DUP1 00000bca: DUP3 00000bcb: ADD 00000bcc: SWAP3 00000bcd: PUSH1 0x20 00000bcf: SWAP3 00000bd0: SWAP1 00000bd1: SWAP2 00000bd2: SWAP1 00000bd3: DUP3 00000bd4: SWAP1 00000bd5: SUB 00000bd6: ADD 00000bd7: DUP2 00000bd8: PUSH1 0x00 00000bda: DUP8 00000bdb: DUP1 00000bdc: EXTCODESIZE 00000bdd: ISZERO 00000bde: DUP1 00000bdf: ISZERO 00000be0: PUSH2 0x0be8 00000be3: JUMPI 00000be4: PUSH1 0x00 00000be6: DUP1 00000be7: REVERT 00000be8: JUMPDEST 00000be9: POP 00000bea: GAS 00000beb: CALL 00000bec: ISZERO 00000bed: DUP1 00000bee: ISZERO 00000bef: PUSH2 0x0bfc 00000bf2: JUMPI 00000bf3: RETURNDATASIZE 00000bf4: PUSH1 0x00 00000bf6: DUP1 00000bf7: RETURNDATACOPY 00000bf8: RETURNDATASIZE 00000bf9: PUSH1 0x00 00000bfb: REVERT 00000bfc: JUMPDEST 00000bfd: POP 00000bfe: POP 00000bff: POP 00000c00: POP 00000c01: PUSH1 0x40 00000c03: MLOAD 00000c04: RETURNDATASIZE 00000c05: PUSH1 0x20 00000c07: DUP2 00000c08: LT 00000c09: ISZERO 00000c0a: PUSH2 0x0c12 00000c0d: JUMPI 00000c0e: PUSH1 0x00 00000c10: DUP1 00000c11: REVERT 00000c12: JUMPDEST 00000c13: POP 00000c14: POP 00000c15: PUSH1 0x40 00000c17: DUP1 00000c18: MLOAD 00000c19: PUSH1 0x80 00000c1b: DUP2 00000c1c: ADD 00000c1d: DUP3 00000c1e: MSTORE 00000c1f: PUSH1 0x01 00000c21: PUSH1 0xa0 00000c23: PUSH1 0x02 00000c25: EXP 00000c26: SUB 00000c27: CALLER 00000c28: DUP2 00000c29: AND 00000c2a: DUP3 00000c2b: MSTORE 00000c2c: SWAP7 00000c2d: DUP8 00000c2e: AND 00000c2f: PUSH1 0x20 00000c31: DUP3 00000c32: DUP2 00000c33: ADD 00000c34: DUP3 00000c35: DUP2 00000c36: MSTORE 00000c37: DUP4 00000c38: DUP6 00000c39: ADD 00000c3a: SWAP8 00000c3b: DUP9 00000c3c: MSTORE 00000c3d: SWAP10 00000c3e: DUP10 00000c3f: AND 00000c40: PUSH1 0x60 00000c42: DUP5 00000c43: ADD 00000c44: SWAP1 00000c45: DUP2 00000c46: MSTORE 00000c47: PUSH1 0x00 00000c49: SWAP3 00000c4a: DUP4 00000c4b: MSTORE 00000c4c: PUSH1 0x03 00000c4e: DUP1 00000c4f: DUP4 00000c50: MSTORE 00000c51: DUP6 00000c52: DUP5 00000c53: KECCAK256 00000c54: SWAP10 00000c55: DUP5 00000c56: MSTORE 00000c57: SWAP9 00000c58: SWAP1 00000c59: SWAP2 00000c5a: MSTORE 00000c5b: SWAP3 00000c5c: SWAP1 00000c5d: KECCAK256 00000c5e: SWAP1 00000c5f: MLOAD 00000c60: DUP2 00000c61: SLOAD 00000c62: SWAP1 00000c63: DUP9 00000c64: AND 00000c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c7a: NOT 00000c7b: SWAP2 00000c7c: DUP3 00000c7d: AND 00000c7e: OR 00000c7f: DUP3 00000c80: SSTORE 00000c81: SWAP8 00000c82: MLOAD 00000c83: PUSH1 0x01 00000c85: DUP1 00000c86: DUP4 00000c87: ADD 00000c88: DUP1 00000c89: SLOAD 00000c8a: SWAP3 00000c8b: DUP11 00000c8c: AND 00000c8d: SWAP3 00000c8e: DUP12 00000c8f: AND 00000c90: SWAP3 00000c91: SWAP1 00000c92: SWAP3 00000c93: OR 00000c94: SWAP1 00000c95: SWAP2 00000c96: SSTORE 00000c97: SWAP5 00000c98: MLOAD 00000c99: PUSH1 0x02 00000c9b: DUP3 00000c9c: ADD 00000c9d: SSTORE 00000c9e: SWAP1 00000c9f: MLOAD 00000ca0: SWAP5 00000ca1: ADD 00000ca2: DUP1 00000ca3: SLOAD 00000ca4: SWAP5 00000ca5: SWAP1 00000ca6: SWAP6 00000ca7: AND 00000ca8: SWAP4 00000ca9: SWAP1 00000caa: SWAP6 00000cab: AND 00000cac: SWAP3 00000cad: SWAP1 00000cae: SWAP3 00000caf: OR 00000cb0: SWAP1 00000cb1: SWAP3 00000cb2: SSTORE 00000cb3: POP 00000cb4: SWAP2 00000cb5: SWAP1 00000cb6: POP 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH1 0x00 00000cbb: DUP1 00000cbc: DUP4 00000cbd: ISZERO 00000cbe: ISZERO 00000cbf: PUSH2 0x0ccb 00000cc2: JUMPI 00000cc3: PUSH1 0x00 00000cc5: SWAP2 00000cc6: POP 00000cc7: PUSH2 0x047e 00000cca: JUMP 00000ccb: JUMPDEST 00000ccc: POP 00000ccd: DUP3 00000cce: DUP3 00000ccf: MUL 00000cd0: DUP3 00000cd1: DUP5 00000cd2: DUP3 00000cd3: DUP2 00000cd4: ISZERO 00000cd5: ISZERO 00000cd6: PUSH2 0x0cdb 00000cd9: JUMPI 00000cda: INVALID 00000cdb: JUMPDEST 00000cdc: DIV 00000cdd: EQ 00000cde: PUSH2 0x047a 00000ce1: JUMPI 00000ce2: INVALID 00000ce3: JUMPDEST 00000ce4: PUSH1 0x00 00000ce6: DUP1 00000ce7: DUP3 00000ce8: DUP5 00000ce9: DUP2 00000cea: ISZERO 00000ceb: ISZERO 00000cec: PUSH2 0x0cf1 00000cef: JUMPI 00000cf0: INVALID 00000cf1: JUMPDEST 00000cf2: DIV 00000cf3: SWAP5 00000cf4: SWAP4 00000cf5: POP 00000cf6: POP 00000cf7: POP 00000cf8: POP 00000cf9: JUMP 00000cfa: JUMPDEST 00000cfb: PUSH1 0x00 00000cfd: DUP3 00000cfe: DUP3 00000cff: GT 00000d00: ISZERO 00000d01: PUSH2 0x0d06 00000d04: JUMPI 00000d05: INVALID 00000d06: JUMPDEST 00000d07: POP 00000d08: SWAP1 00000d09: SUB 00000d0a: SWAP1 00000d0b: JUMP 00000d0c: STOP 00000d0d: LOG1 00000d0e: PUSH6 0x627a7a723058 00000d15: KECCAK256 00000d16: UNKNOWN(0xE9) 00000d17: SWAP15 00000d18: UNKNOWN(0x4F) 00000d19: SLOAD 00000d1a: PUSH13 0x8211fcf5a4c353a534de431495 00000d28: UNKNOWN(0xCE) 00000d29: UNKNOWN(0xE1) 00000d2a: MUL 00000d2b: UNKNOWN(0xCB) 00000d2c: RETURNDATASIZE 00000d2d: UNKNOWN(0x2D) 00000d2e: PUSH21
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xbef2426bfe97657c9698fc706d07237b65a6e82573444e16d1e83d89995fa730
call_targets:
0x3091d37ef18cb33af72cf7ca63714733172ce724
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbef2426bfe97657c9698fc706d07237b65a6e82573444e16d1e83d89995fa730",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3091d37ef18cb33af72cf7ca63714733172ce724"
],
"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": "0x01f59d16",
"selector": "0x01f59d16",
"calldata_variants": [
"0x01f59d16",
"0x01f59d160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1987e50c",
"selector": "0x1987e50c",
"calldata_variants": [
"0x1987e50c",
"0x1987e50c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23146c20",
"selector": "0x23146c20",
"calldata_variants": [
"0x23146c20",
"0x23146c200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b8ea9e7",
"selector": "0x3b8ea9e7",
"calldata_variants": [
"0x3b8ea9e7",
"0x3b8ea9e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed08dc9",
"selector": "0x3ed08dc9",
"calldata_variants": [
"0x3ed08dc9",
"0x3ed08dc90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x590e1ae3",
"selector": "0x590e1ae3",
"calldata_variants": [
"0x590e1ae3",
"0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67a09c23",
"selector": "0x67a09c23",
"calldata_variants": [
"0x67a09c23",
"0x67a09c230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1402,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1785,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2176,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xbef2426bfe97657c9698fc706d07237b65a6e82573444e16d1e83d89995fa730
call_targets:
0x3091d37ef18cb33af72cf7ca63714733172ce724
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbef2426bfe97657c9698fc706d07237b65a6e82573444e16d1e83d89995fa730",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3091d37ef18cb33af72cf7ca63714733172ce724"
],
"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": "0x01f59d16",
"selector": "0x01f59d16",
"calldata_variants": [
"0x01f59d16",
"0x01f59d160000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1987e50c",
"selector": "0x1987e50c",
"calldata_variants": [
"0x1987e50c",
"0x1987e50c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23146c20",
"selector": "0x23146c20",
"calldata_variants": [
"0x23146c20",
"0x23146c200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27e235e3",
"selector": "0x27e235e3",
"calldata_variants": [
"0x27e235e3",
"0x27e235e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3b8ea9e7",
"selector": "0x3b8ea9e7",
"calldata_variants": [
"0x3b8ea9e7",
"0x3b8ea9e70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed08dc9",
"selector": "0x3ed08dc9",
"calldata_variants": [
"0x3ed08dc9",
"0x3ed08dc90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x590e1ae3",
"selector": "0x590e1ae3",
"calldata_variants": [
"0x590e1ae3",
"0x590e1ae30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67a09c23",
"selector": "0x67a09c23",
"calldata_variants": [
"0x67a09c23",
"0x67a09c230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1402,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1785,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2176,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|