019b477e-b9c0-718a-b3df-caed6ecaecad
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 |
|---|---|---|---|---|
| 23637 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 23638 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 90405 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90406 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90407 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90408 | 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 0x00d0 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x10d34b99 0000003c: EQ 0000003d: PUSH2 0x00d5 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x51cff8d9 00000047: EQ 00000048: PUSH2 0x0145 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x6d3c7ec5 00000052: EQ 00000053: PUSH2 0x0188 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x715018a6 0000005d: EQ 0000005e: PUSH2 0x01b5 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x8da5cb5b 00000068: EQ 00000069: PUSH2 0x01cc 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x8e1857e8 00000073: EQ 00000074: PUSH2 0x0223 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xc49a790e 0000007e: EQ 0000007f: PUSH2 0x0260 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xc74073a1 00000089: EQ 0000008a: PUSH2 0x02a7 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xc7f04e65 00000094: EQ 00000095: PUSH2 0x02ea 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xd40ffacb 0000009f: EQ 000000a0: PUSH2 0x0310 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xd57b4fca 000000aa: EQ 000000ab: PUSH2 0x0367 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0xda26663a 000000b5: EQ 000000b6: PUSH2 0x03b2 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0xe69e04b3 000000c0: EQ 000000c1: PUSH2 0x03f9 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0xf2fde38b 000000cb: EQ 000000cc: PUSH2 0x0424 000000cf: JUMPI 000000d0: JUMPDEST 000000d1: PUSH1 0x00 000000d3: DUP1 000000d4: REVERT 000000d5: JUMPDEST 000000d6: CALLVALUE 000000d7: DUP1 000000d8: ISZERO 000000d9: PUSH2 0x00e1 000000dc: JUMPI 000000dd: PUSH1 0x00 000000df: DUP1 000000e0: REVERT 000000e1: JUMPDEST 000000e2: POP 000000e3: PUSH2 0x0143 000000e6: PUSH1 0x04 000000e8: DUP1 000000e9: CALLDATASIZE 000000ea: SUB 000000eb: DUP2 000000ec: ADD 000000ed: SWAP1 000000ee: DUP1 000000ef: DUP1 000000f0: CALLDATALOAD 000000f1: SWAP1 000000f2: PUSH1 0x20 000000f4: ADD 000000f5: SWAP1 000000f6: DUP3 000000f7: ADD 000000f8: DUP1 000000f9: CALLDATALOAD 000000fa: SWAP1 000000fb: PUSH1 0x20 000000fd: ADD 000000fe: SWAP1 000000ff: DUP1 00000100: DUP1 00000101: PUSH1 0x20 00000103: MUL 00000104: PUSH1 0x20 00000106: ADD 00000107: PUSH1 0x40 00000109: MLOAD 0000010a: SWAP1 0000010b: DUP2 0000010c: ADD 0000010d: PUSH1 0x40 0000010f: MSTORE 00000110: DUP1 00000111: SWAP4 00000112: SWAP3 00000113: SWAP2 00000114: SWAP1 00000115: DUP2 00000116: DUP2 00000117: MSTORE 00000118: PUSH1 0x20 0000011a: ADD 0000011b: DUP4 0000011c: DUP4 0000011d: PUSH1 0x20 0000011f: MUL 00000120: DUP1 00000121: DUP3 00000122: DUP5 00000123: CALLDATACOPY 00000124: DUP3 00000125: ADD 00000126: SWAP2 00000127: POP 00000128: POP 00000129: POP 0000012a: POP 0000012b: POP 0000012c: POP 0000012d: SWAP2 0000012e: SWAP3 0000012f: SWAP2 00000130: SWAP3 00000131: SWAP1 00000132: DUP1 00000133: CALLDATALOAD 00000134: SWAP1 00000135: PUSH1 0x20 00000137: ADD 00000138: SWAP1 00000139: SWAP3 0000013a: SWAP2 0000013b: SWAP1 0000013c: POP 0000013d: POP 0000013e: POP 0000013f: PUSH2 0x0467 00000142: JUMP 00000143: JUMPDEST 00000144: STOP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x0186 00000156: PUSH1 0x04 00000158: DUP1 00000159: CALLDATASIZE 0000015a: SUB 0000015b: DUP2 0000015c: ADD 0000015d: SWAP1 0000015e: DUP1 0000015f: DUP1 00000160: CALLDATALOAD 00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000176: AND 00000177: SWAP1 00000178: PUSH1 0x20 0000017a: ADD 0000017b: SWAP1 0000017c: SWAP3 0000017d: SWAP2 0000017e: SWAP1 0000017f: POP 00000180: POP 00000181: POP 00000182: PUSH2 0x051f 00000185: JUMP 00000186: JUMPDEST 00000187: STOP 00000188: JUMPDEST 00000189: CALLVALUE 0000018a: DUP1 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: PUSH2 0x01b3 00000199: PUSH1 0x04 0000019b: DUP1 0000019c: CALLDATASIZE 0000019d: SUB 0000019e: DUP2 0000019f: ADD 000001a0: SWAP1 000001a1: DUP1 000001a2: DUP1 000001a3: CALLDATALOAD 000001a4: SWAP1 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: SWAP1 000001a9: SWAP3 000001aa: SWAP2 000001ab: SWAP1 000001ac: POP 000001ad: POP 000001ae: POP 000001af: PUSH2 0x0601 000001b2: JUMP 000001b3: JUMPDEST 000001b4: STOP 000001b5: JUMPDEST 000001b6: CALLVALUE 000001b7: DUP1 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: POP 000001c3: PUSH2 0x01ca 000001c6: PUSH2 0x0675 000001c9: JUMP 000001ca: JUMPDEST 000001cb: STOP 000001cc: JUMPDEST 000001cd: CALLVALUE 000001ce: DUP1 000001cf: ISZERO 000001d0: PUSH2 0x01d8 000001d3: JUMPI 000001d4: PUSH1 0x00 000001d6: DUP1 000001d7: REVERT 000001d8: JUMPDEST 000001d9: POP 000001da: PUSH2 0x01e1 000001dd: PUSH2 0x0777 000001e0: JUMP 000001e1: JUMPDEST 000001e2: PUSH1 0x40 000001e4: MLOAD 000001e5: DUP1 000001e6: DUP3 000001e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fc: AND 000001fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000212: AND 00000213: DUP2 00000214: MSTORE 00000215: PUSH1 0x20 00000217: ADD 00000218: SWAP2 00000219: POP 0000021a: POP 0000021b: PUSH1 0x40 0000021d: MLOAD 0000021e: DUP1 0000021f: SWAP2 00000220: SUB 00000221: SWAP1 00000222: RETURN 00000223: JUMPDEST 00000224: CALLVALUE 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x022f 0000022a: JUMPI 0000022b: PUSH1 0x00 0000022d: DUP1 0000022e: REVERT 0000022f: JUMPDEST 00000230: POP 00000231: PUSH2 0x025e 00000234: PUSH1 0x04 00000236: DUP1 00000237: CALLDATASIZE 00000238: SUB 00000239: DUP2 0000023a: ADD 0000023b: SWAP1 0000023c: DUP1 0000023d: DUP1 0000023e: CALLDATALOAD 0000023f: PUSH4 0xffffffff 00000244: AND 00000245: SWAP1 00000246: PUSH1 0x20 00000248: ADD 00000249: SWAP1 0000024a: SWAP3 0000024b: SWAP2 0000024c: SWAP1 0000024d: DUP1 0000024e: CALLDATALOAD 0000024f: SWAP1 00000250: PUSH1 0x20 00000252: ADD 00000253: SWAP1 00000254: SWAP3 00000255: SWAP2 00000256: SWAP1 00000257: POP 00000258: POP 00000259: POP 0000025a: PUSH2 0x079c 0000025d: JUMP 0000025e: JUMPDEST 0000025f: STOP 00000260: JUMPDEST 00000261: CALLVALUE 00000262: DUP1 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: POP 0000026e: PUSH2 0x0291 00000271: PUSH1 0x04 00000273: DUP1 00000274: CALLDATASIZE 00000275: SUB 00000276: DUP2 00000277: ADD 00000278: SWAP1 00000279: DUP1 0000027a: DUP1 0000027b: CALLDATALOAD 0000027c: PUSH4 0xffffffff 00000281: AND 00000282: SWAP1 00000283: PUSH1 0x20 00000285: ADD 00000286: SWAP1 00000287: SWAP3 00000288: SWAP2 00000289: SWAP1 0000028a: POP 0000028b: POP 0000028c: POP 0000028d: PUSH2 0x081f 00000290: JUMP 00000291: JUMPDEST 00000292: PUSH1 0x40 00000294: MLOAD 00000295: DUP1 00000296: DUP3 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP2 0000029d: POP 0000029e: POP 0000029f: PUSH1 0x40 000002a1: MLOAD 000002a2: DUP1 000002a3: SWAP2 000002a4: SUB 000002a5: SWAP1 000002a6: RETURN 000002a7: JUMPDEST 000002a8: CALLVALUE 000002a9: DUP1 000002aa: ISZERO 000002ab: PUSH2 0x02b3 000002ae: JUMPI 000002af: PUSH1 0x00 000002b1: DUP1 000002b2: REVERT 000002b3: JUMPDEST 000002b4: POP 000002b5: PUSH2 0x02e8 000002b8: PUSH1 0x04 000002ba: DUP1 000002bb: CALLDATASIZE 000002bc: SUB 000002bd: DUP2 000002be: ADD 000002bf: SWAP1 000002c0: DUP1 000002c1: DUP1 000002c2: CALLDATALOAD 000002c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d8: AND 000002d9: SWAP1 000002da: PUSH1 0x20 000002dc: ADD 000002dd: SWAP1 000002de: SWAP3 000002df: SWAP2 000002e0: SWAP1 000002e1: POP 000002e2: POP 000002e3: POP 000002e4: PUSH2 0x0837 000002e7: JUMP 000002e8: JUMPDEST 000002e9: STOP 000002ea: JUMPDEST 000002eb: PUSH2 0x030e 000002ee: PUSH1 0x04 000002f0: DUP1 000002f1: CALLDATASIZE 000002f2: SUB 000002f3: DUP2 000002f4: ADD 000002f5: SWAP1 000002f6: DUP1 000002f7: DUP1 000002f8: CALLDATALOAD 000002f9: PUSH4 0xffffffff 000002fe: AND 000002ff: SWAP1 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP1 00000304: SWAP3 00000305: SWAP2 00000306: SWAP1 00000307: POP 00000308: POP 00000309: POP 0000030a: PUSH2 0x08d1 0000030d: JUMP 0000030e: JUMPDEST 0000030f: STOP 00000310: JUMPDEST 00000311: CALLVALUE 00000312: DUP1 00000313: ISZERO 00000314: PUSH2 0x031c 00000317: JUMPI 00000318: PUSH1 0x00 0000031a: DUP1 0000031b: REVERT 0000031c: JUMPDEST 0000031d: POP 0000031e: PUSH2 0x0325 00000321: PUSH2 0x0c6b 00000324: JUMP 00000325: JUMPDEST 00000326: PUSH1 0x40 00000328: MLOAD 00000329: DUP1 0000032a: DUP3 0000032b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000340: AND 00000341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000356: AND 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x20 0000035b: ADD 0000035c: SWAP2 0000035d: POP 0000035e: POP 0000035f: PUSH1 0x40 00000361: MLOAD 00000362: DUP1 00000363: SWAP2 00000364: SUB 00000365: SWAP1 00000366: RETURN 00000367: JUMPDEST 00000368: CALLVALUE 00000369: DUP1 0000036a: ISZERO 0000036b: PUSH2 0x0373 0000036e: JUMPI 0000036f: PUSH1 0x00 00000371: DUP1 00000372: REVERT 00000373: JUMPDEST 00000374: POP 00000375: PUSH2 0x0398 00000378: PUSH1 0x04 0000037a: DUP1 0000037b: CALLDATASIZE 0000037c: SUB 0000037d: DUP2 0000037e: ADD 0000037f: SWAP1 00000380: DUP1 00000381: DUP1 00000382: CALLDATALOAD 00000383: PUSH4 0xffffffff 00000388: AND 00000389: SWAP1 0000038a: PUSH1 0x20 0000038c: ADD 0000038d: SWAP1 0000038e: SWAP3 0000038f: SWAP2 00000390: SWAP1 00000391: POP 00000392: POP 00000393: POP 00000394: PUSH2 0x0c91 00000397: JUMP 00000398: JUMPDEST 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: DUP3 0000039e: ISZERO 0000039f: ISZERO 000003a0: ISZERO 000003a1: ISZERO 000003a2: DUP2 000003a3: MSTORE 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: SWAP2 000003a8: POP 000003a9: POP 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: DUP1 000003ae: SWAP2 000003af: SUB 000003b0: SWAP1 000003b1: RETURN 000003b2: JUMPDEST 000003b3: CALLVALUE 000003b4: DUP1 000003b5: ISZERO 000003b6: PUSH2 0x03be 000003b9: JUMPI 000003ba: PUSH1 0x00 000003bc: DUP1 000003bd: REVERT 000003be: JUMPDEST 000003bf: POP 000003c0: PUSH2 0x03e3 000003c3: PUSH1 0x04 000003c5: DUP1 000003c6: CALLDATASIZE 000003c7: SUB 000003c8: DUP2 000003c9: ADD 000003ca: SWAP1 000003cb: DUP1 000003cc: DUP1 000003cd: CALLDATALOAD 000003ce: PUSH4 0xffffffff 000003d3: AND 000003d4: SWAP1 000003d5: PUSH1 0x20 000003d7: ADD 000003d8: SWAP1 000003d9: SWAP3 000003da: SWAP2 000003db: SWAP1 000003dc: POP 000003dd: POP 000003de: POP 000003df: PUSH2 0x105d 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH1 0x40 000003e6: MLOAD 000003e7: DUP1 000003e8: DUP3 000003e9: DUP2 000003ea: MSTORE 000003eb: PUSH1 0x20 000003ed: ADD 000003ee: SWAP2 000003ef: POP 000003f0: POP 000003f1: PUSH1 0x40 000003f3: MLOAD 000003f4: DUP1 000003f5: SWAP2 000003f6: SUB 000003f7: SWAP1 000003f8: RETURN 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x040e 0000040a: PUSH2 0x10b9 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH1 0x40 00000411: MLOAD 00000412: DUP1 00000413: DUP3 00000414: DUP2 00000415: MSTORE 00000416: PUSH1 0x20 00000418: ADD 00000419: SWAP2 0000041a: POP 0000041b: POP 0000041c: PUSH1 0x40 0000041e: MLOAD 0000041f: DUP1 00000420: SWAP2 00000421: SUB 00000422: SWAP1 00000423: RETURN 00000424: JUMPDEST 00000425: CALLVALUE 00000426: DUP1 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: POP 00000432: PUSH2 0x0465 00000435: PUSH1 0x04 00000437: DUP1 00000438: CALLDATASIZE 00000439: SUB 0000043a: DUP2 0000043b: ADD 0000043c: SWAP1 0000043d: DUP1 0000043e: DUP1 0000043f: CALLDATALOAD 00000440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000455: AND 00000456: SWAP1 00000457: PUSH1 0x20 00000459: ADD 0000045a: SWAP1 0000045b: SWAP3 0000045c: SWAP2 0000045d: SWAP1 0000045e: POP 0000045f: POP 00000460: POP 00000461: PUSH2 0x10bf 00000464: JUMP 00000465: JUMPDEST 00000466: STOP 00000467: JUMPDEST 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: PUSH1 0x00 0000046d: SWAP1 0000046e: SLOAD 0000046f: SWAP1 00000470: PUSH2 0x0100 00000473: EXP 00000474: SWAP1 00000475: DIV 00000476: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048b: AND 0000048c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a1: AND 000004a2: CALLER 000004a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b8: AND 000004b9: EQ 000004ba: ISZERO 000004bb: ISZERO 000004bc: PUSH2 0x04c4 000004bf: JUMPI 000004c0: PUSH1 0x00 000004c2: DUP1 000004c3: REVERT 000004c4: JUMPDEST 000004c5: PUSH1 0x00 000004c7: SWAP1 000004c8: POP 000004c9: JUMPDEST 000004ca: DUP3 000004cb: MLOAD 000004cc: DUP2 000004cd: LT 000004ce: ISZERO 000004cf: PUSH2 0x051a 000004d2: JUMPI 000004d3: DUP2 000004d4: PUSH1 0x03 000004d6: PUSH1 0x00 000004d8: DUP6 000004d9: DUP5 000004da: DUP2 000004db: MLOAD 000004dc: DUP2 000004dd: LT 000004de: ISZERO 000004df: ISZERO 000004e0: PUSH2 0x04e5 000004e3: JUMPI 000004e4: INVALID 000004e5: JUMPDEST 000004e6: SWAP1 000004e7: PUSH1 0x20 000004e9: ADD 000004ea: SWAP1 000004eb: PUSH1 0x20 000004ed: MUL 000004ee: ADD 000004ef: MLOAD 000004f0: PUSH4 0xffffffff 000004f5: AND 000004f6: PUSH4 0xffffffff 000004fb: AND 000004fc: DUP2 000004fd: MSTORE 000004fe: PUSH1 0x20 00000500: ADD 00000501: SWAP1 00000502: DUP2 00000503: MSTORE 00000504: PUSH1 0x20 00000506: ADD 00000507: PUSH1 0x00 00000509: KECCAK256 0000050a: DUP2 0000050b: SWAP1 0000050c: SSTORE 0000050d: POP 0000050e: DUP1 0000050f: DUP1 00000510: PUSH1 0x01 00000512: ADD 00000513: SWAP2 00000514: POP 00000515: POP 00000516: PUSH2 0x04c9 00000519: JUMP 0000051a: JUMPDEST 0000051b: POP 0000051c: POP 0000051d: POP 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x00 00000522: DUP1 00000523: SWAP1 00000524: SLOAD 00000525: SWAP1 00000526: PUSH2 0x0100 00000529: EXP 0000052a: SWAP1 0000052b: DIV 0000052c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000541: AND 00000542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000557: AND 00000558: CALLER 00000559: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056e: AND 0000056f: EQ 00000570: ISZERO 00000571: ISZERO 00000572: PUSH2 0x057a 00000575: JUMPI 00000576: PUSH1 0x00 00000578: DUP1 00000579: REVERT 0000057a: JUMPDEST 0000057b: DUP1 0000057c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000591: AND 00000592: PUSH1 0x00 00000594: EQ 00000595: ISZERO 00000596: ISZERO 00000597: ISZERO 00000598: PUSH2 0x05a0 0000059b: JUMPI 0000059c: PUSH1 0x00 0000059e: DUP1 0000059f: REVERT 000005a0: JUMPDEST 000005a1: DUP1 000005a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b7: AND 000005b8: PUSH2 0x08fc 000005bb: ADDRESS 000005bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d1: AND 000005d2: BALANCE 000005d3: SWAP1 000005d4: DUP2 000005d5: ISZERO 000005d6: MUL 000005d7: SWAP1 000005d8: PUSH1 0x40 000005da: MLOAD 000005db: PUSH1 0x00 000005dd: PUSH1 0x40 000005df: MLOAD 000005e0: DUP1 000005e1: DUP4 000005e2: SUB 000005e3: DUP2 000005e4: DUP6 000005e5: DUP9 000005e6: DUP9 000005e7: CALL 000005e8: SWAP4 000005e9: POP 000005ea: POP 000005eb: POP 000005ec: POP 000005ed: ISZERO 000005ee: DUP1 000005ef: ISZERO 000005f0: PUSH2 0x05fd 000005f3: JUMPI 000005f4: RETURNDATASIZE 000005f5: PUSH1 0x00 000005f7: DUP1 000005f8: RETURNDATACOPY 000005f9: RETURNDATASIZE 000005fa: PUSH1 0x00 000005fc: REVERT 000005fd: JUMPDEST 000005fe: POP 000005ff: POP 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x00 00000604: DUP1 00000605: SWAP1 00000606: SLOAD 00000607: SWAP1 00000608: PUSH2 0x0100 0000060b: EXP 0000060c: SWAP1 0000060d: DIV 0000060e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000623: AND 00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000639: AND 0000063a: CALLER 0000063b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000650: AND 00000651: EQ 00000652: ISZERO 00000653: ISZERO 00000654: PUSH2 0x065c 00000657: JUMPI 00000658: PUSH1 0x00 0000065a: DUP1 0000065b: REVERT 0000065c: JUMPDEST 0000065d: DUP1 0000065e: PUSH1 0x00 00000660: LT 00000661: ISZERO 00000662: ISZERO 00000663: PUSH2 0x066b 00000666: JUMPI 00000667: PUSH1 0x00 00000669: DUP1 0000066a: REVERT 0000066b: JUMPDEST 0000066c: DUP1 0000066d: PUSH1 0x02 0000066f: DUP2 00000670: SWAP1 00000671: SSTORE 00000672: POP 00000673: POP 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x00 00000678: DUP1 00000679: SWAP1 0000067a: SLOAD 0000067b: SWAP1 0000067c: PUSH2 0x0100 0000067f: EXP 00000680: SWAP1 00000681: DIV 00000682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000697: AND 00000698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ad: AND 000006ae: CALLER 000006af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c4: AND 000006c5: EQ 000006c6: ISZERO 000006c7: ISZERO 000006c8: PUSH2 0x06d0 000006cb: JUMPI 000006cc: PUSH1 0x00 000006ce: DUP1 000006cf: REVERT 000006d0: JUMPDEST 000006d1: PUSH1 0x00 000006d3: DUP1 000006d4: SWAP1 000006d5: SLOAD 000006d6: SWAP1 000006d7: PUSH2 0x0100 000006da: EXP 000006db: SWAP1 000006dc: DIV 000006dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f2: AND 000006f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000708: AND 00000709: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 0000072a: PUSH1 0x40 0000072c: MLOAD 0000072d: PUSH1 0x40 0000072f: MLOAD 00000730: DUP1 00000731: SWAP2 00000732: SUB 00000733: SWAP1 00000734: LOG2 00000735: PUSH1 0x00 00000737: DUP1 00000738: PUSH1 0x00 0000073a: PUSH2 0x0100 0000073d: EXP 0000073e: DUP2 0000073f: SLOAD 00000740: DUP2 00000741: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000756: MUL 00000757: NOT 00000758: AND 00000759: SWAP1 0000075a: DUP4 0000075b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000770: AND 00000771: MUL 00000772: OR 00000773: SWAP1 00000774: SSTORE 00000775: POP 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x00 0000077a: DUP1 0000077b: SWAP1 0000077c: SLOAD 0000077d: SWAP1 0000077e: PUSH2 0x0100 00000781: EXP 00000782: SWAP1 00000783: DIV 00000784: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000799: AND 0000079a: DUP2 0000079b: JUMP 0000079c: JUMPDEST 0000079d: PUSH1 0x00 0000079f: DUP1 000007a0: SWAP1 000007a1: SLOAD 000007a2: SWAP1 000007a3: PUSH2 0x0100 000007a6: EXP 000007a7: SWAP1 000007a8: DIV 000007a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007be: AND 000007bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d4: AND 000007d5: CALLER 000007d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007eb: AND 000007ec: EQ 000007ed: ISZERO 000007ee: ISZERO 000007ef: PUSH2 0x07f7 000007f2: JUMPI 000007f3: PUSH1 0x00 000007f5: DUP1 000007f6: REVERT 000007f7: JUMPDEST 000007f8: DUP1 000007f9: PUSH1 0x03 000007fb: PUSH1 0x00 000007fd: DUP5 000007fe: PUSH4 0xffffffff 00000803: AND 00000804: PUSH4 0xffffffff 00000809: AND 0000080a: DUP2 0000080b: MSTORE 0000080c: PUSH1 0x20 0000080e: ADD 0000080f: SWAP1 00000810: DUP2 00000811: MSTORE 00000812: PUSH1 0x20 00000814: ADD 00000815: PUSH1 0x00 00000817: KECCAK256 00000818: DUP2 00000819: SWAP1 0000081a: SSTORE 0000081b: POP 0000081c: POP 0000081d: POP 0000081e: JUMP 0000081f: JUMPDEST 00000820: PUSH1 0x03 00000822: PUSH1 0x20 00000824: MSTORE 00000825: DUP1 00000826: PUSH1 0x00 00000828: MSTORE 00000829: PUSH1 0x40 0000082b: PUSH1 0x00 0000082d: KECCAK256 0000082e: PUSH1 0x00 00000830: SWAP2 00000831: POP 00000832: SWAP1 00000833: POP 00000834: SLOAD 00000835: DUP2 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: SWAP1 0000083c: SLOAD 0000083d: SWAP1 0000083e: PUSH2 0x0100 00000841: EXP 00000842: SWAP1 00000843: DIV 00000844: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000859: AND 0000085a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086f: AND 00000870: CALLER 00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000886: AND 00000887: EQ 00000888: ISZERO 00000889: ISZERO 0000088a: PUSH2 0x0892 0000088d: JUMPI 0000088e: PUSH1 0x00 00000890: DUP1 00000891: REVERT 00000892: JUMPDEST 00000893: DUP1 00000894: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a9: AND 000008aa: PUSH1 0x00 000008ac: EQ 000008ad: ISZERO 000008ae: ISZERO 000008af: ISZERO 000008b0: PUSH2 0x08b8 000008b3: JUMPI 000008b4: PUSH1 0x00 000008b6: DUP1 000008b7: REVERT 000008b8: JUMPDEST 000008b9: DUP1 000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cf: AND 000008d0: SELFDESTRUCT 000008d1: JUMPDEST 000008d2: PUSH1 0x00 000008d4: PUSH2 0x08dc 000008d7: DUP3 000008d8: PUSH2 0x105d 000008db: JUMP 000008dc: JUMPDEST 000008dd: CALLVALUE 000008de: EQ 000008df: DUP1 000008e0: ISZERO 000008e1: PUSH2 0x08ef 000008e4: JUMPI 000008e5: POP 000008e6: PUSH2 0x08ee 000008e9: DUP3 000008ea: PUSH2 0x0c91 000008ed: JUMP 000008ee: JUMPDEST 000008ef: JUMPDEST 000008f0: ISZERO 000008f1: ISZERO 000008f2: PUSH2 0x08fa 000008f5: JUMPI 000008f6: PUSH1 0x00 000008f8: DUP1 000008f9: REVERT 000008fa: JUMPDEST 000008fb: PUSH1 0x01 000008fd: PUSH1 0x00 000008ff: SWAP1 00000900: SLOAD 00000901: SWAP1 00000902: PUSH2 0x0100 00000905: EXP 00000906: SWAP1 00000907: DIV 00000908: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000091d: AND 0000091e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000933: AND 00000934: PUSH4 0x8da5cb5b 00000939: PUSH1 0x40 0000093b: MLOAD 0000093c: DUP2 0000093d: PUSH4 0xffffffff 00000942: AND 00000943: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000961: MUL 00000962: DUP2 00000963: MSTORE 00000964: PUSH1 0x04 00000966: ADD 00000967: PUSH1 0x20 00000969: PUSH1 0x40 0000096b: MLOAD 0000096c: DUP1 0000096d: DUP4 0000096e: SUB 0000096f: DUP2 00000970: PUSH1 0x00 00000972: DUP8 00000973: DUP1 00000974: EXTCODESIZE 00000975: ISZERO 00000976: DUP1 00000977: ISZERO 00000978: PUSH2 0x0980 0000097b: JUMPI 0000097c: PUSH1 0x00 0000097e: DUP1 0000097f: REVERT 00000980: JUMPDEST 00000981: POP 00000982: GAS 00000983: CALL 00000984: ISZERO 00000985: DUP1 00000986: ISZERO 00000987: PUSH2 0x0994 0000098a: JUMPI 0000098b: RETURNDATASIZE 0000098c: PUSH1 0x00 0000098e: DUP1 0000098f: RETURNDATACOPY 00000990: RETURNDATASIZE 00000991: PUSH1 0x00 00000993: REVERT 00000994: JUMPDEST 00000995: POP 00000996: POP 00000997: POP 00000998: POP 00000999: PUSH1 0x40 0000099b: MLOAD 0000099c: RETURNDATASIZE 0000099d: PUSH1 0x20 0000099f: DUP2 000009a0: LT 000009a1: ISZERO 000009a2: PUSH2 0x09aa 000009a5: JUMPI 000009a6: PUSH1 0x00 000009a8: DUP1 000009a9: REVERT 000009aa: JUMPDEST 000009ab: DUP2 000009ac: ADD 000009ad: SWAP1 000009ae: DUP1 000009af: DUP1 000009b0: MLOAD 000009b1: SWAP1 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: SWAP1 000009b6: SWAP3 000009b7: SWAP2 000009b8: SWAP1 000009b9: POP 000009ba: POP 000009bb: POP 000009bc: SWAP1 000009bd: POP 000009be: DUP1 000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d4: AND 000009d5: PUSH4 0xa0d3253f 000009da: DUP4 000009db: ADDRESS 000009dc: PUSH1 0x40 000009de: MLOAD 000009df: DUP4 000009e0: PUSH4 0xffffffff 000009e5: AND 000009e6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000a04: MUL 00000a05: DUP2 00000a06: MSTORE 00000a07: PUSH1 0x04 00000a09: ADD 00000a0a: DUP1 00000a0b: DUP4 00000a0c: PUSH4 0xffffffff 00000a11: AND 00000a12: PUSH4 0xffffffff 00000a17: AND 00000a18: DUP2 00000a19: MSTORE 00000a1a: PUSH1 0x20 00000a1c: ADD 00000a1d: DUP3 00000a1e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a33: AND 00000a34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a49: AND 00000a4a: DUP2 00000a4b: MSTORE 00000a4c: PUSH1 0x20 00000a4e: ADD 00000a4f: SWAP3 00000a50: POP 00000a51: POP 00000a52: POP 00000a53: PUSH1 0x00 00000a55: PUSH1 0x40 00000a57: MLOAD 00000a58: DUP1 00000a59: DUP4 00000a5a: SUB 00000a5b: DUP2 00000a5c: PUSH1 0x00 00000a5e: DUP8 00000a5f: DUP1 00000a60: EXTCODESIZE 00000a61: ISZERO 00000a62: DUP1 00000a63: ISZERO 00000a64: PUSH2 0x0a6c 00000a67: JUMPI 00000a68: PUSH1 0x00 00000a6a: DUP1 00000a6b: REVERT 00000a6c: JUMPDEST 00000a6d: POP 00000a6e: GAS 00000a6f: CALL 00000a70: ISZERO 00000a71: DUP1 00000a72: ISZERO 00000a73: PUSH2 0x0a80 00000a76: JUMPI 00000a77: RETURNDATASIZE 00000a78: PUSH1 0x00 00000a7a: DUP1 00000a7b: RETURNDATACOPY 00000a7c: RETURNDATASIZE 00000a7d: PUSH1 0x00 00000a7f: REVERT 00000a80: JUMPDEST 00000a81: POP 00000a82: POP 00000a83: POP 00000a84: POP 00000a85: DUP1 00000a86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9b: AND 00000a9c: PUSH4 0x1e79a85b 00000aa1: DUP4 00000aa2: CALLER 00000aa3: PUSH1 0x00 00000aa5: PUSH1 0x40 00000aa7: MLOAD 00000aa8: DUP5 00000aa9: PUSH4 0xffffffff 00000aae: AND 00000aaf: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000acd: MUL 00000ace: DUP2 00000acf: MSTORE 00000ad0: PUSH1 0x04 00000ad2: ADD 00000ad3: DUP1 00000ad4: DUP5 00000ad5: PUSH4 0xffffffff 00000ada: AND 00000adb: PUSH4 0xffffffff 00000ae0: AND 00000ae1: DUP2 00000ae2: MSTORE 00000ae3: PUSH1 0x20 00000ae5: ADD 00000ae6: DUP4 00000ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000afc: AND 00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b12: AND 00000b13: DUP2 00000b14: MSTORE 00000b15: PUSH1 0x20 00000b17: ADD 00000b18: DUP3 00000b19: ISZERO 00000b1a: ISZERO 00000b1b: ISZERO 00000b1c: ISZERO 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x20 00000b21: ADD 00000b22: SWAP4 00000b23: POP 00000b24: POP 00000b25: POP 00000b26: POP 00000b27: PUSH1 0x00 00000b29: PUSH1 0x40 00000b2b: MLOAD 00000b2c: DUP1 00000b2d: DUP4 00000b2e: SUB 00000b2f: DUP2 00000b30: PUSH1 0x00 00000b32: DUP8 00000b33: DUP1 00000b34: EXTCODESIZE 00000b35: ISZERO 00000b36: DUP1 00000b37: ISZERO 00000b38: PUSH2 0x0b40 00000b3b: JUMPI 00000b3c: PUSH1 0x00 00000b3e: DUP1 00000b3f: REVERT 00000b40: JUMPDEST 00000b41: POP 00000b42: GAS 00000b43: CALL 00000b44: ISZERO 00000b45: DUP1 00000b46: ISZERO 00000b47: PUSH2 0x0b54 00000b4a: JUMPI 00000b4b: RETURNDATASIZE 00000b4c: PUSH1 0x00 00000b4e: DUP1 00000b4f: RETURNDATACOPY 00000b50: RETURNDATASIZE 00000b51: PUSH1 0x00 00000b53: REVERT 00000b54: JUMPDEST 00000b55: POP 00000b56: POP 00000b57: POP 00000b58: POP 00000b59: DUP2 00000b5a: PUSH4 0xffffffff 00000b5f: AND 00000b60: PUSH1 0x01 00000b62: PUSH1 0x00 00000b64: SWAP1 00000b65: SLOAD 00000b66: SWAP1 00000b67: PUSH2 0x0100 00000b6a: EXP 00000b6b: SWAP1 00000b6c: DIV 00000b6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b82: AND 00000b83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b98: AND 00000b99: PUSH4 0xe4a358d7 00000b9e: DUP5 00000b9f: PUSH1 0x40 00000ba1: MLOAD 00000ba2: DUP3 00000ba3: PUSH4 0xffffffff 00000ba8: AND 00000ba9: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000bc7: MUL 00000bc8: DUP2 00000bc9: MSTORE 00000bca: PUSH1 0x04 00000bcc: ADD 00000bcd: DUP1 00000bce: DUP3 00000bcf: PUSH4 0xffffffff 00000bd4: AND 00000bd5: PUSH4 0xffffffff 00000bda: AND 00000bdb: DUP2 00000bdc: MSTORE 00000bdd: PUSH1 0x20 00000bdf: ADD 00000be0: SWAP2 00000be1: POP 00000be2: POP 00000be3: PUSH1 0x20 00000be5: PUSH1 0x40 00000be7: MLOAD 00000be8: DUP1 00000be9: DUP4 00000bea: SUB 00000beb: DUP2 00000bec: PUSH1 0x00 00000bee: DUP8 00000bef: DUP1 00000bf0: EXTCODESIZE 00000bf1: ISZERO 00000bf2: DUP1 00000bf3: ISZERO 00000bf4: PUSH2 0x0bfc 00000bf7: JUMPI 00000bf8: PUSH1 0x00 00000bfa: DUP1 00000bfb: REVERT 00000bfc: JUMPDEST 00000bfd: POP 00000bfe: GAS 00000bff: CALL 00000c00: ISZERO 00000c01: DUP1 00000c02: ISZERO 00000c03: PUSH2 0x0c10 00000c06: JUMPI 00000c07: RETURNDATASIZE 00000c08: PUSH1 0x00 00000c0a: DUP1 00000c0b: RETURNDATACOPY 00000c0c: RETURNDATASIZE 00000c0d: PUSH1 0x00 00000c0f: REVERT 00000c10: JUMPDEST 00000c11: POP 00000c12: POP 00000c13: POP 00000c14: POP 00000c15: PUSH1 0x40 00000c17: MLOAD 00000c18: RETURNDATASIZE 00000c19: PUSH1 0x20 00000c1b: DUP2 00000c1c: LT 00000c1d: ISZERO 00000c1e: PUSH2 0x0c26 00000c21: JUMPI 00000c22: PUSH1 0x00 00000c24: DUP1 00000c25: REVERT 00000c26: JUMPDEST 00000c27: DUP2 00000c28: ADD 00000c29: SWAP1 00000c2a: DUP1 00000c2b: DUP1 00000c2c: MLOAD 00000c2d: SWAP1 00000c2e: PUSH1 0x20 00000c30: ADD 00000c31: SWAP1 00000c32: SWAP3 00000c33: SWAP2 00000c34: SWAP1 00000c35: POP 00000c36: POP 00000c37: POP 00000c38: PUSH2 0xffff 00000c3b: AND 00000c3c: PUSH32 0x74bf1310a7a2b0bdd412eec8b0b11538ad4a803d561686380b4ccd083afc02c2 00000c5d: PUSH1 0x40 00000c5f: MLOAD 00000c60: PUSH1 0x40 00000c62: MLOAD 00000c63: DUP1 00000c64: SWAP2 00000c65: SUB 00000c66: SWAP1 00000c67: LOG3 00000c68: POP 00000c69: POP 00000c6a: JUMP 00000c6b: JUMPDEST 00000c6c: PUSH1 0x01 00000c6e: PUSH1 0x00 00000c70: SWAP1 00000c71: SLOAD 00000c72: SWAP1 00000c73: PUSH2 0x0100 00000c76: EXP 00000c77: SWAP1 00000c78: DIV 00000c79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c8e: AND 00000c8f: DUP2 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH1 0x00 00000c94: DUP1 00000c95: PUSH1 0x01 00000c97: PUSH1 0x00 00000c99: SWAP1 00000c9a: SLOAD 00000c9b: SWAP1 00000c9c: PUSH2 0x0100 00000c9f: EXP 00000ca0: SWAP1 00000ca1: DIV 00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb7: AND 00000cb8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccd: AND 00000cce: PUSH4 0xe4a358d7 00000cd3: DUP5 00000cd4: PUSH1 0x40 00000cd6: MLOAD 00000cd7: DUP3 00000cd8: PUSH4 0xffffffff 00000cdd: AND 00000cde: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000cfc: MUL 00000cfd: DUP2 00000cfe: MSTORE 00000cff: PUSH1 0x04 00000d01: ADD 00000d02: DUP1 00000d03: DUP3 00000d04: PUSH4 0xffffffff 00000d09: AND 00000d0a: PUSH4 0xffffffff 00000d0f: AND 00000d10: DUP2 00000d11: MSTORE 00000d12: PUSH1 0x20 00000d14: ADD 00000d15: SWAP2 00000d16: POP 00000d17: POP 00000d18: PUSH1 0x20 00000d1a: PUSH1 0x40 00000d1c: MLOAD 00000d1d: DUP1 00000d1e: DUP4 00000d1f: SUB 00000d20: DUP2 00000d21: PUSH1 0x00 00000d23: DUP8 00000d24: DUP1 00000d25: EXTCODESIZE 00000d26: ISZERO 00000d27: DUP1 00000d28: ISZERO 00000d29: PUSH2 0x0d31 00000d2c: JUMPI 00000d2d: PUSH1 0x00 00000d2f: DUP1 00000d30: REVERT 00000d31: JUMPDEST 00000d32: POP 00000d33: GAS 00000d34: CALL 00000d35: ISZERO 00000d36: DUP1 00000d37: ISZERO 00000d38: PUSH2 0x0d45 00000d3b: JUMPI 00000d3c: RETURNDATASIZE 00000d3d: PUSH1 0x00 00000d3f: DUP1 00000d40: RETURNDATACOPY 00000d41: RETURNDATASIZE 00000d42: PUSH1 0x00 00000d44: REVERT 00000d45: JUMPDEST 00000d46: POP 00000d47: POP 00000d48: POP 00000d49: POP 00000d4a: PUSH1 0x40 00000d4c: MLOAD 00000d4d: RETURNDATASIZE 00000d4e: PUSH1 0x20 00000d50: DUP2 00000d51: LT 00000d52: ISZERO 00000d53: PUSH2 0x0d5b 00000d56: JUMPI 00000d57: PUSH1 0x00 00000d59: DUP1 00000d5a: REVERT 00000d5b: JUMPDEST 00000d5c: DUP2 00000d5d: ADD 00000d5e: SWAP1 00000d5f: DUP1 00000d60: DUP1 00000d61: MLOAD 00000d62: SWAP1 00000d63: PUSH1 0x20 00000d65: ADD 00000d66: SWAP1 00000d67: SWAP3 00000d68: SWAP2 00000d69: SWAP1 00000d6a: POP 00000d6b: POP 00000d6c: POP 00000d6d: SWAP1 00000d6e: POP 00000d6f: PUSH1 0x01 00000d71: PUSH1 0x00 00000d73: SWAP1 00000d74: SLOAD 00000d75: SWAP1 00000d76: PUSH2 0x0100 00000d79: EXP 00000d7a: SWAP1 00000d7b: DIV 00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d91: AND 00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000da7: AND 00000da8: PUSH4 0xcaf590f9 00000dad: DUP5 00000dae: PUSH1 0x00 00000db0: PUSH1 0x40 00000db2: MLOAD 00000db3: DUP4 00000db4: PUSH4 0xffffffff 00000db9: AND 00000dba: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000dd8: MUL 00000dd9: DUP2 00000dda: MSTORE 00000ddb: PUSH1 0x04 00000ddd: ADD 00000dde: DUP1 00000ddf: DUP4 00000de0: PUSH4 0xffffffff 00000de5: AND 00000de6: PUSH4 0xffffffff 00000deb: AND 00000dec: DUP2 00000ded: MSTORE 00000dee: PUSH1 0x20 00000df0: ADD 00000df1: DUP3 00000df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e07: AND 00000e08: DUP2 00000e09: MSTORE 00000e0a: PUSH1 0x20 00000e0c: ADD 00000e0d: SWAP3 00000e0e: POP 00000e0f: POP 00000e10: POP 00000e11: PUSH1 0x20 00000e13: PUSH1 0x40 00000e15: MLOAD 00000e16: DUP1 00000e17: DUP4 00000e18: SUB 00000e19: DUP2 00000e1a: PUSH1 0x00 00000e1c: DUP8 00000e1d: DUP1 00000e1e: EXTCODESIZE 00000e1f: ISZERO 00000e20: DUP1 00000e21: ISZERO 00000e22: PUSH2 0x0e2a 00000e25: JUMPI 00000e26: PUSH1 0x00 00000e28: DUP1 00000e29: REVERT 00000e2a: JUMPDEST 00000e2b: POP 00000e2c: GAS 00000e2d: CALL 00000e2e: ISZERO 00000e2f: DUP1 00000e30: ISZERO 00000e31: PUSH2 0x0e3e 00000e34: JUMPI 00000e35: RETURNDATASIZE 00000e36: PUSH1 0x00 00000e38: DUP1 00000e39: RETURNDATACOPY 00000e3a: RETURNDATASIZE 00000e3b: PUSH1 0x00 00000e3d: REVERT 00000e3e: JUMPDEST 00000e3f: POP 00000e40: POP 00000e41: POP 00000e42: POP 00000e43: PUSH1 0x40 00000e45: MLOAD 00000e46: RETURNDATASIZE 00000e47: PUSH1 0x20 00000e49: DUP2 00000e4a: LT 00000e4b: ISZERO 00000e4c: PUSH2 0x0e54 00000e4f: JUMPI 00000e50: PUSH1 0x00 00000e52: DUP1 00000e53: REVERT 00000e54: JUMPDEST 00000e55: DUP2 00000e56: ADD 00000e57: SWAP1 00000e58: DUP1 00000e59: DUP1 00000e5a: MLOAD 00000e5b: SWAP1 00000e5c: PUSH1 0x20 00000e5e: ADD 00000e5f: SWAP1 00000e60: SWAP3 00000e61: SWAP2 00000e62: SWAP1 00000e63: POP 00000e64: POP 00000e65: POP 00000e66: DUP1 00000e67: ISZERO 00000e68: PUSH2 0x0f77 00000e6b: JUMPI 00000e6c: POP 00000e6d: PUSH1 0x01 00000e6f: PUSH1 0x00 00000e71: SWAP1 00000e72: SLOAD 00000e73: SWAP1 00000e74: PUSH2 0x0100 00000e77: EXP 00000e78: SWAP1 00000e79: DIV 00000e7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e8f: AND 00000e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ea5: AND 00000ea6: PUSH4 0x24ba1a46 00000eab: DUP3 00000eac: ADDRESS 00000ead: PUSH1 0x40 00000eaf: MLOAD 00000eb0: DUP4 00000eb1: PUSH4 0xffffffff 00000eb6: AND 00000eb7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000ed5: MUL 00000ed6: DUP2 00000ed7: MSTORE 00000ed8: PUSH1 0x04 00000eda: ADD 00000edb: DUP1 00000edc: DUP4 00000edd: PUSH2 0xffff 00000ee0: AND 00000ee1: PUSH4 0xffffffff 00000ee6: AND 00000ee7: DUP2 00000ee8: MSTORE 00000ee9: PUSH1 0x20 00000eeb: ADD 00000eec: DUP3 00000eed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f02: AND 00000f03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f18: AND 00000f19: DUP2 00000f1a: MSTORE 00000f1b: PUSH1 0x20 00000f1d: ADD 00000f1e: SWAP3 00000f1f: POP 00000f20: POP 00000f21: POP 00000f22: PUSH1 0x20 00000f24: PUSH1 0x40 00000f26: MLOAD 00000f27: DUP1 00000f28: DUP4 00000f29: SUB 00000f2a: DUP2 00000f2b: PUSH1 0x00 00000f2d: DUP8 00000f2e: DUP1 00000f2f: EXTCODESIZE 00000f30: ISZERO 00000f31: DUP1 00000f32: ISZERO 00000f33: PUSH2 0x0f3b 00000f36: JUMPI 00000f37: PUSH1 0x00 00000f39: DUP1 00000f3a: REVERT 00000f3b: JUMPDEST 00000f3c: POP 00000f3d: GAS 00000f3e: CALL 00000f3f: ISZERO 00000f40: DUP1 00000f41: ISZERO 00000f42: PUSH2 0x0f4f 00000f45: JUMPI 00000f46: RETURNDATASIZE 00000f47: PUSH1 0x00 00000f49: DUP1 00000f4a: RETURNDATACOPY 00000f4b: RETURNDATASIZE 00000f4c: PUSH1 0x00 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: POP 00000f51: POP 00000f52: POP 00000f53: POP 00000f54: PUSH1 0x40 00000f56: MLOAD 00000f57: RETURNDATASIZE 00000f58: PUSH1 0x20 00000f5a: DUP2 00000f5b: LT 00000f5c: ISZERO 00000f5d: PUSH2 0x0f65 00000f60: JUMPI 00000f61: PUSH1 0x00 00000f63: DUP1 00000f64: REVERT 00000f65: JUMPDEST 00000f66: DUP2 00000f67: ADD 00000f68: SWAP1 00000f69: DUP1 00000f6a: DUP1 00000f6b: MLOAD 00000f6c: SWAP1 00000f6d: PUSH1 0x20 00000f6f: ADD 00000f70: SWAP1 00000f71: SWAP3 00000f72: SWAP2 00000f73: SWAP1 00000f74: POP 00000f75: POP 00000f76: POP 00000f77: JUMPDEST 00000f78: DUP1 00000f79: ISZERO 00000f7a: PUSH2 0x1055 00000f7d: JUMPI 00000f7e: POP 00000f7f: PUSH1 0x01 00000f81: PUSH1 0x00 00000f83: SWAP1 00000f84: SLOAD 00000f85: SWAP1 00000f86: PUSH2 0x0100 00000f89: EXP 00000f8a: SWAP1 00000f8b: DIV 00000f8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa1: AND 00000fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fb7: AND 00000fb8: PUSH4 0x6d09887b 00000fbd: DUP3 00000fbe: PUSH1 0x40 00000fc0: MLOAD 00000fc1: DUP3 00000fc2: PUSH4 0xffffffff 00000fc7: AND 00000fc8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000fe6: MUL 00000fe7: DUP2 00000fe8: MSTORE 00000fe9: PUSH1 0x04 00000feb: ADD 00000fec: DUP1 00000fed: DUP3 00000fee: PUSH2 0xffff 00000ff1: AND 00000ff2: PUSH4 0xffffffff 00000ff7: AND 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x20 00000ffc: ADD 00000ffd: SWAP2 00000ffe: POP 00000fff: POP 00001000: PUSH1 0x20 00001002: PUSH1 0x40 00001004: MLOAD 00001005: DUP1 00001006: DUP4 00001007: SUB 00001008: DUP2 00001009: PUSH1 0x00 0000100b: DUP8 0000100c: DUP1 0000100d: EXTCODESIZE 0000100e: ISZERO 0000100f: DUP1 00001010: ISZERO 00001011: PUSH2 0x1019 00001014: JUMPI 00001015: PUSH1 0x00 00001017: DUP1 00001018: REVERT 00001019: JUMPDEST 0000101a: POP 0000101b: GAS 0000101c: CALL 0000101d: ISZERO 0000101e: DUP1 0000101f: ISZERO 00001020: PUSH2 0x102d 00001023: JUMPI 00001024: RETURNDATASIZE 00001025: PUSH1 0x00 00001027: DUP1 00001028: RETURNDATACOPY 00001029: RETURNDATASIZE 0000102a: PUSH1 0x00 0000102c: REVERT 0000102d: JUMPDEST 0000102e: POP 0000102f: POP 00001030: POP 00001031: POP 00001032: PUSH1 0x40 00001034: MLOAD 00001035: RETURNDATASIZE 00001036: PUSH1 0x20 00001038: DUP2 00001039: LT 0000103a: ISZERO 0000103b: PUSH2 0x1043 0000103e: JUMPI 0000103f: PUSH1 0x00 00001041: DUP1 00001042: REVERT 00001043: JUMPDEST 00001044: DUP2 00001045: ADD 00001046: SWAP1 00001047: DUP1 00001048: DUP1 00001049: MLOAD 0000104a: SWAP1 0000104b: PUSH1 0x20 0000104d: ADD 0000104e: SWAP1 0000104f: SWAP3 00001050: SWAP2 00001051: SWAP1 00001052: POP 00001053: POP 00001054: POP 00001055: JUMPDEST 00001056: SWAP2 00001057: POP 00001058: POP 00001059: SWAP2 0000105a: SWAP1 0000105b: POP 0000105c: JUMP 0000105d: JUMPDEST 0000105e: PUSH1 0x00 00001060: DUP1 00001061: PUSH1 0x03 00001063: PUSH1 0x00 00001065: DUP5 00001066: PUSH4 0xffffffff 0000106b: AND 0000106c: PUSH4 0xffffffff 00001071: AND 00001072: DUP2 00001073: MSTORE 00001074: PUSH1 0x20 00001076: ADD 00001077: SWAP1 00001078: DUP2 00001079: MSTORE 0000107a: PUSH1 0x20 0000107c: ADD 0000107d: PUSH1 0x00 0000107f: KECCAK256 00001080: SLOAD 00001081: EQ 00001082: ISZERO 00001083: ISZERO 00001084: PUSH2 0x10ae 00001087: JUMPI 00001088: PUSH1 0x03 0000108a: PUSH1 0x00 0000108c: DUP4 0000108d: PUSH4 0xffffffff 00001092: AND 00001093: PUSH4 0xffffffff 00001098: AND 00001099: DUP2 0000109a: MSTORE 0000109b: PUSH1 0x20 0000109d: ADD 0000109e: SWAP1 0000109f: DUP2 000010a0: MSTORE 000010a1: PUSH1 0x20 000010a3: ADD 000010a4: PUSH1 0x00 000010a6: KECCAK256 000010a7: SLOAD 000010a8: SWAP1 000010a9: POP 000010aa: PUSH2 0x10b4 000010ad: JUMP 000010ae: JUMPDEST 000010af: PUSH1 0x02 000010b1: SLOAD 000010b2: SWAP1 000010b3: POP 000010b4: JUMPDEST 000010b5: SWAP2 000010b6: SWAP1 000010b7: POP 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH1 0x02 000010bc: SLOAD 000010bd: DUP2 000010be: JUMP 000010bf: JUMPDEST 000010c0: PUSH1 0x00 000010c2: DUP1 000010c3: SWAP1 000010c4: SLOAD 000010c5: SWAP1 000010c6: PUSH2 0x0100 000010c9: EXP 000010ca: SWAP1 000010cb: DIV 000010cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010e1: AND 000010e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010f7: AND 000010f8: CALLER 000010f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000110e: AND 0000110f: EQ 00001110: ISZERO 00001111: ISZERO 00001112: PUSH2 0x111a 00001115: JUMPI 00001116: PUSH1 0x00 00001118: DUP1 00001119: REVERT 0000111a: JUMPDEST 0000111b: PUSH2 0x1123 0000111e: DUP2 0000111f: PUSH2 0x1126 00001122: JUMP 00001123: JUMPDEST 00001124: POP 00001125: JUMP 00001126: JUMPDEST 00001127: PUSH1 0x00 00001129: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000113e: AND 0000113f: DUP2 00001140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001155: AND 00001156: EQ 00001157: ISZERO 00001158: ISZERO 00001159: ISZERO 0000115a: PUSH2 0x1162 0000115d: JUMPI 0000115e: PUSH1 0x00 00001160: DUP1 00001161: REVERT 00001162: JUMPDEST 00001163: DUP1 00001164: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001179: AND 0000117a: PUSH1 0x00 0000117c: DUP1 0000117d: SWAP1 0000117e: SLOAD 0000117f: SWAP1 00001180: PUSH2 0x0100 00001183: EXP 00001184: SWAP1 00001185: DIV 00001186: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000119b: AND 0000119c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b1: AND 000011b2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000011d3: PUSH1 0x40 000011d5: MLOAD 000011d6: PUSH1 0x40 000011d8: MLOAD 000011d9: DUP1 000011da: SWAP2 000011db: SUB 000011dc: SWAP1 000011dd: LOG3 000011de: DUP1 000011df: PUSH1 0x00 000011e1: DUP1 000011e2: PUSH2 0x0100 000011e5: EXP 000011e6: DUP2 000011e7: SLOAD 000011e8: DUP2 000011e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011fe: MUL 000011ff: NOT 00001200: AND 00001201: SWAP1 00001202: DUP4 00001203: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001218: AND 00001219: MUL 0000121a: OR 0000121b: SWAP1 0000121c: SSTORE 0000121d: POP 0000121e: POP 0000121f: JUMP 00001220: STOP 00001221: LOG1 00001222: PUSH6 0x627a7a723058 00001229: KECCAK256 0000122a: BLOBBASEFEE 0000122b: UNKNOWN(0xE0) 0000122c: UNKNOWN(0xBA) 0000122d: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x6812b6727acddd1cfb5766bcb9a86e920e3e91f7db5530b2fd82f39a523470bc
call_targets:
0x07484f01839684051fa2c684ed18b5f51b1097df
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6812b6727acddd1cfb5766bcb9a86e920e3e91f7db5530b2fd82f39a523470bc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x07484f01839684051fa2c684ed18b5f51b1097df"
],
"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": "0x10d34b99",
"selector": "0x10d34b99",
"calldata_variants": [
"0x10d34b99",
"0x10d34b990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d3c7ec5",
"selector": "0x6d3c7ec5",
"calldata_variants": [
"0x6d3c7ec5",
"0x6d3c7ec50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e1857e8",
"selector": "0x8e1857e8",
"calldata_variants": [
"0x8e1857e8",
"0x8e1857e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc49a790e",
"selector": "0xc49a790e",
"calldata_variants": [
"0xc49a790e",
"0xc49a790e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1511,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2435,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2671,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 1186,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1368,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1710,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2005,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2160,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x6812b6727acddd1cfb5766bcb9a86e920e3e91f7db5530b2fd82f39a523470bc
call_targets:
0x07484f01839684051fa2c684ed18b5f51b1097df
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6812b6727acddd1cfb5766bcb9a86e920e3e91f7db5530b2fd82f39a523470bc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x07484f01839684051fa2c684ed18b5f51b1097df"
],
"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": "0x10d34b99",
"selector": "0x10d34b99",
"calldata_variants": [
"0x10d34b99",
"0x10d34b990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d3c7ec5",
"selector": "0x6d3c7ec5",
"calldata_variants": [
"0x6d3c7ec5",
"0x6d3c7ec50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e1857e8",
"selector": "0x8e1857e8",
"calldata_variants": [
"0x8e1857e8",
"0x8e1857e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc49a790e",
"selector": "0xc49a790e",
"calldata_variants": [
"0xc49a790e",
"0xc49a790e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1511,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2435,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2671,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 1186,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1368,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1710,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2005,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2160,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xdaf63f6d6e947bc2043cee5efd4f979199b48a6063caf98c6fb95f190be8066b
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 30,
"trace_id": "0xdaf63f6d6e947bc2043cee5efd4f979199b48a6063caf98c6fb95f190be8066b",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10d34b99",
"selector": "0x10d34b99",
"calldata_variants": [
"0x10d34b99",
"0x10d34b990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d3c7ec5",
"selector": "0x6d3c7ec5",
"calldata_variants": [
"0x6d3c7ec5",
"0x6d3c7ec50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8e1857e8",
"selector": "0x8e1857e8",
"calldata_variants": [
"0x8e1857e8",
"0x8e1857e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc49a790e",
"selector": "0xc49a790e",
"calldata_variants": [
"0xc49a790e",
"0xc49a790e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1186,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1368,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1710,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2005,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2160,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4344,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|