019b477e-ad59-702a-b233-eced0f5ab525
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 |
|---|---|---|---|---|
| 21401 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21402 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 101615 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 101616 | capability.graph | complete | 1 / 3 | 1 week ago |
| 101617 | detector.run | complete | 1 / 3 | 1 week ago |
| 101618 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x03ba27f6 0000003c: EQ 0000003d: PUSH2 0x00b4 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x3cdb3aa6 00000047: EQ 00000048: PUSH2 0x00c9 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x521eb273 00000052: EQ 00000053: PUSH2 0x00de 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x8da5cb5b 0000005d: EQ 0000005e: PUSH2 0x0133 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x8fe91976 00000068: EQ 00000069: PUSH2 0x0188 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x9d6fb020 00000073: EQ 00000074: PUSH2 0x019d 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xc19d93fb 0000007e: EQ 0000007f: PUSH2 0x01ca 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xcb13cddb 00000089: EQ 0000008a: PUSH2 0x0201 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xf2fde38b 00000094: EQ 00000095: PUSH2 0x024e 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xf340fa01 0000009f: EQ 000000a0: PUSH2 0x0287 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xfa89401a 000000aa: EQ 000000ab: PUSH2 0x02b5 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: CALLVALUE 000000b6: ISZERO 000000b7: PUSH2 0x00bf 000000ba: JUMPI 000000bb: PUSH1 0x00 000000bd: DUP1 000000be: REVERT 000000bf: JUMPDEST 000000c0: PUSH2 0x00c7 000000c3: PUSH2 0x02ee 000000c6: JUMP 000000c7: JUMPDEST 000000c8: STOP 000000c9: JUMPDEST 000000ca: CALLVALUE 000000cb: ISZERO 000000cc: PUSH2 0x00d4 000000cf: JUMPI 000000d0: PUSH1 0x00 000000d2: DUP1 000000d3: REVERT 000000d4: JUMPDEST 000000d5: PUSH2 0x00dc 000000d8: PUSH2 0x047c 000000db: JUMP 000000dc: JUMPDEST 000000dd: STOP 000000de: JUMPDEST 000000df: CALLVALUE 000000e0: ISZERO 000000e1: PUSH2 0x00e9 000000e4: JUMPI 000000e5: PUSH1 0x00 000000e7: DUP1 000000e8: REVERT 000000e9: JUMPDEST 000000ea: PUSH2 0x00f1 000000ed: PUSH2 0x055d 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x40 000000f4: MLOAD 000000f5: DUP1 000000f6: DUP3 000000f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010c: AND 0000010d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000122: AND 00000123: DUP2 00000124: MSTORE 00000125: PUSH1 0x20 00000127: ADD 00000128: SWAP2 00000129: POP 0000012a: POP 0000012b: PUSH1 0x40 0000012d: MLOAD 0000012e: DUP1 0000012f: SWAP2 00000130: SUB 00000131: SWAP1 00000132: RETURN 00000133: JUMPDEST 00000134: CALLVALUE 00000135: ISZERO 00000136: PUSH2 0x013e 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: PUSH2 0x0146 00000142: PUSH2 0x0583 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH1 0x40 00000149: MLOAD 0000014a: DUP1 0000014b: DUP3 0000014c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000161: AND 00000162: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000177: AND 00000178: DUP2 00000179: MSTORE 0000017a: PUSH1 0x20 0000017c: ADD 0000017d: SWAP2 0000017e: POP 0000017f: POP 00000180: PUSH1 0x40 00000182: MLOAD 00000183: DUP1 00000184: SWAP2 00000185: SUB 00000186: SWAP1 00000187: RETURN 00000188: JUMPDEST 00000189: CALLVALUE 0000018a: ISZERO 0000018b: PUSH2 0x0193 0000018e: JUMPI 0000018f: PUSH1 0x00 00000191: DUP1 00000192: REVERT 00000193: JUMPDEST 00000194: PUSH2 0x019b 00000197: PUSH2 0x05a8 0000019a: JUMP 0000019b: JUMPDEST 0000019c: STOP 0000019d: JUMPDEST 0000019e: CALLVALUE 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: PUSH2 0x01b0 000001ac: PUSH2 0x0683 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: DUP3 000001b6: ISZERO 000001b7: ISZERO 000001b8: ISZERO 000001b9: ISZERO 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH1 0x20 000001be: ADD 000001bf: SWAP2 000001c0: POP 000001c1: POP 000001c2: PUSH1 0x40 000001c4: MLOAD 000001c5: DUP1 000001c6: SWAP2 000001c7: SUB 000001c8: SWAP1 000001c9: RETURN 000001ca: JUMPDEST 000001cb: CALLVALUE 000001cc: ISZERO 000001cd: PUSH2 0x01d5 000001d0: JUMPI 000001d1: PUSH1 0x00 000001d3: DUP1 000001d4: REVERT 000001d5: JUMPDEST 000001d6: PUSH2 0x01dd 000001d9: PUSH2 0x070e 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: DUP1 000001e2: DUP3 000001e3: PUSH1 0x02 000001e5: DUP2 000001e6: GT 000001e7: ISZERO 000001e8: PUSH2 0x01ed 000001eb: JUMPI 000001ec: INVALID 000001ed: JUMPDEST 000001ee: PUSH1 0xff 000001f0: AND 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: SWAP2 000001f7: POP 000001f8: POP 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: DUP1 000001fd: SWAP2 000001fe: SUB 000001ff: SWAP1 00000200: RETURN 00000201: JUMPDEST 00000202: CALLVALUE 00000203: ISZERO 00000204: PUSH2 0x020c 00000207: JUMPI 00000208: PUSH1 0x00 0000020a: DUP1 0000020b: REVERT 0000020c: JUMPDEST 0000020d: PUSH2 0x0238 00000210: PUSH1 0x04 00000212: DUP1 00000213: DUP1 00000214: CALLDATALOAD 00000215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022a: AND 0000022b: SWAP1 0000022c: PUSH1 0x20 0000022e: ADD 0000022f: SWAP1 00000230: SWAP2 00000231: SWAP1 00000232: POP 00000233: POP 00000234: PUSH2 0x0721 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH1 0x40 0000023b: MLOAD 0000023c: DUP1 0000023d: DUP3 0000023e: DUP2 0000023f: MSTORE 00000240: PUSH1 0x20 00000242: ADD 00000243: SWAP2 00000244: POP 00000245: POP 00000246: PUSH1 0x40 00000248: MLOAD 00000249: DUP1 0000024a: SWAP2 0000024b: SUB 0000024c: SWAP1 0000024d: RETURN 0000024e: JUMPDEST 0000024f: CALLVALUE 00000250: ISZERO 00000251: PUSH2 0x0259 00000254: JUMPI 00000255: PUSH1 0x00 00000257: DUP1 00000258: REVERT 00000259: JUMPDEST 0000025a: PUSH2 0x0285 0000025d: PUSH1 0x04 0000025f: DUP1 00000260: DUP1 00000261: CALLDATALOAD 00000262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000277: AND 00000278: SWAP1 00000279: PUSH1 0x20 0000027b: ADD 0000027c: SWAP1 0000027d: SWAP2 0000027e: SWAP1 0000027f: POP 00000280: POP 00000281: PUSH2 0x0739 00000284: JUMP 00000285: JUMPDEST 00000286: STOP 00000287: JUMPDEST 00000288: PUSH2 0x02b3 0000028b: PUSH1 0x04 0000028d: DUP1 0000028e: DUP1 0000028f: CALLDATALOAD 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: SWAP1 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: SWAP1 000002ab: SWAP2 000002ac: SWAP1 000002ad: POP 000002ae: POP 000002af: PUSH2 0x088e 000002b2: JUMP 000002b3: JUMPDEST 000002b4: STOP 000002b5: JUMPDEST 000002b6: CALLVALUE 000002b7: ISZERO 000002b8: PUSH2 0x02c0 000002bb: JUMPI 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: REVERT 000002c0: JUMPDEST 000002c1: PUSH2 0x02ec 000002c4: PUSH1 0x04 000002c6: DUP1 000002c7: DUP1 000002c8: CALLDATALOAD 000002c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002de: AND 000002df: SWAP1 000002e0: PUSH1 0x20 000002e2: ADD 000002e3: SWAP1 000002e4: SWAP2 000002e5: SWAP1 000002e6: POP 000002e7: POP 000002e8: PUSH2 0x09e4 000002eb: JUMP 000002ec: JUMPDEST 000002ed: STOP 000002ee: JUMPDEST 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: SWAP1 000002f3: SLOAD 000002f4: SWAP1 000002f5: PUSH2 0x0100 000002f8: EXP 000002f9: SWAP1 000002fa: DIV 000002fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000310: AND 00000311: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000326: AND 00000327: CALLER 00000328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033d: AND 0000033e: EQ 0000033f: ISZERO 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: PUSH1 0x02 0000034c: DUP1 0000034d: DUP2 0000034e: GT 0000034f: ISZERO 00000350: PUSH2 0x0355 00000353: JUMPI 00000354: INVALID 00000355: JUMPDEST 00000356: PUSH1 0x02 00000358: PUSH1 0x14 0000035a: SWAP1 0000035b: SLOAD 0000035c: SWAP1 0000035d: PUSH2 0x0100 00000360: EXP 00000361: SWAP1 00000362: DIV 00000363: PUSH1 0xff 00000365: AND 00000366: PUSH1 0x02 00000368: DUP2 00000369: GT 0000036a: ISZERO 0000036b: PUSH2 0x0370 0000036e: JUMPI 0000036f: INVALID 00000370: JUMPDEST 00000371: EQ 00000372: ISZERO 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: PUSH1 0x02 0000037f: PUSH1 0x00 00000381: SWAP1 00000382: SLOAD 00000383: SWAP1 00000384: PUSH2 0x0100 00000387: EXP 00000388: SWAP1 00000389: DIV 0000038a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039f: AND 000003a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b5: AND 000003b6: PUSH2 0x08fc 000003b9: ADDRESS 000003ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cf: AND 000003d0: BALANCE 000003d1: SWAP1 000003d2: DUP2 000003d3: ISZERO 000003d4: MUL 000003d5: SWAP1 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: PUSH1 0x00 000003db: PUSH1 0x40 000003dd: MLOAD 000003de: DUP1 000003df: DUP4 000003e0: SUB 000003e1: DUP2 000003e2: DUP6 000003e3: DUP9 000003e4: DUP9 000003e5: CALL 000003e6: SWAP4 000003e7: POP 000003e8: POP 000003e9: POP 000003ea: POP 000003eb: ISZERO 000003ec: ISZERO 000003ed: PUSH2 0x03f5 000003f0: JUMPI 000003f1: PUSH1 0x00 000003f3: DUP1 000003f4: REVERT 000003f5: JUMPDEST 000003f6: PUSH32 0xf45a04d08a70caa7eb4b747571305559ad9fdf4a093afd41506b35c8a306fa94 00000417: PUSH1 0x02 00000419: PUSH1 0x00 0000041b: SWAP1 0000041c: SLOAD 0000041d: SWAP1 0000041e: PUSH2 0x0100 00000421: EXP 00000422: SWAP1 00000423: DIV 00000424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000439: AND 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP1 0000043e: DUP3 0000043f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000454: AND 00000455: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046a: AND 0000046b: DUP2 0000046c: MSTORE 0000046d: PUSH1 0x20 0000046f: ADD 00000470: SWAP2 00000471: POP 00000472: POP 00000473: PUSH1 0x40 00000475: MLOAD 00000476: DUP1 00000477: SWAP2 00000478: SUB 00000479: SWAP1 0000047a: LOG1 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: SWAP1 00000481: SLOAD 00000482: SWAP1 00000483: PUSH2 0x0100 00000486: EXP 00000487: SWAP1 00000488: DIV 00000489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049e: AND 0000049f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b4: AND 000004b5: CALLER 000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cb: AND 000004cc: EQ 000004cd: ISZERO 000004ce: ISZERO 000004cf: PUSH2 0x04d7 000004d2: JUMPI 000004d3: PUSH1 0x00 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: PUSH1 0x00 000004da: PUSH1 0x02 000004dc: DUP2 000004dd: GT 000004de: ISZERO 000004df: PUSH2 0x04e4 000004e2: JUMPI 000004e3: INVALID 000004e4: JUMPDEST 000004e5: PUSH1 0x02 000004e7: PUSH1 0x14 000004e9: SWAP1 000004ea: SLOAD 000004eb: SWAP1 000004ec: PUSH2 0x0100 000004ef: EXP 000004f0: SWAP1 000004f1: DIV 000004f2: PUSH1 0xff 000004f4: AND 000004f5: PUSH1 0x02 000004f7: DUP2 000004f8: GT 000004f9: ISZERO 000004fa: PUSH2 0x04ff 000004fd: JUMPI 000004fe: INVALID 000004ff: JUMPDEST 00000500: EQ 00000501: ISZERO 00000502: ISZERO 00000503: PUSH2 0x050b 00000506: JUMPI 00000507: PUSH1 0x00 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: PUSH1 0x01 0000050e: PUSH1 0x02 00000510: PUSH1 0x14 00000512: PUSH2 0x0100 00000515: EXP 00000516: DUP2 00000517: SLOAD 00000518: DUP2 00000519: PUSH1 0xff 0000051b: MUL 0000051c: NOT 0000051d: AND 0000051e: SWAP1 0000051f: DUP4 00000520: PUSH1 0x02 00000522: DUP2 00000523: GT 00000524: ISZERO 00000525: PUSH2 0x052a 00000528: JUMPI 00000529: INVALID 0000052a: JUMPDEST 0000052b: MUL 0000052c: OR 0000052d: SWAP1 0000052e: SSTORE 0000052f: POP 00000530: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 00000551: PUSH1 0x40 00000553: MLOAD 00000554: PUSH1 0x40 00000556: MLOAD 00000557: DUP1 00000558: SWAP2 00000559: SUB 0000055a: SWAP1 0000055b: LOG1 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x02 00000560: PUSH1 0x00 00000562: SWAP1 00000563: SLOAD 00000564: SWAP1 00000565: PUSH2 0x0100 00000568: EXP 00000569: SWAP1 0000056a: DIV 0000056b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000580: AND 00000581: DUP2 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH1 0x00 00000586: DUP1 00000587: SWAP1 00000588: SLOAD 00000589: SWAP1 0000058a: PUSH2 0x0100 0000058d: EXP 0000058e: SWAP1 0000058f: DIV 00000590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a5: AND 000005a6: DUP2 000005a7: JUMP 000005a8: JUMPDEST 000005a9: PUSH1 0x00 000005ab: DUP1 000005ac: SWAP1 000005ad: SLOAD 000005ae: SWAP1 000005af: PUSH2 0x0100 000005b2: EXP 000005b3: SWAP1 000005b4: DIV 000005b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ca: AND 000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e0: AND 000005e1: CALLER 000005e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f7: AND 000005f8: EQ 000005f9: ISZERO 000005fa: ISZERO 000005fb: PUSH2 0x0603 000005fe: JUMPI 000005ff: PUSH1 0x00 00000601: DUP1 00000602: REVERT 00000603: JUMPDEST 00000604: PUSH1 0x00 00000606: PUSH1 0x02 00000608: DUP2 00000609: GT 0000060a: ISZERO 0000060b: PUSH2 0x0610 0000060e: JUMPI 0000060f: INVALID 00000610: JUMPDEST 00000611: PUSH1 0x02 00000613: PUSH1 0x14 00000615: SWAP1 00000616: SLOAD 00000617: SWAP1 00000618: PUSH2 0x0100 0000061b: EXP 0000061c: SWAP1 0000061d: DIV 0000061e: PUSH1 0xff 00000620: AND 00000621: PUSH1 0x02 00000623: DUP2 00000624: GT 00000625: ISZERO 00000626: PUSH2 0x062b 00000629: JUMPI 0000062a: INVALID 0000062b: JUMPDEST 0000062c: EQ 0000062d: ISZERO 0000062e: PUSH2 0x0681 00000631: JUMPI 00000632: PUSH1 0x02 00000634: DUP1 00000635: PUSH1 0x14 00000637: PUSH2 0x0100 0000063a: EXP 0000063b: DUP2 0000063c: SLOAD 0000063d: DUP2 0000063e: PUSH1 0xff 00000640: MUL 00000641: NOT 00000642: AND 00000643: SWAP1 00000644: DUP4 00000645: PUSH1 0x02 00000647: DUP2 00000648: GT 00000649: ISZERO 0000064a: PUSH2 0x064f 0000064d: JUMPI 0000064e: INVALID 0000064f: JUMPDEST 00000650: MUL 00000651: OR 00000652: SWAP1 00000653: SSTORE 00000654: POP 00000655: PUSH32 0x57ea89b6814fccbbe8728fa89cc8e6b5477e559b2a34e946e105b11112e94b58 00000676: PUSH1 0x40 00000678: MLOAD 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: SWAP2 0000067e: SUB 0000067f: SWAP1 00000680: LOG1 00000681: JUMPDEST 00000682: JUMP 00000683: JUMPDEST 00000684: PUSH1 0x00 00000686: DUP1 00000687: PUSH1 0x00 00000689: SWAP1 0000068a: SLOAD 0000068b: SWAP1 0000068c: PUSH2 0x0100 0000068f: EXP 00000690: SWAP1 00000691: DIV 00000692: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a7: AND 000006a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006bd: AND 000006be: CALLER 000006bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d4: AND 000006d5: EQ 000006d6: ISZERO 000006d7: ISZERO 000006d8: PUSH2 0x06e0 000006db: JUMPI 000006dc: PUSH1 0x00 000006de: DUP1 000006df: REVERT 000006e0: JUMPDEST 000006e1: PUSH1 0x01 000006e3: PUSH1 0x02 000006e5: DUP2 000006e6: GT 000006e7: ISZERO 000006e8: PUSH2 0x06ed 000006eb: JUMPI 000006ec: INVALID 000006ed: JUMPDEST 000006ee: PUSH1 0x02 000006f0: PUSH1 0x14 000006f2: SWAP1 000006f3: SLOAD 000006f4: SWAP1 000006f5: PUSH2 0x0100 000006f8: EXP 000006f9: SWAP1 000006fa: DIV 000006fb: PUSH1 0xff 000006fd: AND 000006fe: PUSH1 0x02 00000700: DUP2 00000701: GT 00000702: ISZERO 00000703: PUSH2 0x0708 00000706: JUMPI 00000707: INVALID 00000708: JUMPDEST 00000709: EQ 0000070a: SWAP1 0000070b: POP 0000070c: SWAP1 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x02 00000711: PUSH1 0x14 00000713: SWAP1 00000714: SLOAD 00000715: SWAP1 00000716: PUSH2 0x0100 00000719: EXP 0000071a: SWAP1 0000071b: DIV 0000071c: PUSH1 0xff 0000071e: AND 0000071f: DUP2 00000720: JUMP 00000721: JUMPDEST 00000722: PUSH1 0x01 00000724: PUSH1 0x20 00000726: MSTORE 00000727: DUP1 00000728: PUSH1 0x00 0000072a: MSTORE 0000072b: PUSH1 0x40 0000072d: PUSH1 0x00 0000072f: KECCAK256 00000730: PUSH1 0x00 00000732: SWAP2 00000733: POP 00000734: SWAP1 00000735: POP 00000736: SLOAD 00000737: DUP2 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH1 0x00 0000073c: DUP1 0000073d: SWAP1 0000073e: SLOAD 0000073f: SWAP1 00000740: PUSH2 0x0100 00000743: EXP 00000744: SWAP1 00000745: DIV 00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075b: AND 0000075c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000771: AND 00000772: CALLER 00000773: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000788: AND 00000789: EQ 0000078a: ISZERO 0000078b: ISZERO 0000078c: PUSH2 0x0794 0000078f: JUMPI 00000790: PUSH1 0x00 00000792: DUP1 00000793: REVERT 00000794: JUMPDEST 00000795: PUSH1 0x00 00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ac: AND 000007ad: DUP2 000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c3: AND 000007c4: EQ 000007c5: ISZERO 000007c6: ISZERO 000007c7: ISZERO 000007c8: PUSH2 0x07d0 000007cb: JUMPI 000007cc: PUSH1 0x00 000007ce: DUP1 000007cf: REVERT 000007d0: JUMPDEST 000007d1: DUP1 000007d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e7: AND 000007e8: PUSH1 0x00 000007ea: DUP1 000007eb: SWAP1 000007ec: SLOAD 000007ed: SWAP1 000007ee: PUSH2 0x0100 000007f1: EXP 000007f2: SWAP1 000007f3: DIV 000007f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000809: AND 0000080a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081f: AND 00000820: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000841: PUSH1 0x40 00000843: MLOAD 00000844: PUSH1 0x40 00000846: MLOAD 00000847: DUP1 00000848: SWAP2 00000849: SUB 0000084a: SWAP1 0000084b: LOG3 0000084c: DUP1 0000084d: PUSH1 0x00 0000084f: DUP1 00000850: PUSH2 0x0100 00000853: EXP 00000854: DUP2 00000855: SLOAD 00000856: DUP2 00000857: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086c: MUL 0000086d: NOT 0000086e: AND 0000086f: SWAP1 00000870: DUP4 00000871: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000886: AND 00000887: MUL 00000888: OR 00000889: SWAP1 0000088a: SSTORE 0000088b: POP 0000088c: POP 0000088d: JUMP 0000088e: JUMPDEST 0000088f: PUSH1 0x00 00000891: DUP1 00000892: SWAP1 00000893: SLOAD 00000894: SWAP1 00000895: PUSH2 0x0100 00000898: EXP 00000899: SWAP1 0000089a: DIV 0000089b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b0: AND 000008b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c6: AND 000008c7: CALLER 000008c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008dd: AND 000008de: EQ 000008df: ISZERO 000008e0: ISZERO 000008e1: PUSH2 0x08e9 000008e4: JUMPI 000008e5: PUSH1 0x00 000008e7: DUP1 000008e8: REVERT 000008e9: JUMPDEST 000008ea: PUSH1 0x00 000008ec: PUSH1 0x02 000008ee: DUP2 000008ef: GT 000008f0: ISZERO 000008f1: PUSH2 0x08f6 000008f4: JUMPI 000008f5: INVALID 000008f6: JUMPDEST 000008f7: PUSH1 0x02 000008f9: PUSH1 0x14 000008fb: SWAP1 000008fc: SLOAD 000008fd: SWAP1 000008fe: PUSH2 0x0100 00000901: EXP 00000902: SWAP1 00000903: DIV 00000904: PUSH1 0xff 00000906: AND 00000907: PUSH1 0x02 00000909: DUP2 0000090a: GT 0000090b: ISZERO 0000090c: PUSH2 0x0911 0000090f: JUMPI 00000910: INVALID 00000911: JUMPDEST 00000912: EQ 00000913: DUP1 00000914: PUSH2 0x0941 00000917: JUMPI 00000918: POP 00000919: PUSH1 0x02 0000091b: DUP1 0000091c: DUP2 0000091d: GT 0000091e: ISZERO 0000091f: PUSH2 0x0924 00000922: JUMPI 00000923: INVALID 00000924: JUMPDEST 00000925: PUSH1 0x02 00000927: PUSH1 0x14 00000929: SWAP1 0000092a: SLOAD 0000092b: SWAP1 0000092c: PUSH2 0x0100 0000092f: EXP 00000930: SWAP1 00000931: DIV 00000932: PUSH1 0xff 00000934: AND 00000935: PUSH1 0x02 00000937: DUP2 00000938: GT 00000939: ISZERO 0000093a: PUSH2 0x093f 0000093d: JUMPI 0000093e: INVALID 0000093f: JUMPDEST 00000940: EQ 00000941: JUMPDEST 00000942: ISZERO 00000943: ISZERO 00000944: PUSH2 0x094c 00000947: JUMPI 00000948: PUSH1 0x00 0000094a: DUP1 0000094b: REVERT 0000094c: JUMPDEST 0000094d: PUSH2 0x099e 00000950: CALLVALUE 00000951: PUSH1 0x01 00000953: PUSH1 0x00 00000955: DUP5 00000956: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096b: AND 0000096c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000981: AND 00000982: DUP2 00000983: MSTORE 00000984: PUSH1 0x20 00000986: ADD 00000987: SWAP1 00000988: DUP2 00000989: MSTORE 0000098a: PUSH1 0x20 0000098c: ADD 0000098d: PUSH1 0x00 0000098f: KECCAK256 00000990: SLOAD 00000991: PUSH2 0x0b33 00000994: SWAP1 00000995: SWAP2 00000996: SWAP1 00000997: PUSH4 0xffffffff 0000099c: AND 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x01 000009a1: PUSH1 0x00 000009a3: DUP4 000009a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b9: AND 000009ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009cf: AND 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x20 000009d4: ADD 000009d5: SWAP1 000009d6: DUP2 000009d7: MSTORE 000009d8: PUSH1 0x20 000009da: ADD 000009db: PUSH1 0x00 000009dd: KECCAK256 000009de: DUP2 000009df: SWAP1 000009e0: SSTORE 000009e1: POP 000009e2: POP 000009e3: JUMP 000009e4: JUMPDEST 000009e5: PUSH1 0x00 000009e7: PUSH1 0x01 000009e9: PUSH1 0x02 000009eb: DUP2 000009ec: GT 000009ed: ISZERO 000009ee: PUSH2 0x09f3 000009f1: JUMPI 000009f2: INVALID 000009f3: JUMPDEST 000009f4: PUSH1 0x02 000009f6: PUSH1 0x14 000009f8: SWAP1 000009f9: SLOAD 000009fa: SWAP1 000009fb: PUSH2 0x0100 000009fe: EXP 000009ff: SWAP1 00000a00: DIV 00000a01: PUSH1 0xff 00000a03: AND 00000a04: PUSH1 0x02 00000a06: DUP2 00000a07: GT 00000a08: ISZERO 00000a09: PUSH2 0x0a0e 00000a0c: JUMPI 00000a0d: INVALID 00000a0e: JUMPDEST 00000a0f: EQ 00000a10: ISZERO 00000a11: ISZERO 00000a12: PUSH2 0x0a1a 00000a15: JUMPI 00000a16: PUSH1 0x00 00000a18: DUP1 00000a19: REVERT 00000a1a: JUMPDEST 00000a1b: PUSH1 0x01 00000a1d: PUSH1 0x00 00000a1f: DUP4 00000a20: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a35: AND 00000a36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4b: AND 00000a4c: DUP2 00000a4d: MSTORE 00000a4e: PUSH1 0x20 00000a50: ADD 00000a51: SWAP1 00000a52: DUP2 00000a53: MSTORE 00000a54: PUSH1 0x20 00000a56: ADD 00000a57: PUSH1 0x00 00000a59: KECCAK256 00000a5a: SLOAD 00000a5b: SWAP1 00000a5c: POP 00000a5d: PUSH1 0x00 00000a5f: PUSH1 0x01 00000a61: PUSH1 0x00 00000a63: DUP5 00000a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a79: AND 00000a7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8f: AND 00000a90: DUP2 00000a91: MSTORE 00000a92: PUSH1 0x20 00000a94: ADD 00000a95: SWAP1 00000a96: DUP2 00000a97: MSTORE 00000a98: PUSH1 0x20 00000a9a: ADD 00000a9b: PUSH1 0x00 00000a9d: KECCAK256 00000a9e: DUP2 00000a9f: SWAP1 00000aa0: SSTORE 00000aa1: POP 00000aa2: DUP2 00000aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab8: AND 00000ab9: PUSH2 0x08fc 00000abc: DUP3 00000abd: SWAP1 00000abe: DUP2 00000abf: ISZERO 00000ac0: MUL 00000ac1: SWAP1 00000ac2: PUSH1 0x40 00000ac4: MLOAD 00000ac5: PUSH1 0x00 00000ac7: PUSH1 0x40 00000ac9: MLOAD 00000aca: DUP1 00000acb: DUP4 00000acc: SUB 00000acd: DUP2 00000ace: DUP6 00000acf: DUP9 00000ad0: DUP9 00000ad1: CALL 00000ad2: SWAP4 00000ad3: POP 00000ad4: POP 00000ad5: POP 00000ad6: POP 00000ad7: ISZERO 00000ad8: ISZERO 00000ad9: PUSH2 0x0ae1 00000adc: JUMPI 00000add: PUSH1 0x00 00000adf: DUP1 00000ae0: REVERT 00000ae1: JUMPDEST 00000ae2: DUP2 00000ae3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af8: AND 00000af9: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 00000b1a: DUP3 00000b1b: PUSH1 0x40 00000b1d: MLOAD 00000b1e: DUP1 00000b1f: DUP3 00000b20: DUP2 00000b21: MSTORE 00000b22: PUSH1 0x20 00000b24: ADD 00000b25: SWAP2 00000b26: POP 00000b27: POP 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: DUP1 00000b2c: SWAP2 00000b2d: SUB 00000b2e: SWAP1 00000b2f: LOG2 00000b30: POP 00000b31: POP 00000b32: JUMP 00000b33: JUMPDEST 00000b34: PUSH1 0x00 00000b36: DUP1 00000b37: DUP3 00000b38: DUP5 00000b39: ADD 00000b3a: SWAP1 00000b3b: POP 00000b3c: DUP4 00000b3d: DUP2 00000b3e: LT 00000b3f: ISZERO 00000b40: ISZERO 00000b41: ISZERO 00000b42: PUSH2 0x0b47 00000b45: JUMPI 00000b46: INVALID 00000b47: JUMPDEST 00000b48: DUP1 00000b49: SWAP2 00000b4a: POP 00000b4b: POP 00000b4c: SWAP3 00000b4d: SWAP2 00000b4e: POP 00000b4f: POP 00000b50: JUMP 00000b51: STOP 00000b52: LOG1 00000b53: PUSH6 0x627a7a723058 00000b5a: KECCAK256 00000b5b: UNKNOWN(0xFB) 00000b5c: SWAP14 00000b5d: SDIV 00000b5e: DIFFICULTY 00000b5f: UNKNOWN(0x4E) 00000b60: UNKNOWN(0xE3) 00000b61: MSTORE 00000b62: UNKNOWN(0xB1) 00000b63: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x44ee5db01e5dd7665121e1711ed55e9b295ce5be278e0f7d0ef9fe63b95f39cc
call_targets:
0xfda87a12235ccb1f4e93af3cba19619049fcf524
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x44ee5db01e5dd7665121e1711ed55e9b295ce5be278e0f7d0ef9fe63b95f39cc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfda87a12235ccb1f4e93af3cba19619049fcf524"
],
"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": "0x03ba27f6",
"selector": "0x03ba27f6",
"calldata_variants": [
"0x03ba27f6",
"0x03ba27f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cdb3aa6",
"selector": "0x3cdb3aa6",
"calldata_variants": [
"0x3cdb3aa6",
"0x3cdb3aa60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8fe91976",
"selector": "0x8fe91976",
"calldata_variants": [
"0x8fe91976",
"0x8fe919760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9d6fb020",
"selector": "0x9d6fb020",
"calldata_variants": [
"0x9d6fb020",
"0x9d6fb0200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 997,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2769,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 807,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1505,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1726,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1906,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2247,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x44ee5db01e5dd7665121e1711ed55e9b295ce5be278e0f7d0ef9fe63b95f39cc
call_targets:
0xfda87a12235ccb1f4e93af3cba19619049fcf524
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x44ee5db01e5dd7665121e1711ed55e9b295ce5be278e0f7d0ef9fe63b95f39cc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfda87a12235ccb1f4e93af3cba19619049fcf524"
],
"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": "0x03ba27f6",
"selector": "0x03ba27f6",
"calldata_variants": [
"0x03ba27f6",
"0x03ba27f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3cdb3aa6",
"selector": "0x3cdb3aa6",
"calldata_variants": [
"0x3cdb3aa6",
"0x3cdb3aa60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8fe91976",
"selector": "0x8fe91976",
"calldata_variants": [
"0x8fe91976",
"0x8fe919760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9d6fb020",
"selector": "0x9d6fb020",
"calldata_variants": [
"0x9d6fb020",
"0x9d6fb0200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 997,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2769,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 807,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1505,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1726,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1906,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2247,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|